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

DOI10.1007/S10472-007-9069-YMaRDI QIDQ2385448zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Data integrationAbductionNonmonotonic reasoning

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(4)

• A logic framework for P2P deductive databases
• Abduction-based search for cooperative answers
• Foundations of Information and Knowledge Systems
• Coherent composition of distributed knowledge-bases through abduction

Describes a project that uses

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)