Pages that link to "Item:Q1353944"
From MaRDI portal
The following pages link to Disjunctive \(LP+\) integrity constraints = stable model semantics. (Q1353944):
Displayed 5 items.
- Computing minimal models by partial instantiation (Q672131) (← links)
- Ordered model trees: A normal form for disjunctive deductive databases (Q1344891) (← links)
- An alternative approach to the semantics of disjunctive logic programs and deductive databases (Q1344892) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Jack Minker --- A profile (Q1924718) (← links)