Intention is choice with commitment
Artificial Intelligence
Artificial Intelligence
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
KQML as an agent communication language
Software agents
Semantics and conversations for an agent communication language
Readings in agents
Heterogeneous active agents, I: semantics
Artificial Intelligence
The BOID architecture: conflicts between beliefs, obligations, intentions and desires
Proceedings of the fifth international conference on Autonomous agents
Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
A Practitioners' Review of Industrial Agent Applications
Autonomous Agents and Multi-Agent Systems
Impact: A Platform for Collaborating Agents
IEEE Intelligent Systems
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
An Abductive Logic Programming Architecture for Negotiating Agents
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
MINERVA - A Dynamic Logic Programming Agent Architecture
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Generalization of some properties of relations in the context of functional temporal×modal logic
International Journal of Computer Mathematics - Recent Advances in Computational and Applied Mathematics in Science and Engineering
A new logical semantics for agent communication
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
Starting from the early days of multi-agent systems research, considerable effort has been devoted to giving formal foundations to agent technologies. Work done in this direction, based on computational logic, is an attempt to bridge an existing gap, between theoretical frameworks and their practical implementations. In the last two editions of the workshop on Computational Logic in Multi-Agent Systems, CLIMA'01 and CLIMA'02, two discussion panels have been organized, aimed at bringing researchers together and exchanging ideas on a number of topics. In this article, we elaborate on the outcome of such panels, to draw some considerations about the recent advances and future directions of Computational Logic in Multi-Agent Systems.