On well-founded models for logic programs

MaRDI QIDQ5457692zbMATH OpenFDO

Authors Victor Felea

Publication date 14 April 2008

zbMATH Keywords

lattice \(L\)-modellogic programsweak \(L\)-model

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• On generalized well-founded models for logic programs
• The well-founded semantics for general logic programs
• Multi-valued semantics for logic programs
• A kripke-kleene semantics for logic programs*
• On stable-like semantics for logic programs

Cited in

(10)

• Hyperequivalence of logic programs with respect to supported models
• Model reconciliation in logic programs
• scientific article; zbMATH DE number 1678380 (Why is no real title available?)
• COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES
• Layer Supported Models of Logic Programs
• scientific article; zbMATH DE number 25193 (Why is no real title available?)
• An abstract machine for efficiently computing queries to well-founded models
• Multi-valued semantics for logic programs
• On generalized well-founded models for logic programs
• Mathematical Foundations of Computer Science 2004

This page was built for publication: On well-founded models for logic programs

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