Complexity and Expressive Power of Disjunctive Logic Programming
Autor principal: | Gottlob, G |
---|---|
Format: | Conference item |
Publicat: |
1994
|
Ítems similars
-
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
per: Eiter, T, et al.
Publicat: (1993) -
Causal Models of Disjunctive Logic Programs
per: Dix, J, et al.
Publicat: (1994) -
Disjunctive Logic Programming over Finite Structures
per: Eiter, T, et al.
Publicat: (1994) -
On the Computational Cost of Disjunctive Logic Programming: Propositional Case
per: Eiter, T, et al.
Publicat: (1995) -
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
per: Eiter, T, et al.
Publicat: (1994)