The complexity of optimization problems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
Cost-based abduction and MAP explanation
Artificial Intelligence
The complexity of logic-based abduction
Journal of the ACM (JACM)
Agent preference relations: strict, indifferent and incomparable
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Conditional, hierarchical, multi-agent preferences
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Multiagent Compromises, Joint Fixpoints, and Stable Models
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
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Semantics of Communicating Agents Based on Deduction and Abduction
Issues in Agent Communication
Choice Logic Programs and Nash Equilibria in Strategic Games
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
On the decidability and complexity of query answering over inconsistent and incomplete databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Deliberative and Reactive Diagnosis Agent based on Logic Programming
ICTAI '96 Proceedings of the 8th International Conference on Tools with Artificial Intelligence
Argumentation based decision making for autonomous agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Approximating cost-based abduction is NP-hard
Artificial Intelligence
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the 14th ACM international conference on Information and knowledge management
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Pure Nash equilibria: hard and easy games
Journal of Artificial Intelligence Research
Logic programs for consistently querying data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Query rewriting and answering under constraints in data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A-system: problem solving through abduction
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Abduction in logic programming: a new definition and an abductive procedure based on rewriting
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
HyperCuP: hypercubes, ontologies, and efficient search on peer-to-peer networks
AP2PC'02 Proceedings of the 1st international conference on Agents and peer-to-peer computing
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
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
On modelling multi-agent systems declaratively
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Query answering in peer-to-peer data exchange systems
EDBT'04 Proceedings of the 2004 international conference on Current Trends in Database Technology
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages
Hi-index | 0.00 |
An extension of abduction is investigated where explanations for bunches of observations may be jointly computed by sets of interacting agents. At one hand, agents are allowed to partially contribute to the reasoning task, so that joint explanations can be singled out even if each agent does not have enough knowledge for carrying out abduction on its own. At the other hand, agents maintain their autonomy in choosing explanations, each one being equipped with a weighting function reflecting its perception about the reliability of set of hypotheses. Given that different agents may have different and possibly contrasting preferences, some reasonable notions of agents' agreement are introduced, and their computational properties are thoroughly studied. As an example application of the framework discussed in the paper, it is shown how to handle data management issues in Peer-to-Peer systems and, specifically, how to provide a repair-based semantics to inconsistent ones.