On the Computational Cost of Disjunctive Logic Programming: Propositional Case

Eitemau Tebyg

• Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
  gan: Eiter, T, et al.
  Cyhoeddwyd: (1993)
• Disjunctive Logic Programming over Finite Structures
  gan: Eiter, T, et al.
  Cyhoeddwyd: (1994)
• Reasoning under minimal upper bounds in propositional logic
  gan: Eiter, T, et al.
  Cyhoeddwyd: (2006)
• Reasoning under minimal upper bounds in propositional logic
  gan: Eiter, T, et al.
  Cyhoeddwyd: (2006)
• Complexity and Expressive Power of Disjunctive Logic Programming
  gan: Gottlob, G
  Cyhoeddwyd: (1994)