Magically constraining the inverse method using dynamic polarity assignment

DOI10.1007/978-3-642-16242-8_15MaRDI QIDQ4933306zbMATH OpenOpenAlexFDO

Authors Kaustuv Chaudhuri

Publication date 12 October 2010

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16242-8_15

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1926633
• Magic templates: a spellbinding approach to logic programs
• Grammar-related transformations of logic programs
• Focusing the inverse method for LF: a preliminary report
• A logical characterization of forward and backward chaining in the inverse method

Cited in

(2)

• Disproving using the inverse method by iterative refinement of finite approximations
• A Survey of the Proof-Theoretic Foundations of Logic Programming

This page was built for publication: Magically constraining the inverse method using dynamic polarity assignment

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