Biblio

Export 188 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is B  [Clear All Filters]
Conference Paper
M. Bienvenu, Lutz, C., and Wolter, F., Deciding FO-Rewritability in EL, in Proc. of International Workshop on Description Logics (DL), Italie.
M. Bienvenu, Deutch, D., and Abiteboul, S., Deduction in the Presence of Distribution and Contradictions, in Proc. of International Workshop on the Web and Databases (WebDB).
N. Bidoit, Colazzo, D., and Ulliana, F., Detecting XML query-update independence, in Journés Bases de Donnés Avancées (BDA), 2010.
R. Khefifi, Buche, P., Dibie-Barthélemy, J., and Sais, F., Détection de redondances dans les tableaux guidée par une ontologie, in Actes de la Conférence Francophone sur l'Extraction et la Gestion des Connaissances (EGC), Brest, France, 2011, pp. 563-568.
G. Bourgne, Dague, P., Nouioua, F., and Rapin, N., Diagnosability of Input Output Symbolic Transition Systems, in Proc. of International Conference on Advances in System Testing and Validation Lifecycle (VALID), 2009.
M. Batteux, Dague, P., Rapin, N., and Fiani, P., Diagnosability study of technological systems, in Conf. of International Conference on Industrial, Engineering and other Applications of Applied Intelligent Systems (IEA/AIE), Syracuse, United States, 2011, vol. 6703.
S. Abiteboul, Bienvenu, M., Galland, A., and Rousset, M. - C., Distributed Datalog Revisited, in Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers, 2011, vol. 6702, pp. 252-261.
S. Abiteboul, Marinoiu, B., and Bourhis, P., Distributed Monitoring of Peer to Peer Systems (demonstration), in Proc. of International Conference on Data Engineering (ICDE), 2008.
V. Benzaken, Fekete, J. - D., Khemiri, W., and Manolescu, I., EdiFlow: data-intensive interactive workflows for visual analytics, in Journées Bases de Données Avancées, Toulouse France, 2010.
N. Bidoit, Herschel, M., and Tzompanaki, K., Efficient Computation of Polynomial Explanations of Why-Not Questions, in 24th ACM International Conference on Information and Knowledge Management - CIKM 2015, Melbourne, Australia, 2015.
N. Bidoit, Herschel, M., and Tzompanaki, K., Efficient computation of polynomial explanations of Why-Not questions, in 31ème Conférence sur la Gestion de Données - Principes, Technologies et Applications - BDA 2015, Île de Porquerolles, France, 2015.
A. Baazizi, Bidoit, N., and Colazzo, D., Efficient Encoding of Temporal XML documents, in International Symposium on Temporal Representation and Reasoning (TIME), Lübeck, Germany, 2011.
A. Baazizi, Bidoit, N., and Colazzo, D., Efficient Encoding of Temporal XML documents, in International Symposium on Temporal Representation and Reasoning (TIME), Lübeck, Germany, 2011.
S. Abiteboul, Bourhis, P., and Marinoiu, B., Efficient maintenance techniques for views over active documents, in Proc. of International Conference on Extending Database Technologies (EDBT), 2009, pp. 1076-1087.
D. Bursztyn, Goasdoué, F., and Manolescu, I., Efficient Query Answering in DL-Lite through FOL Reformulation (Extended Abstract), in 28th International Workshop on Description Logics, Athens, Greece, 2015.
N. Bidoit, Herschel, M., and Tzompanaki, K., EFQ: Why-Not Answer Polynomials in Action, in 41st International Conference on Very Large Data Bases - VLDB 2015, Hawai, United States, 2015.
Y. Mrabet, Bennacer, N., and Pernelle, N., Enrichissement contrôlé de bases de connaissances à partir de documents semi-structurés annotés, in Actes des Journées Francophones d'Ingénierie des Connaissances (IC), Paris, France, 2012, pp. 17-32.
M. Bienvenu, Bourgaux, C., and Goasdoué, F., Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases, in {AAAI: Conference on Artificial Intelligence}, Phoenix, United States, 2016.
M. Bienvenu, Bourgaux, C., and Goasdoué, F., Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases, in Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA.}, 2016, pp. 900–906.
M. Bienvenu, Bourgaux, C., and Goasdoué, F., Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases, in {AAAI: Conference on Artificial Intelligence}, Phoenix, United States, 2016.
M. Bienvenu, Bourgaux, C., and Goasdoué, F., Explaining Inconsistency-Tolerant Query Answering over Description Logic Knowledge Bases, in Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, {USA.}, 2016, pp. 900–906.
L. Ye, Dague, P., Longuet, D., Briones, L. Brandán, and Madalinski, A., Fault Manifestability Verification for Discrete Event Systems, in {22nd European Conference on Artificial Intelligence ECAI-16}, La Haye, Netherlands, 2016.
M. Batteux, Rapin, N., Dague, P., and Fiani, P., Faulty models of a fuel cell system for model-based diagnosis study, in Fundamentals and Developments of Fuel Cells Conference (FDFC), Grenoble, France, 2011.
M. Bienvenu, First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases, in Proc. of International Workshop on Description Logics (DL), 2011.
M. Bienvenu, Lutz, C., and Wolter, F., First-Order Rewritability of Atomic Queries in Horn Description Logics, in Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI), 2013.

Pages