The following pages link to (Q4314597):
Displayed 6 items.
- On the decidability and complexity of reasoning about only knowing (Q1978243) (← links)
- \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions (Q2029709) (← links)
- On embedding default logic into Moore's autoepistemic logic (Q2676564) (← links)
- A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Q4988944) (← links)
- (Q5018510) (← links)
- On the progression of belief (Q6136086) (← links)