Complexity of Nested Circumscription and Abnormality Theories

Những quyển sách tương tự

• Complexity of Nested Circumscription and Nested Abnormality Theories
  Bằng: Cadoli, M, et al.
  Được phát hành: (2002)
• Complexity of propositional nested circumscription and nested abnormality theories
  Bằng: Cadoli, M, et al.
  Được phát hành: (2005)
• An Efficient Method for Eliminating Varying Predicates from a Circumscription
  Bằng: Cadoli, M, et al.
  Được phát hành: (1992)
• Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete
  Bằng: Eiter, T, et al.
  Được phát hành: (1993)
• The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions
  Bằng: Eiter, T, et al.
  Được phát hành: (1993)