Skeptical rational extensions

DOI10.1007/3-540-59487-6_19MaRDI QIDQ5101455zbMATH OpenOpenAlexFDO

Authors Artur Mikitiuk, Mirosław Truszczyński

Publication date 30 August 2022

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59487-6_19

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A directly cautious theory of defeasible consequence for default logic via the notion of general extension
• scientific article; zbMATH DE number 97791
• A sequent calculus for skeptical Default Logic
• Tableau-based characterization and theorem proving for default logic
• On extensions of general default theories

Cites work

• A logic for default reasoning
• Complexity Results for Nonmonotonic Logics
• Cumulative default logic: In defense of nonmonotonic inference rules
• scientific article; zbMATH DE number 4166904 (Why is no real title available?)
• scientific article; zbMATH DE number 44622 (Why is no real title available?)
• scientific article; zbMATH DE number 140388 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• scientific article; zbMATH DE number 194964 (Why is no real title available?)

Cited in

(10)

• Logic knowledge bases with two default rules
• A tableaux calculus for default intuitionistic logic
• scientific article; zbMATH DE number 4166928 (Why is no real title available?)
• scientific article; zbMATH DE number 140420 (Why is no real title available?)
• Reasoning credulously and skeptically within a single extension
• A comparative survey of default logic variants
• scientific article; zbMATH DE number 1844500 (Why is no real title available?)
• Semi-representability of default theories in rational default logic
• A system for computing constrained default logic extensions
• A sequent calculus for skeptical reasoning in predicate default logic (extended abstract)

This page was built for publication: Skeptical rational extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5101455)