Abduction in logic programming

DOI10.1007/3-540-45628-7_16MaRDI QIDQ4707746zbMATH OpenFDO

Authors Marc Denecker, A. C. Kakas

Publication date 11 June 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2407/24070402.htm, https://lirias.kuleuven.be/handle/123456789/124203

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Abductive Logic Programming
• scientific article; zbMATH DE number 877749
• Complexity results for abductive logic programming
• Abduction from logic programs: Semantics and complexity
• scientific article; zbMATH DE number 1531965

Cited in

(44)

• Learning probabilistic logic models from probabilistic examples
• Abduction from logic programs: Semantics and complexity
• Causes for query answers from databases: datalog abduction, view-updates, and integrity constraints
• Relational data factorization
• Abductive logics in a belief revision framework
• Competing hypotheses and abductive inference
• Can you answer while you wait?
• Economic reasoning with demand and supply graphs
• Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
• Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results
• Application of abductive ILP to learning metabolic network inhibition from temporal data
• Rule based abduction
• Abduction-based search for cooperative answers
• Answers that Have Integrity
• Absys: the first logic programming language —A retrospective and a commentary
• Abductive inference methods in problems of job planning in complex objects
• Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
• Abductive Logic Grammars
• scientific article; zbMATH DE number 67516 (Why is no real title available?)
• Inductive equivalence in clausal logic and nonmonotonic logic programming
• Online learning of event definitions
• Stabilization of Information Sharing for Queries Answering in Multiagent Systems
• scientific article; zbMATH DE number 1568684 (Why is no real title available?)
• scientific article; zbMATH DE number 1568685 (Why is no real title available?)
• Abduction with penalization in logic programming
• scientific article; zbMATH DE number 877749 (Why is no real title available?)
• A simple correctness proof for magic transformation
• scientific article; zbMATH DE number 7455714 (Why is no real title available?)
• Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
• Abductive reasoning on molecular interaction maps
• Indefinite abductive explanations
• scientific article; zbMATH DE number 970711 (Why is no real title available?)
• Reconciling communication delays and negation
• Answer set programming made easy
• How artificial intelligence leads to knowledge why: an inquiry inspired by Aristotle's posterior analytics
• Common abductive explanations in first order logic
• Theorem proving as constraint solving for coherent logic with function symbols
• Can't you answer while you wait?
• Automated completion of statements and proofs in synthetic geometry: an approach based on constraint solving
• Hypothetical answers to continuous queries over data streams
• Incremental learning of event definitions with inductive logic programming
• Hypothesizing about signaling networks
• Equivalence issues in abduction and induction
• Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

This page was built for publication: Abduction in logic programming

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