Reasoning under minimal upper bounds in propositional logic

समान संसाधन

• Reasoning under minimal upper bounds in propositional logic
  द्वारा: Eiter, T, और अन्य
  प्रकाशित: (2006)
• On the Computational Cost of Disjunctive Logic Programming: Propositional Case
  द्वारा: Eiter, T, और अन्य
  प्रकाशित: (1995)
• Propositional Circumscription and Extended Closed−World Reasoning are IIp2−Complete
  द्वारा: Eiter, T, और अन्य
  प्रकाशित: (1993)
• Complexity of Propositional Knowledge Base Revision
  द्वारा: Eiter, T, और अन्य
  प्रकाशित: (1992)
• On the Complexity of Propositional Knowledge Base Revision‚ Updates‚ and Counterfactuals
  द्वारा: Eiter, T, और अन्य
  प्रकाशित: (1992)