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, et al.
  出版: (1993)
• Complexity Results for Logic−Based Abduction
  由: Eiter, T, et al.
  出版: (1992)
• Complexity Results for Abductive Logic Programming
  由: Eiter, T, et al.
  出版: (1995)
• Hypergraph Transversal Computation and Related Problems in Logic and AI
  由: Eiter, T, et al.
  出版: (2002)
• The Complexity of Logic−Based Abduction
  由: Eiter, T, et al.
  出版: (1995)