5198 search results - page 61 / 1040 » A Logic of Agent Programs |
ATAL
2004
Springer
15 years 2 months ago
2004
Springer
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
DAGSTUHL
2003
15 years 17 days 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...
104
click to vote
ENTCS
2006
14 years 11 months ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
104
click to vote
LPNMR
2007
Springer
15 years 5 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...