scientific article; zbMATH DE number 219215

MaRDI QIDQ4694697zbMATH OpenFDO

Authors Nicole Bidoit, P. Legay

Publication date 29 June 1993

zbMATH Keywords

evaluationlogic programsSLD resolutionSLS resolution

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A procedural semantics for well-founded negation in logic programs
• A goal-oriented approach to computing the well-founded semantics
• The well-founded semantics for general logic programs
• SLT-resolution for the well-founded semantics
• A tutorial on the well-founded semantics

Cited in

(7)

• A paraconsistent logic programming approach for querying inconsistent databases
• An algebraic construction of the well-founded model
• Towards an efficient evaluation of recursive aggregates in deductive databases
• Bottom-up evaluation and query optimization of well-founded models
• A procedural semantics for well-founded negation in logic programs
• A goal-oriented approach to computing the well-founded semantics
• A logic programming system for nonmonotonic reasoning

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