Michael Benedikt
Professor Michael Benedikt
Room
355,
Wolfson Building,
Parks Road, Oxford OX1 3QD
United Kingdom
Interests
Databases, information exchange, Web and Web 2.0 data management, logical methods in computer science.Biography
Ph.D. in Mathematics from University of Wisconsin, 1993. Distinguished Member of Technical Staff at Bell Laboratories, 1994-2006.
See also
Selected Publications
-
Logical foundations of information disclosure in ontology−based data integration
Michael Benedikt‚ Bernardo Cuenca Grau and Egor V. Kostylev
In Artificial Intelligence. Vol. 262. Pages 52–95. 2018.
Details about Logical foundations of information disclosure in ontology−based data integration | BibTeX data for Logical foundations of information disclosure in ontology−based data integration | DOI (10.1016/j.artint.2018.06.002)
-
Goal−Driven Query Answering for Existential Rules With Equality
Michael Benedikt‚ Boris Motik and Efthymia Tsamoura
In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence‚ New Orleans‚ Louisiana‚ USA‚ February 2−7‚ 2018. 2018.
Details about Goal−Driven Query Answering for Existential Rules With Equality | BibTeX data for Goal−Driven Query Answering for Existential Rules With Equality | Link to Goal−Driven Query Answering for Existential Rules With Equality
-
Reformulating Queries: Theory and Practice
Michael Benedikt‚ Egor V. Kostylev‚ Fabio Mogavero and Efthymia Tsamoura
In Carles Sierra, editor, Proceedings of the Twenty−Sixth International Joint Conference on Artificial Intelligence‚ IJCAI 2017‚ Melbourne‚ Australia‚ August 19−25‚ 2017. Pages 837–843. ijcai.org. 2017.
Details about Reformulating Queries: Theory and Practice | BibTeX data for Reformulating Queries: Theory and Practice | DOI (10.24963/ijcai.2017/116) | Link to Reformulating Queries: Theory and Practice