Author of the publication

Towards a Modular Action Description Language.

, and . AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, page 33-43. AAAI, (2006)

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

Review: M. Shanahan, Solving the Frame Problem.. Artif. Intell., 123 (1-2): 265-268 (2000)A generalization of the Lin-Zhao theorem., , and . Ann. Math. Artif. Intell., 47 (1-2): 79-101 (2006)Variables in Action Descriptions: Merging C+ with ADL., and . AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, page 83-88. AAAI, (2007)The Dramatic True Story of the Frame Default.. J. Philosophical Logic, 44 (2): 163-176 (2015)Answer set programming and plan generation.. Artif. Intell., 138 (1-2): 39-54 (2002)Between Circumscription and Autoepistemic Logic.. KR, page 235-244. Morgan Kaufmann, (1989)Representing Actions in Extended Logic Programming., and . JICSLP, page 559-573. MIT Press, (1992)Answer Set Planning.. ICLP, page 23-37. MIT Press, (1999)Computing Circumscription.. IJCAI, page 121-127. Morgan Kaufmann, (1985)Formal Theories of Action (Preliminary Report).. IJCAI, page 966-972. Morgan Kaufmann, (1987)