Reasoning About Prescription and Description Using Prioritized Default Rules

DOI10.29007/swdnzbMath1415.68217OpenAlexW2907525544MaRDI QIDQ5222955

Carlos Areces, Valentin Cassano, 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 logictableaux systemnonmonotonic proof calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

A tableaux calculus for default intuitionistic logic

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