Author of the publication

Integration Schemas for Constraint Answer Set Programming: a Case Study.

, and . Theory Pract. Log. Program., (2013)

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

Prolog and ASP Inference under One Roof., , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 148-160. Springer, (2013)A Framework for Interleaving Planning-while-Learning and Execution.. MICAI, volume 1793 of Lecture Notes in Computer Science, page 247-259. Springer, (2000)Learning Domain-Specific Heuristics for Answer Set Solvers.. ICLP (Technical Communications), volume 7 of LIPIcs, page 14-23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)CASP solutions for planning in hybrid domains., , , and . Theory Pract. Log. Program., 17 (4): 591-633 (2017)Learning Action Descriptions with A-Prolog: Action Language C.. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, page 13-18. AAAI, (2007)Learning and using domain-specific heuristics in ASP solvers.. AI Commun., 24 (2): 147-164 (2011)Diagnosing Physical Systems in A-Prolog., , and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 213-225. Springer, (2001)Answer Set Planning: A Survey., , , and . CoRR, (2022)Answer Set Planning: A Survey., , , and . Theory Pract. Log. Program., 23 (1): 226-298 (2023)Diagnostic reasoning with A-Prolog., and . Theory Pract. Log. Program., 3 (4-5): 425-461 (2003)