Author of the publication

Efficient Explanations for Inconsistent Constraint Sets.

, , , , and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 1043-1044. IOS Press, (2010)

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

Model-Based Diagnosis and Repair.. AI Commun., 6 (3/4): 187-206 (1992)ARTEX - Wissensbasierte Fehlererkennung und Fehlerbehebung in einem Vermittlungssystem., , and . Wissensbasierte Systeme, volume 155 of Informatik-Fachberichte, page 217-223. Springer, (1987)Advancing Lazy-Grounding ASP Solving Techniques - Restarts, Phase Saving, Heuristics, and More., , and . Theory Pract. Log. Program., 20 (5): 609-624 (2020)Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach., , , and . J. Artif. Intell. Res., (2023)On Direct Debugging of Aligned Ontologies., , , and . ISWC (Posters & Demos), volume 914 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)Constraint-Based Recommender Systems., , , and . Recommender Systems Handbook, Springer, (2015)(Re)configuration based on model generation, , , , , and . LoCoCo, volume 65 of EPTCS, page 26-35. (2011)Acquiring Configuration Knowledge Bases in the Semantic Web Using UML., , , , and . EKAW, volume 2473 of Lecture Notes in Computer Science, page 352-357. Springer, (2002)Theory Diagnoses: A Concise Characterization of Faulty Systems.. Ann. Math. Artif. Intell., 11 (1-4): 263-282 (1994)Uml as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems., , and . International Journal of Software Engineering and Knowledge Engineering, 10 (4): 449-469 (2000)