406 search results - page 2 / 82 » Dynamic Logic for Plan Revision in Intelligent Agents |
APPINF
2003
13 years 6 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
AMAST
2006
Springer
13 years 9 months ago
2006
Springer
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalizatio...
PRIMA
2004
Springer
13 years 10 months ago
2004
Springer
AAAI
2008
13 years 7 months ago
2008
ARGMAS
2004
Springer
13 years 10 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...