Generalized Quantifiers in Logic Programs

Схожие документы

• Modular Logic Programming and Generalized Quantifiers
  по: Eiter, T, и др.
  Опубликовано: (1997)
• Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics
  по: Eiter, T, и др.
  Опубликовано: (1993)
• On the Computational Cost of Disjunctive Logic Programming: Propositional Case
  по: Eiter, T, и др.
  Опубликовано: (1995)
• On the Indiscernibility of Individuals in Logic Programming
  по: Eiter, T, и др.
  Опубликовано: (1997)
• Disjunctive Logic Programming over Finite Structures
  по: Eiter, T, и др.
  Опубликовано: (1994)