A deontic logic reasoning infrastructure
DOI10.1007/978-3-319-94418-0_6OpenAlexW2810366090MaRDI QIDQ1670720FDOQ1670720
Christoph Benzmüller, Xavier Parent, Leendert van der Torre
Publication date: 6 September 2018
Full work available at URL: http://christoph-benzmueller.de/papers/C69.pdf
Recommendations
- Practical Normative Reasoning with Defeasible Deontic Logic
- Deontic logic for human reasoning
- Deontic logic and normative systems. 14th international conference, DEON 2018, Utrecht, Netherlands, July 3--6, 2018. Proceedings
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Normative reasoning and consequence
Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Higher-order logic (03B16) Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20)
Cited In (10)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Introducing Grades in Deontic Logics
- Preference-based deontic logic (PDL)
- Introducing Exclusion Logic as a Deontic Logic
- Deontic paradoxes in Mīmāṃsā logics: there and back again
- Title not available (Why is that?)
- A deontic logic analysis of autonomous systems' safety
- Deontic equilibrium logic with explicit negation
- Deontic action logic, atomic Boolean algebras and fault-tolerance
Uses Software
This page was built for publication: A deontic logic reasoning infrastructure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1670720)
