Biblio

Export 526 results:
[ Author(Asc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
M. Bienvenu, Bourgaux, C., and Goasdoué, F., Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases, in {IJCAI: International Joint Conference on Artificial Intelligence}, New York, United States, 2016.
M. Bienvenu, Kikot, S., and Podolskii, V. V., Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries, in Twenty-Seventh International Workshop on Description Logics (DL), Vienna, Austria, 2014.
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.
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, Bourgaux, C., and Goasdoué, F., Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics, in AAAI Conference on Artificial Intelligence (AAAI), Quebec city, Canada, 2014.
M. Bienvenu, Bourgaux, C., and Goasdoué, F., Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract), in Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016.
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).
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., Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (Extended Abstract), in International Workshop on Description Logics (DL), Vienna, Austria, 2014.
M. Bienvenu, Ortiz, M., and Simkus, M., Conjunctive Regular Path Queries in Lightweight Description Logics, in Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI), 2013.
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, Lutz, C., and Wolter, F., Deciding FO-Rewritability in EL, in Proc. of International Workshop on Description Logics (DL), Italie.
M. Bienvenu, Calvanese, D., Ortiz, M., and Simkus, M., Nested Regular Path Queries in Description Logics, in Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), Vienna, Austria, 2014.
M. Bienvenu and Rosati, R., Tractable Approximations of Consistent Query Answering for Robust Ontology-based Data Access, in Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI), 2013.
M. Bienvenu, Ortiz, M., and Simkus, M., Answering Expressive Path Queries over Lightweight DL Knowledge Bases, in Proc. of International Workshop on Description Logics (DL), Italie.
M. Bienvenu and Rosati, R., New Inconsistency-Tolerant Semantics for Robust Ontology-Based Data Access, in Proceedings of the 26th International Workshop on Description Logics (DL), 2013, pp. 53-64.
N. Bidoit and Colazzo, D., Testing XML constraint satisfiability, Electr. Notes Theor. Comput. Sci., vol. 174, pp. 45-61, 2008.
N. Bidoit and Colazzo, D., Hybrid Logic for Expressing XML Schemas with Typed References, Seventh International Conference on Computer Science and Information (CSIT), 2009.
N. Bidoit, Herschel, M., and Tzompanaki, K., Répondre à des requêtes Why-Not indépendamment de la représentation des requêtes, in Bases de données avancées (BDA14), Autrans-Grenboble, France, 2014.
N. Bidoit, Colazzo, D., and Ulliana, F., Type-Based Detection of XML Query-Update Independence, Proceedings of the VLDB Endowment, vol. 5, pp. 872-883, 2012.
N. Bidoit, Herschel, M., and Tzompanaki, K., Efficiently and Effectively Answering Why-Not Questions based on Provenance Polynomials. OAK team, Inria Saclay ; INRIA, p. 25, 2015.
N. Bidoit, Colazzo, D., Malla, N., and Sartiani, C., Evaluating Queries and Updates on Big XML Documents, Information Systems Frontiers, 2018.
N. Bidoit, Herschel, M., and Tzompanaki, K., Immutably Answering Why-Not Questions for Equivalent Conjunctive Queries, in TaPP 2014 - 6th USENIX Workshop on the Theory and Practice of Provenance, Cologne, Germany, 2014.
N. Bidoit, Bosc, P., Cholvy, L., Pivert, O., and Rousset, M. - C., Bases de données et intelligence artificielle, in Panorama actuel de l'intelligence artificielle: ses bases méthodologiques, ses développements, P. Marquis, Papini, O., and Prade, H., Eds. Cépaduès, 2014.
N. Bidoit and Objois, M., Fixpoint and While Temporal Query Languages, J. Log. Comput., vol. 19, pp. 369-404, 2009.

Pages