InterestsDatabases, information exchange, Web and Web 2.0 data management, logical methods in computer science.
Ph.D. in Mathematics from University of Wisconsin, 1993. Distinguished Member of Technical Staff at Bell Laboratories, 1994-2006.
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.
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.
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.