Pages that link to "Item:Q1342221"
From MaRDI portal
The following pages link to Alternative approaches to default logic (Q1342221):
Displaying 13 items.
- On prediction in Theorist (Q685340) (← links)
- On the complexity of extension checking in default logic (Q844157) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Compiling specificity into approaches to nonmonotonic reasoning (Q1402752) (← links)
- Specifying causality in action theories: A default logic approach (Q1575839) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- The qualification problem: A solution to the problem of anomalous models (Q1606323) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- A new methodology for query answering in default logics via structure-oriented theorem proving (Q1896370) (← links)
- Connections between default reasoning and partial constraint satisfaction (Q1961815) (← links)
- A tableaux calculus for default intuitionistic logic (Q2305412) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Consistency defaults (Q2454638) (← links)
