Reasoning About Prescription and Description Using Prioritized Default Rules

DOI10.29007/SWDNzbMATH Open1415.68217OpenAlexW2907525544MaRDI QIDQ5222955FDOQ5222955

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

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

zbMATH Keywords

deontic logicdefault logictableaux systemnonmonotonic proof calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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)