Biblio

Export 526 results:
[ Author(Desc)] 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
N. Bidoit, Colazzo, D., Malla, N., and Sartiani, C., Evaluating Queries and Updates on Big XML Documents, Information Systems Frontiers, 2018.
N. Bidoit and Colazzo, D., Testing XML constraint satisfiability, Electr. Notes Theor. Comput. Sci., vol. 174, pp. 45-61, 2008.
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, 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 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., Refining SQL Queries based on Why-Not Polynomials, in {8th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2016}, Washington, D.C., United States, 2016.
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., Query-Based Why-Not Provenance with NedExplain, in Extending Database Technology (EDBT), Athens, Greece, 2014.
N. Bidoit, Colazzo, D., Sartiani, C., Solimando, A., and Ulliana, F., Andromeda: A System for Processing Queries and Updates on Big XML Documents, in BigDap 2015 - 2nd International Workshop on Big Data Applications and Principles, Poitiers, France, 2015.
N. Bidoit and Objois, M., Fixpoint and While Temporal Query Languages, J. Log. Comput., vol. 19, pp. 369-404, 2009.
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., 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, 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, 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, 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, Lutz, C., and Wolter, F., Deciding FO-Rewritability in EL, in Proc. of International Workshop on Description Logics (DL), Italie.
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.
M. Bienvenu, Bourgaux, C., and Goasdoué, F., Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases, in Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016, 2016, pp. 957–964.
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, Cate, B. Ten, Lutz, C., and Wolter, F., Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP, ACM Transactions on Database Systems (TODS), vol. 39, p. 33, 2014.
M. Bienvenu, Ortiz, M., Simkus, M., and Xiao, G., Tractable Queries for Lightweight Description Logics, in Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI), 2013.
M. Bienvenu, Lutz, C., and Wolter, F., Query Containment in Description Logics Reconsidered, in Proc. of International Conference on the Principles of Knowledge Representation and Reasoning (KR), Italie, 2012.

Pages