A simple fixed point characterization of three-valued stable model semantics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 4199656 (Why is no real title available?)
- scientific article; zbMATH DE number 4160107 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- A kripke-kleene semantics for logic programs*
- A lattice-theoretical fixpoint theorem and its applications
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning
- Negation in logic programming
- The Semantics of Predicate Logic as a Programming Language
- The well-founded semantics for general logic programs
Cited in
(6)- Two simple characterizations of well-founded semantics
- scientific article; zbMATH DE number 1884399 (Why is no real title available?)
- scientific article; zbMATH DE number 4160107 (Why is no real title available?)
- What is failure? An approach to constructive negation
- Properties of general semantic operators determined by logic-based systems
- scientific article; zbMATH DE number 3848592 (Why is no real title available?)
This page was built for publication: A simple fixed point characterization of three-valued stable model semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1183439)