scientific article; zbMATH DE number 219215

zbMATH Open0789.68013MaRDI QIDQ4694697FDOQ4694697

Authors: Nicole Bidoit, P. Legay 

Publication date: 29 June 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

evaluationlogic programsSLD resolutionSLS resolution

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (7)

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

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)