Foundations of Information and Knowledge Systems

DOI10.1007/11663881zbMATH Open1177.68225OpenAlexW4212786759MaRDI QIDQ5898541FDOQ5898541

Gianluigi Greco

Publication date: 12 February 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11663881

Recommendations

• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• Abduction from logic programs: Semantics and complexity
• Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming
• Complexity results for abductive logic programming
• An abductive framework for extended logic programming
• An abductive approach to disjunctive logic programming
• scientific article; zbMATH DE number 1222412
• Abduction with probabilistic logic programming under the distribution semantics
• On computing probabilistic abductive explanations
• Argumentation-based abduction in disjunctive logic programming

Mathematics Subject Classification ID

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

Cited In (1)

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

This page was built for publication: Foundations of Information and Knowledge Systems

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