Pages that link to "Item:Q2276949"
From MaRDI portal
The following pages link to All I know: A study in autoepistemic logic (Q2276949):
Displaying 28 items.
- A logic-based model of intention formation and action for multi-agent subcontracting (Q2457680) (← links)
- Beliefs in conditionals vs. conditional beliefs (Q2460295) (← links)
- Temporal interaction of information and belief (Q2464646) (← links)
- Multi-modal nonmonotonic logics of minimal knowledge (Q2642626) (← links)
- Autoepistemic logic revisited (Q2675267) (← links)
- On embedding default logic into Moore's autoepistemic logic (Q2676564) (← links)
- A semantics for reasoning consistently in the presence of inconsistency (Q2676565) (← links)
- Reasoning About Justified Belief Based on the Fusion of Evidence (Q2835874) (← links)
- The Truth about Defaults (Q2900537) (← links)
- A Semantical Account of Progression in the Presence of Defaults (Q3637332) (← links)
- Conditionalization and total knowledge (Q3643315) (← links)
- Relating only knowing to minimal belief and negation as failure (Q4317909) (← links)
- A sound and complete proof theory for the generalized logic of only knowing (Q4421274) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Talkin'bout consistency, or: When logically possible becomes possible (Q4632294) (← links)
- Sequent calculi for default and autoepistemic logics (Q4645232) (← links)
- Plausible reasoning: a first-order approach (Q4896268) (← links)
- A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Q4988944) (← links)
- (Q5018514) (← links)
- (Q5018521) (← links)
- Trans-epistemic semantics for logic programs (Q5101464) (← links)
- On Well-Founded Set-Inductions and Locally Monotone Operators (Q5278197) (← links)
- (Q5740446) (← links)
- Nonmonotonic reasoning by inhibition nets (Q5941136) (← links)
- On the progression of belief (Q6136086) (← links)
- Base-based model checking for multi-agent only believing (Q6545555) (← links)
- Epistemic logics for relevant reasoners (Q6623818) (← links)
- Refining the semantics of epistemic specifications (Q6647309) (← links)
