Author of the publication

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

Polynomial-Length Planning Spans the Polynomial Hierarchy.. JELIA, volume 2424 of Lecture Notes in Computer Science, page 111-124. Springer, (2002)Update by Means of Inference Rules., and . LPNMR, volume 928 of Lecture Notes in Computer Science, page 156-174. Springer, (1995)Representing the Zoo World and the Traffic World in the language of the Causal Calculator., , , , and . Artif. Intell., 153 (1-2): 105-140 (2004)Representing Transition Systems by Logic Programs., and . LPNMR, volume 1730 of Lecture Notes in Computer Science, page 92-106. Springer, (1999)Causal Laws and Multi-Valued Fluents., , , and . CoRR, (2023)Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach.. J. Log. Program., 31 (1-3): 245-298 (1997)From Disjunctive Programs to Abduction., and . NMELP, volume 927 of Lecture Notes in Computer Science, page 23-42. Springer, (1994)Strong equivalence made easy: nested expressions and weight constraints.. Theory Pract. Log. Program., 3 (4-5): 609-622 (2003)Order-consistent programs are cautiously monotonic.. Theory Pract. Log. Program., 1 (4): 487-495 (2001)Nonmonotonic causal theories., , , , and . Artif. Intell., 153 (1-2): 49-104 (2004)