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):
Displaying 11 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)
- Automated non-monotonic reasoning in System \textbf{P} (Q2043430) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- Skeptical query-answering in Constrained Default Logic (Q4632323) (← links)
- XRay: A prolog technology theorem prover for default reasoning: A system description (Q4647525) (← links)
- A query answering algorithm for Lukaszewicz' general open default theory (Q5236435) (← links)
- A system for computing constrained default logic extensions (Q5236437) (← links)
