Expressing Default Logic Variants in Default Logic
From MaRDI portal
Publication:3374095
DOI10.1093/LOGCOM/EXI021zbMATH Open1091.03010OpenAlexW2100078804MaRDI QIDQ3374095FDOQ3374095
James Delgrande, Torsten Schaub
Publication date: 9 March 2006
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exi021
Recommendations
Other nonclassical logic (03B60) Knowledge representation (68T30) Logic in artificial intelligence (68T27)
Cited In (16)
- Results on translating defaults to circumscription
- Studying properties of classes of default logics
- Reasoning credulously and skeptically within a single extension
- Defaults as restrictions on classical Hilbert-style proofs
- Alternative approaches to default logic
- Representability in Default Logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Uncontroversial Default Logic
- Constraints for input/output logics
- A comparative survey of default logic variants
- Default logic about assertions
- Title not available (Why is that?)
- On the relation between Reiter's default logic and its (major) variants
- Redundancy in logic. III: Non-monotonic reasoning
- Evaluating the effect of semi-normality on the expressiveness of defaults
Uses Software
This page was built for publication: Expressing Default Logic Variants in Default Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3374095)