220 search results - page 5 / 44 » Logic-Based Agent Verification |
FUIN
2007
13 years 10 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
AGENTCL
2003
Springer
14 years 2 months ago
2003
Springer
AAMAS
2000
Springer
13 years 10 months ago
2000
Springer
This article examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a
FAABS
2004
Springer
14 years 2 months ago
2004
Springer
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
AOSE
2000
Springer
14 years 3 months ago
2000
Springer