On the Computational Cost of Disjunctive Logic Programming: Propositional Case

Documenti analoghi

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