2 search results - page 1 / 1 » On the Compilability of Diagnosis, Planning, Reasoning about... |
KR
1998
Springer
13 years 9 months ago
1998
Springer
ECAI
2004
Springer
13 years 10 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...