On the Indiscernibility of Individuals in Logic Programming

類似資料

• Complexity Results for Abductive Logic Programming
  著者:: Eiter, T, 等
  出版事項: (1995)
• Abduction from Logic Programs: Semantics and Complexity
  著者:: 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)
• Generalized Quantifiers in Logic Programs
  著者:: Eiter, T, 等
  出版事項: (1997)