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

Diagnosing Physical Systems in A-Prolog., , and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 213-225. Springer, (2001)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)Answer Set Planning: A Survey., , , and . CoRR, (2022)Diagnostic reasoning with A-Prolog., and . Theory Pract. Log. Program., 3 (4-5): 425-461 (2003)Preface., , and . Theory Pract. Log. Program., 21 (3): 293-295 (2021)Answer Set Planning: A Survey., , , and . Theory Pract. Log. Program., 23 (1): 226-298 (2023)CASP solutions for planning in hybrid domains., , , and . Theory Pract. Log. Program., 17 (4): 591-633 (2017)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)Learning Action Descriptions with A-Prolog: Action Language C.. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, page 13-18. AAAI, (2007)