On generalized well-founded models for logic programs

MaRDI QIDQ4902254zbMATH OpenFDO

Authors Victor Felea

Publication date 14 January 2013

zbMATH Keywords

complete latticelogic programmodelmulti-valued interpretationwell-founded semantics

Mathematics Subject Classification ID

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

Recommendations

• On well-founded models for logic programs
• The well-founded semantics for general logic programs
• Generalized well-founded semantics for logic programs
• Multi-valued semantics for logic programs
• On stable-like semantics for logic programs

Cited in

(10)

• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• On stable-like semantics for logic programs
• Layer Supported Models of Logic Programs
• scientific article; zbMATH DE number 25193 (Why is no real title available?)
• The well-founded semantics for general logic programs
• An abstract machine for efficiently computing queries to well-founded models
• Abduction in well-founded semantics and generalized stable models via tabled dual programs
• Multi-valued semantics for logic programs
• On well-founded models for logic programs
• Generalized well-founded semantics for logic programs

This page was built for publication: On generalized 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 Q4902254)