Author of the publication

An A-Prolog Decision Support System for the Space Shuttle.

, , , , and . PADL, volume 1990 of Lecture Notes in Computer Science, page 169-183. Springer, (2001)

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

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 and using domain-specific heuristics in ASP solvers.. AI Commun., 24 (2): 147-164 (2011)Learning Action Descriptions with A-Prolog: Action Language C.. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, page 13-18. AAAI, (2007)A Framework for Interleaving Planning-while-Learning and Execution.. MICAI, volume 1793 of Lecture Notes in Computer Science, page 247-259. Springer, (2000)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)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)Preface., , and . Theory Pract. Log. Program., 21 (3): 293-295 (2021)