The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic
المؤلفون الرئيسيون: | Eiter, T, Gottlob, G |
---|---|
التنسيق: | Conference item |
منشور في: |
Springer
1997
|
مواد مشابهة
-
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
حسب: Eiter, T, وآخرون
منشور في: (1993) -
Complexity Results for Logic−Based Abduction
حسب: Eiter, T, وآخرون
منشور في: (1992) -
Complexity Results for Abductive Logic Programming
حسب: Eiter, T, وآخرون
منشور في: (1995) -
Hypergraph Transversal Computation and Related Problems in Logic and AI
حسب: Eiter, T, وآخرون
منشور في: (2002) -
The Complexity of Logic−Based Abduction
حسب: Eiter, T, وآخرون
منشور في: (1995)