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

(Re)configuration based on model generation, , , , , and . LoCoCo, volume 65 of EPTCS, page 26-35. (2011)Efficient Explanations for Inconsistent Constraint Sets., , , , and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 1043-1044. IOS Press, (2010)Configuration Knowledge Representation Using UML/OCL., , , and . UML, volume 2460 of Lecture Notes in Computer Science, page 49-62. Springer, (2002)Towards Distributed Configuration., , , and . KI/ÖGAI, volume 2174 of Lecture Notes in Computer Science, page 198-212. Springer, (2001)Configuration knowledge representations for Semantic Web applications., , , , and . Artif. Intell. Eng. Des. Anal. Manuf., 17 (1): 31-50 (2003)Model-Based Diagnosis and Repair.. AI Commun., 6 (3/4): 187-206 (1992)On computing minimal conflicts for ontology debugging, , and . MBS 2008 - Workshop on Model Based Systems at ECAI 2008, Patras. Greece, page 7-12. University of Patras, (2008)ARTEX - Wissensbasierte Fehlererkennung und Fehlerbehebung in einem Vermittlungssystem., , and . Wissensbasierte Systeme, volume 155 of Informatik-Fachberichte, page 217-223. Springer, (1987)Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach., , , and . J. Artif. Intell. Res., (2023)Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More., , and . Theory Pract. Log. Program., 20 (5): 609-624 (2020)