Abduction in Logic Programming as Second-Order Quantifier Elimination
From MaRDI portal
Publication:2849485
DOI10.1007/978-3-642-40885-4_8zbMath1397.68165OpenAlexW2183957662MaRDI QIDQ2849485
Publication date: 20 September 2013
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40885-4_8
Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (2)
Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications ⋮ A superposition calculus for abductive reasoning
Uses Software
This page was built for publication: Abduction in Logic Programming as Second-Order Quantifier Elimination