Author of the publication

The Tableau Prover Generator MetTeL2.

, , and . JELIA, volume 7519 of Lecture Notes in Computer Science, page 492-495. Springer, (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

Issues of Decidability for Description Logics in the Framework of Resolution., and . FTP (LNCS Selection), volume 1761 of Lecture Notes in Computer Science, page 191-205. Springer, (1998)Implementation and Evaluation of Forgetting in ALC-Ontologies., and . WoMO, volume 1081 of CEUR Workshop Proceedings, CEUR-WS.org, (2013)Lifting QBF Resolution Calculi to DQBF., , , and . SAT, volume 9710 of Lecture Notes in Computer Science, page 490-499. Springer, (2016)A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments., and . IJCAR, volume 5195 of Lecture Notes in Computer Science, page 194-209. Springer, (2008)A New Clausal Class Decidable by Hyperresolution., , and . CADE, volume 2392 of Lecture Notes in Computer Science, page 260-274. Springer, (2002)ABox Abduction via Forgetting in ALC., and . AAAI, page 2768-2775. AAAI Press, (2019)Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach., , , , , , and . AAAI, page 3116-3124. AAAI Press, (2019)The Tableau Prover Generator MetTeL2., , and . JELIA, volume 7519 of Lecture Notes in Computer Science, page 492-495. Springer, (2012)Refinement in the Tableau Synthesis Framework, and . CoRR, (2013)Using Resolution for Testing Modal Satisfiability and Building Models., and . J. Autom. Reasoning, 28 (2): 205-232 (2002)