Pages that link to "Item:Q4352541"
From MaRDI portal
The following pages link to Model generation and state generation for disjunctive logic programs (Q4352541):
Displayed 3 items.
- 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)
- A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases (Q5445305) (← links)