376 search results - page 1 / 76 » Agent Logics as Program Logics: Grounding KARO |
KI
2006
Springer
13 years 4 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...
FAABS
2000
Springer
13 years 8 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
ATAL
2005
Springer
13 years 10 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
ATAL
2007
Springer
13 years 8 months ago
2007
Springer
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...
IAT
2008
IEEE
13 years 11 months ago
2008
IEEE
