Negation as failure as resolution

DOI10.1023/A:1009724005666MaRDI QIDQ1277302zbMATH OpenOpenAlexFDO

Authors Suman Roy, Ramesh Subrahmanyam, Vijaya Chandru

Publication date 21 June 1999

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1009724005666

zbMATH Keywords

procedural semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Negation as instantiation
• scientific article; zbMATH DE number 65758
• Negation as failure. II
• scientific article; zbMATH DE number 879002

Cited in

(19)

• Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions
• Negation as instantiation
• Negation as failure for disjunctive logic programming
• On negation as instantiation
• scientific article; zbMATH DE number 4178746 (Why is no real title available?)
• scientific article; zbMATH DE number 4199654 (Why is no real title available?)
• Negation as failure. II
• Complete logic programs with domain-closure axiom
• Negation as failure using tight derivations for general logic programs
• Short note: procedural semantics and negative information of elementary formal system
• A linear axiomatization of negation as failure
• scientific article; zbMATH DE number 65758 (Why is no real title available?)
• Negation as failure in the head
• Gentzen-style characterizations of negation as failure
• CUT-PROPERTY AND NEGATION AS FAILURE
• Regular search spaces and constructive negation
• scientific article; zbMATH DE number 1926609 (Why is no real title available?)
• A transformational approach to negation in logic programming
• The Prolog not-predicate and negation as failure rule

This page was built for publication: Negation as failure as resolution

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