On the Computational Cost of Disjunctive Logic Programming: Propositional Case
Главные авторы: | Eiter, T, Gottlob, G |
---|---|
Формат: | Journal article |
Опубликовано: |
1995
|
Схожие документы
-
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
по: Eiter, T, и др.
Опубликовано: (1993) -
Disjunctive Logic Programming over Finite Structures
по: Eiter, T, и др.
Опубликовано: (1994) -
Reasoning under minimal upper bounds in propositional logic
по: Eiter, T, и др.
Опубликовано: (2006) -
Reasoning under minimal upper bounds in propositional logic
по: Eiter, T, и др.
Опубликовано: (2006) -
Complexity and Expressive Power of Disjunctive Logic Programming
по: Gottlob, G
Опубликовано: (1994)