An Efficient Method for Eliminating Varying Predicates from a Circumscription

অনুরূপ উপাদানগুলি

• Complexity of Nested Circumscription and Abnormality Theories
  অনুযায়ী: Cadoli, M, অন্যান্য
  প্রকাশিত: (2001)
• Complexity of Nested Circumscription and Nested Abnormality Theories
  অনুযায়ী: Cadoli, M, অন্যান্য
  প্রকাশিত: (2002)
• Complexity of propositional nested circumscription and nested abnormality theories
  অনুযায়ী: Cadoli, M, অন্যান্য
  প্রকাশিত: (2005)
• Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete
  অনুযায়ী: Eiter, T, অন্যান্য
  প্রকাশিত: (1993)
• Default Logic as a Query Language
  অনুযায়ী: Cadoli, M, অন্যান্য
  প্রকাশিত: (1997)