Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete

समान संसाधन

• Complexity of propositional nested circumscription and nested abnormality theories
  द्वारा: Cadoli, M, और अन्य
  प्रकाशित: (2005)
• Complexity of Nested Circumscription and Abnormality Theories
  द्वारा: Cadoli, M, और अन्य
  प्रकाशित: (2001)
• Complexity of Nested Circumscription and Nested Abnormality Theories
  द्वारा: Cadoli, M, और अन्य
  प्रकाशित: (2002)
• Reasoning under minimal upper bounds in propositional logic
  द्वारा: Eiter, T, और अन्य
  प्रकाशित: (2006)
• Reasoning under minimal upper bounds in propositional logic
  द्वारा: Eiter, T, और अन्य
  प्रकाशित: (2006)