Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Causes for events: their computation and applications
Proc. of the 8th international conference on Automated deduction
A logical framework for default reasoning
Artificial Intelligence
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiling a default reasoning system into Prolog
New Generation Computing
Coordination languages and their significance
Communications of the ACM
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Optimal implementation of and-or parallel Prolog
Conference proceedings on PARLE'92
Using meta-logic to reconcile reactive with rational agents
Meta-logics and logic programming
KQML as an agent communication language
Software agents
A unifying view for logic programming with non-monotonic reasoning
Theoretical Computer Science
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
An Implementation for Abductive Logic Agents
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Automated haggling: building artificial negotiators
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Embracing causality in formal reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
PPL: A whole-image processing language
Computer Languages, Systems and Structures
Solving abduction by computing joint explanations
Annals of Mathematics and Artificial Intelligence
DARE: a system for distributed abductive reasoning
Autonomous Agents and Multi-Agent Systems
Proceedings of the 1st international conference on Forensic applications and techniques in telecommunications, information, and multimedia and workshop
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
Distributed abductive reasoning with constraints
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Engineering stable multi-agent systems
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Hi-index | 0.00 |
The last decade has seen the advent of the agent paradigm as a reference model in several fields of research, mainly but not limited to artificial intelligence and distributed systems. In open and distributed environments, where most facts are not known at all, the agent metaphor proves particularly useful if agents are able to autonomously perform some form of reasoning, possibly obviating knowledge incompleteness by means of hypotheses assumed on the unknown facts. A suitable mechanism to deal with incomplete and multiple knowledge is abductive reasoning. The aim of this paper is to describe LAILA, a language that can be used by logic-based agents capable of abductive reasoning, by enabling them to express at a high level several ways to join and coordinate with one another. In particular, we considered collaboration and competition as possible interaction patterns in the abductive reasoning that must be carried out by multiple agents. Syntax and operational semantics of the LAILA language are given along with a clarifying example; a section is also devoted to a brief description of the current LAILA implementation.