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)