On partianl pseudo-stable models for logic programs

MaRDI QIDQ5457704zbMATH OpenFDO

Authors Victor Felea

Publication date 14 April 2008

zbMATH Keywords

modelspseudo-negationpseudo-stable semantics, multi-valued interpretations

Mathematics Subject Classification ID

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

Recommendations

• On stable-like semantics for logic programs
• Logic Programming and Nonmonotonic Reasoning
• Multi-valued stable semantics for logic programs
• Partial models and logic programming
• Multi-valued semantics for logic programs

Cited in

(6)

• Partial models and logic programming
• A Free Logic for Stable Models with Partial Intensional Functions
• Multi-valued stable semantics for logic programs
• On the existence of stable models of non-stratified logic programs
• On stable-like semantics for logic programs
• Logic Programming and Nonmonotonic Reasoning

This page was built for publication: On partianl pseudo-stable models for logic programs

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