Complexity and Expressive Power of Disjunctive Logic Programming
Huvudupphovsman: | Gottlob, G |
---|---|
Materialtyp: | Conference item |
Publicerad: |
1994
|
Liknande verk
Liknande verk
-
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
av: Eiter, T, et al.
Publicerad: (1993) -
Causal Models of Disjunctive Logic Programs
av: Dix, J, et al.
Publicerad: (1994) -
Disjunctive Logic Programming over Finite Structures
av: Eiter, T, et al.
Publicerad: (1994) -
On the Computational Cost of Disjunctive Logic Programming: Propositional Case
av: Eiter, T, et al.
Publicerad: (1995) -
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
av: Eiter, T, et al.
Publicerad: (1994)