On the Computational Cost of Disjunctive Logic Programming: Propositional Case
Main Authors: | Eiter, T, Gottlob, G |
---|---|
Formato: | Journal article |
Publicado: |
1995
|
Títulos similares
-
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
por: Eiter, T, et al.
Publicado: (1993) -
Disjunctive Logic Programming over Finite Structures
por: Eiter, T, et al.
Publicado: (1994) -
Reasoning under minimal upper bounds in propositional logic
por: Eiter, T, et al.
Publicado: (2006) -
Reasoning under minimal upper bounds in propositional logic
por: Eiter, T, et al.
Publicado: (2006) -
Complexity and Expressive Power of Disjunctive Logic Programming
por: Gottlob, G
Publicado: (1994)