Disjunctive Logic Programming over Finite Structures
Main Authors: | Eiter, T, Gottlob, G, Mannila, H |
---|---|
Format: | Conference item |
Published: |
1994
|
Similar Items
-
Disjunctive Datalog
by: Eiter, T, et al.
Published: (1997) -
Adding Disjunction to Datalog
by: Eiter, T, et al.
Published: (1994) -
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
by: Eiter, T, et al.
Published: (1993) -
On the Computational Cost of Disjunctive Logic Programming: Propositional Case
by: Eiter, T, et al.
Published: (1995) -
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
by: Eiter, T, et al.
Published: (1994)