Sciweavers

411 search results - page 6 / 83
» Logic Programming for Evolving Agents
Sort
View
141
Voted
AAAI
2007
15 years 8 months ago
A Logic of Agent Programs
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...
Natasha Alechina, Mehdi Dastani, Brian Logan, John...
181
Voted
FROCOS
2009
Springer
15 years 10 months ago
A Declarative Agent Programming Language Based on Action Theories
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 ...
Conrad Drescher, Stephan Schiffel, Michael Thielsc...
185
Voted
MATES
2005
Springer
15 years 11 months ago
Programming Cognitive Agents
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 ...
John-Jules Ch. Meyer
148
Voted
ATAL
2001
Springer
15 years 9 months ago
MINERVA - A Dynamic Logic Programming Agent Architecture
João Alexandre Leite, José Jú...
147
Voted
LPAR
2005
Springer
15 years 11 months ago
Programming Cognitive Agents in Defeasible Logic
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 ...
Mehdi Dastani, Guido Governatori, Antonino Rotolo,...