Logic programs with classical negation
Logic programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Preferred answer sets for extended logic programs
Artificial Intelligence
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Heterogeneous Agent Systems
LUPS---a language for updating logic programs
Artificial Intelligence
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
A Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
The MulE game engine extending online role-playing games
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
A framework for declarative update specifications in logic programs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning Robots: The Art and Science of Programming Robotic Agents
Reasoning Robots: The Art and Science of Programming Robotic Agents
A dynamic logic programming based system for agents with declarative goals
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
EVOLP: Tranformation-Based Semantics
Computational Logic in Multi-Agent Systems
Computational Logic in Multi-Agent Systems
Evolving Logic Programming Based Agents with Temporal Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Evolving logic programs with temporal operators
Logic programming, knowledge representation, and nonmonotonic reasoning
Hi-index | 0.00 |
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason about evolving knowledge. The resulting system, presented with a formal semantic characterisation and implemented using a combination of Java, XSB Prolog and Smodels, provides an improvement of madAgents, allowing for the implementation of a richer agent architecture where agents' beliefs and behavior, as well as their evolution, are specifiable in EVOLP. It inherits the merits of Answer Set Programming (e.g., default negation for reasoning about incomplete knowledge, a semantics based on multiple answer-sets for reasoning about several possible worlds, etc.) on top of which we add all the specific merits of EVOLP for specifying evolving knowledge. At he same time, the resulting system provides a proof of principle that EVOLP can easily be adopted by existing MAS, to represent an evolving belief base, or also to represent the agent's evolving behavior.