The following pages link to (Q4501807):
Displayed 14 items.
- Minimal change: relevance and recovery revisited (Q490421) (← links)
- A structuralist theory of belief revision (Q548705) (← links)
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
- Learning to apply theory of mind (Q1006505) (← links)
- Modular semantics for theories: an approach to paraconsistent reasoning (Q1633217) (← links)
- Proving quantified literals in defeasible logic (Q1818760) (← links)
- Uniform semantic treatment of default and autoepistemic logics (Q1853682) (← links)
- More on representation theory for default logic (Q1854447) (← links)
- Judgment aggregation in nonmonotonic logic (Q1990001) (← links)
- Structured argumentation dynamics. Undermining attacks in default justification logic (Q2075383) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- A QBF-based formalization of abstract argumentation semantics (Q2446545) (← links)
- (Q5018505) (← links)
- A Logic Framework for P2P Deductive Databases (Q5108527) (← links)