Complexity and Expressive Power of Disjunctive Logic Programming

Míreanna comhchosúla

• Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
  de réir: Eiter, T, et al.
  Foilsithe / Cruthaithe: (1993)
• Causal Models of Disjunctive Logic Programs
  de réir: Dix, J, et al.
  Foilsithe / Cruthaithe: (1994)
• Disjunctive Logic Programming over Finite Structures
  de réir: Eiter, T, et al.
  Foilsithe / Cruthaithe: (1994)
• On the Computational Cost of Disjunctive Logic Programming: Propositional Case
  de réir: Eiter, T, et al.
  Foilsithe / Cruthaithe: (1995)
• Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics
  de réir: Eiter, T, et al.
  Foilsithe / Cruthaithe: (1994)