Pages that link to "Item:Q4352541"
From MaRDI portal
The following pages link to Model generation and state generation for disjunctive logic programs (Q4352541):
Displaying 5 items.
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- DiMo -- discrete modelling using propositional logic (Q2118304) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424876) (← links)
- A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases (Q5445305) (← links)