Stable classes and operator pairs for disjunctive programs
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 25192
- Paraconsistent Stable Semantics for Extended Disjunctive Programs
- On stratified disjunctive programs
- scientific article; zbMATH DE number 2090537
- Disjunctive Programs with Set Constraints
- scientific article; zbMATH DE number 1114458
- scientific article; zbMATH DE number 1420797
- An algorithm for disjunctive programs
- Stable and extension class theory for logic programs and default logics
- scientific article; zbMATH DE number 1114054
Cites work
- A fixpoint semantics for disjunctive logic programs
- Autoepistemic logic
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 25192 (Why is no real title available?)
- scientific article; zbMATH DE number 88998 (Why is no real title available?)
- Inferring negative information from disjunctive databases
- Semantical considerations on nonmonotonic logic
- Stable and extension class theory for logic programs and default logics
- The family of stable models
- The Semantics of Predicate Logic as a Programming Language
- The well-founded semantics for general logic programs
Cited in
(2)
This page was built for publication: Stable classes and operator pairs for disjunctive programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5101462)
