Expressing Default Logic Variants in Default Logic

DOI10.1093/LOGCOM/EXI021zbMATH Open1091.03010OpenAlexW2100078804MaRDI QIDQ3374095FDOQ3374095

Authors 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

zbMATH Keywords

nonmonotonic reasoningknowledge representationdefault logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• On the relation between Reiter's default logic and its (major) variants
• scientific article; zbMATH DE number 2086059
• Alternative approaches to default logic
• On the relation between default and autoepistemic logic
• A comparative survey of default logic variants

Cited in

(17)

• scientific article; zbMATH DE number 2086059 (Why is no real title available?)
• Constraints for input/output logics
• Studying properties of classes of default logics
• scientific article; zbMATH DE number 1754688 (Why is no real title available?)
• On the relation between Reiter's default logic and its (major) variants
• Default logic about assertions
• Evaluating the effect of semi-normality on the expressiveness of defaults
• Results on translating defaults to circumscription
• Bijective faithful translations among default logics
• Reasoning credulously and skeptically within a single extension
• Redundancy in logic. III: Non-monotonic reasoning
• Defaults as restrictions on classical Hilbert-style proofs
• Uncontroversial Default Logic
• Alternative approaches to default logic
• Representability in Default Logic
• scientific article; zbMATH DE number 7453127 (Why is no real title available?)
• A comparative survey of default logic variants

Describes a project that uses

Uses Software

• Smodels
• CCalc

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)