Structured argumentation with prioritized conditional obligations and permissions

DOI10.1093/LOGCOM/EXY005MaRDI QIDQ5222685zbMATH OpenOpenAlexFDO

Authors Mathieu Beirlaen, Jesse Heyninck, Christian Straßer

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 logicformal argumentationnon-monotonic logicASPIC$^+$reasoning with prioritized information

Mathematics Subject Classification ID

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

Recommendations

• A structured argumentation framework for detaching conditional obligations
• A deontic argumentation framework towards doctrine reification
• Prioritized norms and defaults in formal argumentation
• An axiomatic analysis of structured argumentation with priorities
• A probabilistic deontic argumentation framework

Cited in

(6)

• A deontic argumentation framework towards doctrine reification
• Reasoning with rules and rights: term-modal deontic logic
• A probabilistic deontic argumentation framework
• scientific article; zbMATH DE number 6747901 (Why is no real title available?)
• A structured argumentation framework for detaching conditional obligations
• Tractable reasoning using logic programs with intensional concepts

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

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