5198 search results - page 2 / 1040 » A Logic of Agent Programs |
AAAI
2007
13 years 9 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...
FROCOS
2009
Springer
13 years 11 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 ...
AAAI
2006
13 years 8 months ago
2006
MATES
2005
Springer
14 years 2 days 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 ...
AMAI
2004
Springer
13 years 6 months 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...