Sciweavers

411 search results - page 6 / 83
» Logic Programming for Evolving Agents
Sort
View
AAAI
2007
13 years 11 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...
FROCOS
2009
Springer
14 years 1 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...
MATES
2005
Springer
14 years 2 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
ATAL
2001
Springer
14 years 7 days ago
MINERVA - A Dynamic Logic Programming Agent Architecture
João Alexandre Leite, José Jú...
LPAR
2005
Springer
14 years 2 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,...