Sciweavers

CLIMA
2004
14 years 29 days ago
Dynamic Logic for Plan Revision in Intelligent Agents
In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes a...
M. Birna van Riemsdijk, Frank S. de Boer, John-Jul...