Abduction in logic programming: A new definition and an abductive procedure based on rewriting

DOI10.1016/S0004-3702(02)00227-8zbMath0999.68092OpenAlexW2046191606MaRDI QIDQ1614866

Fangzhen Lin, Jia-Huai You

Publication date: 9 September 2002

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(02)00227-8

zbMATH Keywords

rewrite systemsabductionanswer set programming

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items (9)

Hypothesizing about signaling networks ⋮ Reasoning with Forest Logic Programs and f-hybrid knowledge bases ⋮ What makes propositional abduction tractable ⋮ Fuzzy answer set computation via satisfiability modulo theories ⋮ Query answering in resource-based answer set semantics ⋮ Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results ⋮ Fuzzy answer sets approximations ⋮ The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments ⋮ Optimizing group learning: an evolutionary computing approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abduction versus closure in causal theories.
• An analysis of loop checking mechanisms for logic programs
• A three-valued semantics for deductive databases and logic programs
• Extending and implementing the stable model semantics
• Logic programs with stable model semantics as a constraint programming paradigm
• Extending negation as failure by abduction: A three-valued stable model semantics
• Completed logic programs and their consistency
• On the Relationship Between Abduction and Deduction
• SLDNFA: An abductive procedure for abductive logic programs
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• An argumentation-theoretic foundation for logic programming
• The IFF proof procedure for abductive logic programming
• ACLP: Abductive Constraint Logic Programming
• Abductive Logic Programming

This page was built for publication: Abduction in logic programming: A new definition and an abductive procedure based on rewriting