Expressing Default Logic Variants in Default Logic

DOI10.1093/LOGCOM/EXI021MaRDI QIDQ3374095zbMATH OpenOpenAlexFDO

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

default logicknowledge representationnonmonotonic reasoning

Mathematics Subject Classification ID

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

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

(20)

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

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)