Pages that link to "Item:Q1896370"
From MaRDI portal
The following pages link to A new methodology for query answering in default logics via structure-oriented theorem proving (Q1896370):
Displayed 5 items.
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Alternative approaches to default logic (Q1342221) (← links)
- Operational characterization of extensions in some logics for default reasoning (Q1364501) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)