Using Abduction to Compute Efficient Proofs

DOI10.1016/J.ENTCS.2009.07.047MaRDI QIDQ5178959zbMATH OpenOpenAlexFDO

Authors Marcelo Finger

Publication date 18 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.047

zbMATH Keywords

sequent calculusabductive reasoningnon-analytic cutsproof efficiency

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 4166861
• An abductive proof procedure for conditional logic programming
• Abduction and dialogical proof in argumentation and logic programming
• scientific article; zbMATH DE number 3900184
• A Hybrid Abductive Inductive Proof Procedure
• Abstractions from proofs
• Proving as fast as computing: succinct arguments with constant prover overhead
• The computational complexity of abduction
• AI*IA 2005: Advances in Artificial Intelligence

Cites work

• scientific article; zbMATH DE number 4174356 (Why is no real title available?)
• scientific article; zbMATH DE number 3132713 (Why is no real title available?)
• scientific article; zbMATH DE number 67456 (Why is no real title available?)
• scientific article; zbMATH DE number 877749 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3313427 (Why is no real title available?)
• Advice on Abductive Logic
• Cut-Based Abduction
• The Taming of the Cut. Classical Refutations with Analytic Cut

Cited in

(3)

• Abduction through semantic tableaux versus abduction through goal-directed proofs
• AI*IA 2005: Advances in Artificial Intelligence
• Towards automated first-order abduction: the cut-based approach

This page was built for publication: Using Abduction to Compute Efficient Proofs

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