Pages that link to "Item:Q1353944"
From MaRDI portal
The following pages link to Disjunctive \(LP+\) integrity constraints = stable model semantics. (Q1353944):
Displaying 11 items.
- Computing minimal models by partial instantiation (Q672131) (← links)
- Logic programming in tensor spaces (Q825007) (← links)
- FC-normal and extended stratified logic program (Q865986) (← links)
- Stable models and difference logic (Q1028651) (← 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)
- Approved Models for Normal Logic Programs (Q3498486) (← links)
- Answer set programming made easy (Q6175107) (← links)
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)