Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete
Автори: | Eiter, T, Gottlob, G |
---|---|
Формат: | Journal article |
Опубліковано: |
1993
|
Схожі ресурси
Схожі ресурси
-
Complexity of propositional nested circumscription and nested abnormality theories
за авторством: Cadoli, M, та інші
Опубліковано: (2005) -
Complexity of Nested Circumscription and Abnormality Theories
за авторством: Cadoli, M, та інші
Опубліковано: (2001) -
Complexity of Nested Circumscription and Nested Abnormality Theories
за авторством: Cadoli, M, та інші
Опубліковано: (2002) -
Reasoning under minimal upper bounds in propositional logic
за авторством: Eiter, T, та інші
Опубліковано: (2006) -
Reasoning under minimal upper bounds in propositional logic
за авторством: Eiter, T, та інші
Опубліковано: (2006)