On the Computational Cost of Disjunctive Logic Programming: Propositional Case

類似資料

• Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
  著者:: Eiter, T, 等
  出版事項: (1993)
• Disjunctive Logic Programming over Finite Structures
  著者:: Eiter, T, 等
  出版事項: (1994)
• Reasoning under minimal upper bounds in propositional logic
  著者:: Eiter, T, 等
  出版事項: (2006)
• Reasoning under minimal upper bounds in propositional logic
  著者:: Eiter, T, 等
  出版事項: (2006)
• Complexity and Expressive Power of Disjunctive Logic Programming
  著者:: Gottlob, G
  出版事項: (1994)