Generalized Quantifiers in Logic Programs

Eitemau Tebyg

• Modular Logic Programming and Generalized Quantifiers
  gan: Eiter, T, et al.
  Cyhoeddwyd: (1997)
• Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
  gan: Eiter, T, et al.
  Cyhoeddwyd: (1993)
• On the Computational Cost of Disjunctive Logic Programming: Propositional Case
  gan: Eiter, T, et al.
  Cyhoeddwyd: (1995)
• On the Indiscernibility of Individuals in Logic Programming
  gan: Eiter, T, et al.
  Cyhoeddwyd: (1997)
• Disjunctive Logic Programming over Finite Structures
  gan: Eiter, T, et al.
  Cyhoeddwyd: (1994)