Author of the publication

Machines as Thought Partners: Reflections on 50 Years of Prolog.

, , , , and . Prolog: The Next 50 Years, volume 13900 of Lecture Notes in Computer Science, Springer, (2023)

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 Framework for Interleaving Planning-while-Learning and Execution.. MICAI, volume 1793 of Lecture Notes in Computer Science, page 247-259. Springer, (2000)Prolog and ASP Inference under One Roof., , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 148-160. Springer, (2013)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)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)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)