5198 search results - page 3 / 1040 » A Logic of Agent Programs |
120
click to vote
DALT
2009
Springer
15 years 3 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...
LPAR
2005
Springer
15 years 4 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
DALT
2008
Springer
15 years 24 days 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...
ATAL
2001
Springer
15 years 2 months ago
2001
Springer