The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic
Huvudupphovsmän: | Eiter, T, Gottlob, G |
---|---|
Materialtyp: | Conference item |
Publicerad: |
Springer
1997
|
Liknande verk
Liknande verk
-
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
av: Eiter, T, et al.
Publicerad: (1993) -
Complexity Results for Logic−Based Abduction
av: Eiter, T, et al.
Publicerad: (1992) -
Complexity Results for Abductive Logic Programming
av: Eiter, T, et al.
Publicerad: (1995) -
Hypergraph Transversal Computation and Related Problems in Logic and AI
av: Eiter, T, et al.
Publicerad: (2002) -
The Complexity of Logic−Based Abduction
av: Eiter, T, et al.
Publicerad: (1995)