Pages that link to "Item:Q1356225"
From MaRDI portal
The following pages link to On stratified disjunctive programs (Q1356225):
Displaying 5 items.
- Negation by default and unstratifiable logic programs (Q753501) (← links)
- Semantics of Horn and disjunctive logic programs (Q1177928) (← links)
- Paraconsistent disjunctive deductive databases (Q1185011) (← links)
- Generalized disjunctive well-founded semantics for logic programs. (Q1354026) (← links)
- Stable classes and operator pairs for disjunctive programs (Q5101462) (← links)