Reasoning About Prescription and Description Using Prioritized Default Rules

DOI10.29007/SWDNMaRDI QIDQ5222955zbMATH OpenOpenAlexFDO

Authors Valentin Cassano, Carlos Areces, Pablo F. Castro

Publication date 4 July 2019

Published in EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.29007/swdn

zbMATH Keywords

default logicdeontic logicnonmonotonic proof calculustableaux system

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1222413
• KI 2004: Advances in Artificial Intelligence
• Preferential Description Logics
• Realizing Default Logic over Description Logic Knowledge Bases
• Reasoning about Typicality in Preferential Description Logics
• Prioritized logic programming and its application to commonsense reasoning
• scientific article; zbMATH DE number 517004
• Reconciling description logics and rules
• scientific article; zbMATH DE number 770147

Cited in

(2)

• A tableaux calculus for default intuitionistic logic
• \textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics

This page was built for publication: Reasoning About Prescription and Description Using Prioritized Default Rules

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