5198 search results - page 2 / 1040 » A Logic of Agent Programs |
AAAI
2007
15 years 2 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...
128
Voted
FROCOS
2009
Springer
15 years 5 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
52
Voted
AAAI
2006
15 years 2 months ago
2006
137
Voted
MATES
2005
Springer
15 years 6 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 ...
124
click to vote
AMAI
2004
Springer
15 years 14 days ago
2004
Springer
We present systems of logic programming agents (LPAS) to model the interactions between decision-makers while evolving to a conclusion. Such a system consists of a number of agents...