A class of programs for which SLDNF resolution and NAF rule are complete

DOI10.1016/0304-3975(93)90246-PzbMATH Open0796.68052MaRDI QIDQ689290FDOQ689290

Stefano Baratella

Publication date: 22 September 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 3958704
• A Completeness Result for SLDNF-Resolution
• scientific article
• Acyclic logic programs and the completeness of SLDNF-resolution
• A completeness theorem for SLDNF resolution
• A direct proof of the completeness of SLDNF-resolution
• scientific article; zbMATH DE number 516997
• Applying SLD-Resolution to a Class of Non-Horn Logic Programs
• ON THE PROPOSITIONAL SLDNF-RESOLUTION
• SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs

zbMATH Keywords

allowed programslocally call-consistent programsnegation as-finite-failureSLDNF resolution

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• Model theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• A kripke-kleene semantics for logic programs*
• Title not available (Why is that?)
• Negation in logic programming
• Graph properties for normal logic programs
• Completed logic programs and their consistency
• Partial models and logic programming
• Acyclic logic programs and the completeness of SLDNF-resolution
• A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses
• A completeness theorem for SLDNF resolution
• Title not available (Why is that?)
• The consistency of negation as failure

Cited In (6)

• Acyclic logic programs and the completeness of SLDNF-resolution
• A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses
• A Complete Axiomatization of the Three valued Completion of Logic Programs
• Soundness of abductive proof procedure with respect to constraint for non-ground abducibles
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete

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