Author of the publication

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)

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

Resolution-Based Model Construction for PLTL., and . TIME, page 73-80. IEEE Computer Society, (2009)Deciding expressive description logics in the framework of resolution., , and . Inf. Comput., 206 (5): 579-601 (2008)Resolution-Based Methods for Modal Logics., , and . Logic Journal of the IGPL, 8 (3): 265-292 (2000)SCAN Is Complete for All Sahlqvist Formulae., , , and . RelMiCS, volume 3051 of Lecture Notes in Computer Science, page 149-162. Springer, (2003)Redundancy Elimination in Monodic Temporal Reasoning., and . FTP, volume 556 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Simplification and Backjumping in Modal Tableau., and . TABLEAUX, volume 1397 of Lecture Notes in Computer Science, page 187-201. Springer, (1998)A Resolution Decision Procedure for Fluted Logic., and . CADE, volume 1831 of Lecture Notes in Computer Science, page 433-448. Springer, (2000)TRP++2.0: A Temporal Resolution Prover., and . CADE, volume 2741 of Lecture Notes in Computer Science, page 274-278. Springer, (2003)Maslov's Class K Revisited., and . CADE, volume 1632 of Lecture Notes in Computer Science, page 172-186. Springer, (1999)KSP: A Resolution-based Prover for Multimodal K, Abridged Report., , and . IJCAI, page 4919-4923. ijcai.org, (2017)