Expressing Default Logic Variants in Default Logic

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

• 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

zbMATH Keywords

nonmonotonic reasoningknowledge representationdefault logic

Mathematics Subject Classification ID

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

• 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)