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

Slični predmeti

• Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
  od: Eiter, T, i dr.
  Izdano: (1993)
• Complexity Results for Logic−Based Abduction
  od: Eiter, T, i dr.
  Izdano: (1992)
• Complexity Results for Abductive Logic Programming
  od: Eiter, T, i dr.
  Izdano: (1995)
• Hypergraph Transversal Computation and Related Problems in Logic and AI
  od: Eiter, T, i dr.
  Izdano: (2002)
• The Complexity of Logic−Based Abduction
  od: Eiter, T, i dr.
  Izdano: (1995)