The following pages link to (Q4375822):
Displaying 8 items.
- Reasoning with minimal models: efficient algorithms and applications (Q1127346) (← links)
- Circumscribing DATALOG: expressive power and complexity (Q1127538) (← links)
- Ordered model trees: A normal form for disjunctive deductive databases (Q1344891) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Indirect disjunctive belief rule base modeling using limited conjunctive rules: two possible means (Q2330024) (← links)
- On the expressive power of the relational algebra with partially ordered domains (Q4951743) (← links)
- (Q5475454) (← links)
- An extension to GCWA and query evaluation for disjunctive deductive databases (Q5957024) (← links)