A new methodology for query answering in default logics via structure-oriented theorem proving
From MaRDI portal
Publication:1896370
DOI10.1007/BF00881832zbMath0842.68075MaRDI QIDQ1896370
Publication date: 14 July 1996
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
Alternative approaches to default logic ⋮ Default reasoning by deductive planning ⋮ Operational characterization of extensions in some logics for default reasoning ⋮ A sequent calculus for skeptical Default Logic ⋮ Skeptical query-answering in Constrained Default Logic ⋮ XRay: A prolog technology theorem prover for default reasoning: A system description ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ A query answering algorithm for Lukaszewicz' general open default theory ⋮ A system for computing constrained default logic extensions ⋮ Alternative foundations for Reiter's default logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantical considerations on nonmonotonic logic
- A theory of diagnosis from first principles
- On the relation between default and autoepistemic logic
- A logic for default reasoning
- Cumulative default logic: In defense of nonmonotonic inference rules
- SETHEO: A high-performance theorem prover
- Alternative approaches to default logic
- Default reasoning by deductive planning
- Complexity Results for Nonmonotonic Logics
- A survey of complexity results for non-monotonic logics
This page was built for publication: A new methodology for query answering in default logics via structure-oriented theorem proving
