Heterogeneous Agent Systems
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
LUPS - A Language for Updating Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Multi-dimensional Dynamic Knowledge Representation
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Formal Semantics for an Abstract Agent Programming Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Speculative computation with multi-agent belief revision
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Preferring and Updating in Abductive Multi-agent Systems
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Enabling Agents to Update Their Knowledge and to Prefer
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Multi-dimensional Dynamic Knowledge Representation
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Mobile Agents and Logic Programming
MA '02 Proceedings of the 6th International Conference on Mobile Agents
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
Annals of Mathematics and Artificial Intelligence
Programming multi-agent systems
The Knowledge Engineering Review
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
An ASP-based approach to dealing with agent perception failure
AI Communications
Logic programming with social features1
Theory and Practice of Logic Programming
Programming Multi-agent Systems
Computational Logic in Multi-Agent Systems
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
Hierarchical decision making in multi-agent systems using answer set programming
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Adding evolving abilities to a multi-agent system
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Adding knowledge updates to 3APL
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Preferring and updating in logic-based agents
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Adding structure to agent programming languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
A dialogue games framework for the operational semantics of logic agent-oriented languages
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Declarative programming for agent applications
Autonomous Agents and Multi-Agent Systems
ASTREA: answer sets for a trusted reasoning environment for agents
Logic programming, knowledge representation, and nonmonotonic reasoning
A new HTN planning framework for agents in dynamic environments
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Revising knowledge in multi-agent systems using revision programming with preferences
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
A new framework for knowledge revision of abductive agents through their interaction
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
The well supported semantics for multidimensional dynamic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
A formal analysis of KGP agents
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
LAIMA: a multi-agent platform using ordered choice logic programming
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Operational semantics for DyLPs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
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
| Hi-index | 0.00 |
The agent paradigm, commonly implemented by means of imperative languages mainly for reasons of efficiency, has recently increased its influence in the research and development of computational logic based systems. Since efficiency is not always the crucial issue, but clear specification and correctness is, Logic Programming and Non-monotonic Reasoning have been brought back into the spotlight. To this accrues the recent significant improvements in the efficiency of Logic Programming implementations for Non-monotonic Reasoning.This paper presents an overall description of MINERVA, an agent architecture and system designed with the intention of providing a common agent framework based on the unique strengths of Logic Programming, to allow for the combination of several non-monotonic knowledge representation and reasoning mechanisms developed in recent years. In [10], the semantics of the multi-dimensional structure and combination of the evolving societal knowledge of agents in described and discussed in detail.