Author of the publication

An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.

, , and . KR, AAAI Press, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Coalition Description Logic with Individuals., and . M4M, volume 262 of Electronic Notes in Theoretical Computer Science, page 231-248. Elsevier, (2009)A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains., and . M4M, volume 231 of Electronic Notes in Theoretical Computer Science, page 113-130. Elsevier, (2007)Optimal Rewritings in Definitorially Complete Description Logics., , and . Description Logics, volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)Semantically Federating Multi-agent Organizations., , , and . ESAW, volume 3451 of Lecture Notes in Computer Science, page 74-89. Springer, (2004)Beth Definability in Expressive Description Logics., , and . J. Artif. Intell. Res., (2013)A Framework of Cooperative Agents with Implicit Support for Ontologies., and . CIA, volume 4149 of Lecture Notes in Computer Science, page 416-430. Springer, (2006)An Infrastructure for the Semantic Integration of FIPA Compliant Agent Platforms., , , and . AAMAS, page 1316-1317. IEEE Computer Society, (2004)Effective Query Rewriting with Ontologies over DBoxes (Extended Abstract)., , and . Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Ontology-Mediated Queries with Closed Predicates., , and . IJCAI, page 3120-3126. AAAI Press, (2015)Efficient Query Rewriting in the Description Logic EL and Beyond., , , and . IJCAI, page 3034-3040. AAAI Press, (2015)