Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support

2020/06/12 by Christoph Benzmüller, Xavier Parent, Leendert van der Torre · 4 citations
Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies

paper · doi:10.1016/j.artint.2020.103348

Citations

• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Cited by

• First-Order Modal Logic in HOL: Deep and Shallow Embeddings with Automated Faithfulness (Extended Preprint)
• TPTP World Infrastructure for Non-classical Logics
• LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset). [europepmc]
• How to Formalize Different Types of Norms in Multi-agent Systems: A Methodology Focused on the T-Norm Model. [europepmc]