Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results

DOI10.1007/S10472-007-9069-YzbMATH Open1129.68084OpenAlexW1877903941MaRDI QIDQ2385448FDOQ2385448

Authors: Gianluigi Greco 

Publication date: 12 October 2007

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-007-9069-y

Recommendations

• Foundations of Information and Knowledge Systems
• Abduction from logic programs: Semantics and complexity
• scientific article; zbMATH DE number 512816
• Abduction in argumentation frameworks
• The complexity of logic-based abduction

zbMATH Keywords

Data integrationAbductionNonmonotonic reasoning

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27) Distributed systems (68M14)

Cites Work

• LAILA: a language for coordinating abductive reasoning among logic agents
• Title not available (Why is that?)
• Non-cooperative games
• Heterogeneous active agents, I: Semantics
• A course in game theory.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Answer sets for consistent query answering in inconsistent databases
• Title not available (Why is that?)
• Fusion of multi-agent preference orderings
• Title not available (Why is that?)
• Negotiation and cooperation in multi-agent environments
• Succinctness as a source of complexity in logical formalisms
• Logic Programming
• Cost-based abduction and MAP explanation
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Abductive logic programs with penalization: semantics, complexity and implementation
• The complexity of logic-based abduction
• Title not available (Why is that?)
• Logic Programming
• On the Relationship Between Abduction and Deduction
• Cooperation and competition in ALIAS: A logic framework for agents that negotiate
• Title not available (Why is that?)
• Extending answer sets for logic programming agents
• Approximating cost-based abduction is NP-hard
• Computational Logic in Multi-Agent Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logics in Artificial Intelligence
• Computational Logic in Multi-Agent Systems

Cited In (2)

• Coherent composition of distributed knowledge-bases through abduction
• Foundations of Information and Knowledge Systems

Uses Software

• LAILA
• IMPACT
• Smodels
• Datalog

This page was built for publication: Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2385448)