1143 search results - page 15 / 229 » Prospective Logic Agents |
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
110
click to vote
DALT
2008
Springer
15 years 3 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
144
Voted
DALT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
DAGSTUHL
2003
15 years 3 months ago
2003
In this paper we review some issues of research in intelligent agents, and particularly some logical theories that have been proposed in the literature to describe aspects of inte...
103
click to vote
AAAI
2007
15 years 4 months ago
2007
We present a sound and complete logic for reasoning about SimpleAPL programs. SimpleAPL is a fragment of the agent programming language 3APL designed for the implementation of cog...