Pages that link to "Item:Q1289107"
From MaRDI portal
The following pages link to An interpretation of default logic in minimal temporal epistemic logic (Q1289107):
Displaying 6 items.
- Logic programming as classical inference (Q898781) (← links)
- Temporalizing epistemic default logic (Q1289106) (← links)
- Minimal temporal epistemic logic (Q1815428) (← links)
- Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics (Q2814376) (← links)
- (Q4535114) (← links)
- Formal semantics of meta-level architectures: Dynamic control of reasoning (Q4785088) (← links)