Structured argumentation with prioritized conditional obligations and permissions

DOI10.1093/LOGCOM/EXY005zbMath1444.03026OpenAlexW2789384465MaRDI QIDQ5222685

Christian Straßer, Mathieu Beirlaen, Jesse Heyninck

Publication date: 10 July 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exy005

zbMATH Keywords

deontic logicnon-monotonic logicformal argumentationASPIC$^+$reasoning with prioritized information

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Related Items (2)

A probabilistic deontic argumentation framework ⋮ Tractable reasoning using logic programs with intensional concepts

This page was built for publication: Structured argumentation with prioritized conditional obligations and permissions