Pages that link to "Item:Q3128528"
From MaRDI portal
The following pages link to Bottom-up computation of perfect models for disjunctive theories (Q3128528):
Displaying 4 items.
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Computing only minimal answers in disjunctive deductive databases (Q1040782) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
