Pages that link to "Item:Q1896366"
From MaRDI portal
The following pages link to Default reasoning by deductive planning (Q1896366):
Displaying 4 items.
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- A new methodology for query answering in default logics via structure-oriented theorem proving (Q1896370) (← links)
- Skeptical query-answering in Constrained Default Logic (Q4632323) (← links)
- XRay: A prolog technology theorem prover for default reasoning: A system description (Q4647525) (← links)
