Author of the publication

Learning Action Descriptions with A-Prolog: Action Language C.

. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, page 13-18. AAAI, (2007)

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

Issues in parallel execution of non-monotonic reasoning systems., , , and . Parallel Comput., 31 (6): 608-647 (2005)How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.. LPNMR, volume 5753 of Lecture Notes in Computer Science, page 4-16. Springer, (2009)Reasoning about Truthfulness of Agents Using Answer Set Programming., , and . AAAI Fall Symposia, page 47-50. AAAI Press, (2015)Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case. CoRR, (2011)Language ASPf with Arithmetic Expressions and Consistency-Restoring Rules, and . CoRR, (2013)Experiments in Answer Sets Planning., , , , and . MICAI, volume 1793 of Lecture Notes in Computer Science, page 95-107. Springer, (2000)An Answer Set Solver for non-Herbrand Programs: Progress Report.. ICLP (Technical Communications), volume 17 of LIPIcs, page 49-60. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework., , , , , and . CoRR, (2022)Applying AI for social good: Aligning academic journal ratings with the United Nations Sustainable Development Goals (SDGs)., , and . AI Soc., 38 (2): 613-629 (April 2023)Answer set based design of knowledge systems., , and . Ann. Math. Artif. Intell., 47 (1-2): 183-219 (2006)