406 search results - page 3 / 82 » Dynamic Logic for Plan Revision in Intelligent Agents |
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
KI
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
AI
1998
Springer
13 years 6 months ago
1998
Springer
This paper addresses the logical foundations of goal-regression planning in autonomous rational agents. It focuses mainly on three problems. The first is that goals and subgoals w...
ICAART
2010
INSTICC
13 years 7 months ago
2010
INSTICC
AAAI
1994
13 years 7 months ago
1994