scientific article; zbMATH DE number 549972

MaRDI QIDQ4287491zbMATH OpenFDO

Authors Roland N. Bol

Publication date 19 October 1994

zbMATH Keywords

completenesslogic programsloop checkingnegationperfect model semanticspositive programssoundness

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• An analysis of loop checking mechanisms for logic programs
• Loop checking and the well-founded semantics
• Generalizing completeness results for loop checks in logic programming
• scientific article; zbMATH DE number 813263

Cited in

(4)

• Generalizing completeness results for loop checks in logic programming
• A general criterion for avoiding infinite unfolding during partial deduction
• scientific article; zbMATH DE number 813263 (Why is no real title available?)
• Loop checking and the well-founded semantics

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 Q4287491)