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

Схожие документы

• 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)