Leendert van der Torre
- 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
- Abduction and Dialogical Proof in Argumentation and Logic Programming
2014/07/15 by Richard Booth, Dov M. Gabbay, Booth, Richard +7 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
- Ten Philosophical Problems in Deontic Logic
2007/01/01 by Jörg Hansen, Gabriella Pigozzi, Hansen, Jörg +3 · 2 citations
Computer Science · #Deontic logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #input/output logic #normative systems