Author of the publication

Model-Based Diagnosis Meets Error Diagnosis in Logic Programs.

, , and . IJCAI, page 1494-1501. Morgan Kaufmann, (1993)

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

A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality., , , , , and . Int. J. Approx. Reason., (January 2024)35 Years of Pietro Torasso's work on diagnosis., , , , , and . Intelligenza Artificiale, 12 (1): 31-40 (2018)A framework for a modular multi-concept lexicographic closure semantics., and . CoRR, (2020)On the Role of Abduction., , , and . ACM Comput. Surv., 27 (3): 353-355 (1995)Reasoning about actions with EL ontologies with temporal answer sets., , and . CoRR, (2021)Threading Facts into a Collective Narrative World., , , , and . ICIDS, volume 6432 of Lecture Notes in Computer Science, page 86-97. Springer, (2010)ASP and Ontologies for Reasoning on Business Processes., and . DDC@AI*IA, volume 2495 of CEUR Workshop Proceedings, page 45-52. CEUR-WS.org, (2019)Causal Simulation and Diagnosis of Dynamic Systems., and . AI*IA, volume 2175 of Lecture Notes in Computer Science, page 135-146. Springer, (2001)Verifying Business Process Compliance by Reasoning about Actions., , , , , and . CLIMA, volume 6245 of Lecture Notes in Computer Science, page 99-116. Springer, (2010)Temporal deontic action logic for the verification of compliance to norms in ASP., , and . ICAIL, page 53-62. ACM, (2013)