On stable-like semantics for logic programs

MaRDI QIDQ3634954zbMATH OpenFDO

Authors Victor Felea

Publication date 3 July 2009

zbMATH Keywords

interpretationlogic programsweakly stable semantics

Mathematics Subject Classification ID

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

Recommendations

• Multi-valued stable semantics for logic programs
• Multi-valued semantics for logic programs
• On partianl pseudo-stable models for logic programs
• scientific article; zbMATH DE number 25192
• On generalized well-founded models for logic programs

Cited in

(18)

• A note on the stable model semantics for logic programs
• Stability of weak second-order semantics
• Logic programs with stable model semantics as a constraint programming paradigm
• Characterizations of stable model semantics for logic programs with arbitrary constraint atoms
• Multi-valued stable semantics for logic programs
• scientific article; zbMATH DE number 25193 (Why is no real title available?)
• Stability and General Logics
• Expressiveness of stable model semantics for disjunctive logic programs with functions
• Stable-unstable semantics: Beyond NP with normal logic programs
• On the expressibility of stable logic programming
• Multi-valued semantics for logic programs
• On generalized well-founded models for logic programs
• Characterizations of the stable semantics by partial evaluation
• Logic Programs under Three-Valued Łukasiewicz Semantics
• scientific article; zbMATH DE number 5241979 (Why is no real title available?)
• On well-founded models for logic programs
• On partianl pseudo-stable models for logic programs
• A sound and complete semantics for a similarity-based logic programming language

This page was built for publication: On stable-like semantics for logic programs

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