The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic
Main Authors: | Eiter, T, Gottlob, G |
---|---|
Format: | Conference item |
Published: |
Springer
1997
|
Similar Items
-
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
by: Eiter, T, et al.
Published: (1993) -
Complexity Results for Logic−Based Abduction
by: Eiter, T, et al.
Published: (1992) -
Complexity Results for Abductive Logic Programming
by: Eiter, T, et al.
Published: (1995) -
Hypergraph Transversal Computation and Related Problems in Logic and AI
by: Eiter, T, et al.
Published: (2002) -
The Complexity of Logic−Based Abduction
by: Eiter, T, et al.
Published: (1995)