Skeptical query-answering in Constrained Default Logic
From MaRDI portal
Publication:4632323
DOI10.1007/3-540-61313-7_101zbMath1419.68132OpenAlexW1492128823MaRDI QIDQ4632323
Michael Thielscher, Torsten Schaub
Publication date: 29 April 2019
Published in: Practical Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61313-7_101
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× ⋮ An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On prediction in Theorist
- Compiling a default reasoning system into Prolog
- Semantical considerations on nonmonotonic logic
- A logical framework for default reasoning
- A logic for default reasoning
- Cumulative default logic: In defense of nonmonotonic inference rules
- Alternative approaches to default logic
- Default reasoning by deductive planning
- A new methodology for query answering in default logics via structure-oriented theorem proving
- Complexity Results for Nonmonotonic Logics
This page was built for publication: Skeptical query-answering in Constrained Default Logic
