Author of the publication

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

Prefixed Resolution: A Resolution Method for Modal and Description Logics., , and . CADE, volume 1632 of Lecture Notes in Computer Science, page 187-201. Springer, (1999)Learning How to Ground a Plan - Partial Grounding in Classical Planning., , , , and . AAAI, page 7602-7609. AAAI Press, (2019)Using Logic in the Generation of Referring Expressions., , and . LACL, volume 6736 of Lecture Notes in Computer Science, page 17-32. Springer, (2011)Algebraic tools for default modal systems., , , and . J. Log. Comput., 33 (6): 1301-1325 (August 2023)Non-monotonic Reasoning via Dynamic Consequence., , and . WoLLIC, volume 13468 of Lecture Notes in Computer Science, page 395-410. Springer, (2022)Description Logics and Feature Interaction., , and . Description Logics, volume 22 of CEUR Workshop Proceedings, CEUR-WS.org, (1999)Spatial Reasoning for Image Retrieval., , and . Description Logics, volume 22 of CEUR Workshop Proceedings, CEUR-WS.org, (1999)Experiments in Theorem Proving for Topological Hybrid Logic., , , and . M4M, volume 231 of Electronic Notes in Theoretical Computer Science, page 309-321. Elsevier, (2007)A Deontic Logic of Knowingly Complying., , , , and . AAMAS, page 364-372. ACM, (2023)Deciding Open Definability via Subisomorphisms., , and . WoLLIC, volume 10944 of Lecture Notes in Computer Science, page 91-105. Springer, (2018)