scientific article; zbMATH DE number 4108188

MaRDI QIDQ3832076zbMATH OpenFDO

Authors Stefano Baratella, Gilberto File

Publication date 1988

zbMATH Keywords

negationdeductive databasesSLDNF resolution

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Artificial intelligence (68T99)

Recommendations

• A completeness theorem for SLDNF resolution
• On the completed database semantics for negation
• Negation as failure. II
• Completeness of SLDNF-resolution for nonfloundering queries
• Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption

Cited in

(7)

• On the completed database semantics for negation
• Generalising unit-refutation completeness and SLUR via nested input resolution
• scientific article; zbMATH DE number 4147563 (Why is no real title available?)
• SLT-resolution for the well-founded semantics
• A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete
• A completeness theorem for SLDNF resolution
• Acyclic logic programs and the completeness of SLDNF-resolution

This page was built for publication:

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