Logic programs with classical negation
Logic programming
Nonmonotonic reasoning: logical foundations of common sense
Nonmonotonic reasoning: logical foundations of common sense
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
ACM Transactions on Database Systems (TODS)
Answer set programming and plan generation
Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
An A-Prolog Decision Support System for the Space Shuttle
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The INFOMIX system for advanced integration of incomplete and inconsistent data
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Inferring Phylogenetic Trees Using Answer Set Programming
Journal of Automated Reasoning
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
Resource allocation with answer-set programming
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Multi-Agent Programming: Languages, Tools and Applications
Multi-Agent Programming: Languages, Tools and Applications
A framework for declarative update specifications in logic programs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
From logic programs updates to action description updates
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Evolving logic programs with temporal operators
Logic programming, knowledge representation, and nonmonotonic reasoning
| Hi-index | 0.00 |
In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that use logic rules and rule updates and exhibit characteristics that make them suitable to be used for knowledge representation and reasoning within Agent Oriented Programming Languages. We illustrate the power of these rule based languages by means of examples showing how several of its features can be used to model situations faced by Agents.