On the Computational Cost of Disjunctive Logic Programming: Propositional Case

Slični predmeti

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