The following pages link to Theory-Contraction is NP-Complete (Q4465167):
Displayed 4 items.
- Contracting intuitionistic theories (Q813088) (← links)
- Preference-based belief revision for rule-based agents (Q1024129) (← links)
- New foundations for a relational theory of theory-revision (Q2499309) (← links)
- BELIEF-REVISION, THE RAMSEY TEST, MONOTONICITY, AND THE SO-CALLED IMPOSSIBILITY RESULTS (Q3580679) (← links)