A logic-based calculus of events
New Generation Computing
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Semantics and conversations for an agent communication language
Readings in agents
Metareasoning agents for query-answering systems
Flexible query answering systems
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reflective Agents in Metalogic Programming
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
KI '94 Proceedings of the 18th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Multi-Level Security in Multiagent Systems
CIA '97 Proceedings of the First International Workshop on Cooperative Information Agents
Cooperative Information Agents and Communication
CIA '97 Proceedings of the First International Workshop on Cooperative Information Agents
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
Towards a formal theory of communication for multiagent systems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Evolving Multi-agent Viewpoints - an Architecture
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 Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
An abductive framework for information exchange in multi-agent systems
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
We propose a logic-based language for programming agents that can reason about their own beliefs as well as the beliefs of other agents and can communicate with each other. The agents can be reactive, rational/deliberative or hybrid, combining both reactive and rational behaviour. We illustrate the language by means of examples.