The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic

Míreanna comhchosúla

• Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
  de réir: Eiter, T, et al.
  Foilsithe / Cruthaithe: (1993)
• Complexity Results for Logic−Based Abduction
  de réir: Eiter, T, et al.
  Foilsithe / Cruthaithe: (1992)
• Complexity Results for Abductive Logic Programming
  de réir: Eiter, T, et al.
  Foilsithe / Cruthaithe: (1995)
• Hypergraph Transversal Computation and Related Problems in Logic and AI
  de réir: Eiter, T, et al.
  Foilsithe / Cruthaithe: (2002)
• The Complexity of Logic−Based Abduction
  de réir: Eiter, T, et al.
  Foilsithe / Cruthaithe: (1995)