Author of the publication

Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming.

, , and . Theory Pract. Log. Program., 7 (4): 377-450 (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

Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming., , and . Theory Pract. Log. Program., 7 (4): 377-450 (2007)Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning.. ICLP, volume 4079 of Lecture Notes in Computer Science, page 469-470. Springer, (2006)Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms., , and . AAAI, page 129-134. AAAI Press, (2006)On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information., and . KR, page 481-491. AAAI Press, (2006)Conformant Planning for Domains with Constraints-A New Approach., , , and . AAAI, page 1211-1216. AAAI Press / The MIT Press, (2005)An Approximation of Action Theories of and Its Application to Conformant Planning., , , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 172-184. Springer, (2005)CPP: A Constraint Logic Programming Based Planner with Preferences., , and . LPNMR, volume 4483 of Lecture Notes in Computer Science, page 290-296. Springer, (2007)Applications of parallel processing technologies in heuristic search planning: methodologies and experiments., , , and . Concurr. Comput. Pract. Exp., 21 (15): 1928-1960 (2009)Reasoning about Sensing Actions in Domains with Multi-Valued Fluents., , and . Stud Logica, 79 (1): 135-160 (2005)Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming, , and . CoRR, (2006)