The following pages link to (Q5551124):
Displayed 11 items.
- Pluralistic evaluation of belief plausibility and its application to nonmonotonic reasoning (Q913785) (← links)
- Non-monotonic logic. I (Q1140441) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- A logic for reasoning with inconsistent knowledge (Q1199925) (← links)
- Rational belief change, Popper functions and counterfactuals (Q1225869) (← links)
- The open logic and its relation to circumscription (Q1297717) (← links)
- An argumentation framework in default logic (Q1353850) (← links)
- Abstract argumentation systems (Q1402750) (← links)
- A procedural criterion for final derivability in inconsistency-adaptive logics (Q1775872) (← links)
- The theory of the process of explanation generalized to include the inconsistent case (Q2576384) (← links)
- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators (Q3600573) (← links)