Author of the publication

Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases.

, , , and . ILPS, page 415-416. MIT Press, (1997)

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

Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics., and . ECSQARU, volume 11726 of Lecture Notes in Computer Science, page 212-225. Springer, (2019)Non-Classical Logics for Knowledge Representation and Reasoning., , , , and . Il Milione, volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)Power (Set) ALC (Extended Abstract)., and . CILC, volume 2214 of CEUR Workshop Proceedings, page 17-21. CEUR-WS.org, (2018)A Modal Reconstruction of Rational Closure., , , and . CILC, volume 857 of CEUR Workshop Proceedings, page 161-175. CEUR-WS.org, (2012)ASP for Reasoning about Actions with an EL^bot Knowledge Base., , , and . CILC, volume 1645 of CEUR Workshop Proceedings, page 214-229. CEUR-WS.org, (2016)Specialization of Interaction Protocols in a Temporal Action Logic., , and . LCMAS, volume 157 of Electronic Notes in Theoretical Computer Science, page 3-22. Elsevier, (2005)Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods., , , and . CILC, volume 810 of CEUR Workshop Proceedings, page 41-55. CEUR-WS.org, (2011)Strengthening the Rational Closure for Description Logics: An Overview., and . CILC, volume 2396 of CEUR Workshop Proceedings, page 68-81. CEUR-WS.org, (2019)Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract)., , and . OVERLAY@GandALF, volume 2987 of CEUR Workshop Proceedings, page 83-89. CEUR-WS.org, (2021)Reasoning about Typicality in Preferential Description Logics., , , and . JELIA, volume 5293 of Lecture Notes in Computer Science, page 192-205. Springer, (2008)