Project CompuLaw
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies Efficient compliance checking of RDF data Multi-Agent Cooperative Argumentation in Arg2P Burden of Persuasion: A Meta-argumentation Approach Modular logic argumentation in Arg-tuProlog Burden of Persuasion in Meta-argumentation Probabilistic logic programming in 2P-Kt Arg2P: An argumentation framework for explainable intelligent systems How to model contrary-to-duty with GCP-nets Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review Towards cooperative argumentation for MAS: An actor-based approach Argumentation and Defeasible Reasoning in the Law 2P-Kt: A Logic-Based Ecosystem for Symbolic AI Explainability through argumentation in logic programming A Mechanism for Reasoning over Defeasible Preferences in Arg2P The Burden of Persuasion in Structured Argumentation Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming Burdens of Persuasion and Standards of Proof in Structured Argumentation Argumentation and Logic Programming for Explainable and Ethical AI Arg-tuProlog: A tuProlog-based argumentation framework 2P-Kt: logic programming with objects & functions in Kotlin A Model for the Burden of Persuasion in Argumentation Burden of Persuasion in Argumentation Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives Computable Law as Argumentation-based MAS Arg-tuProlog: a modular logic argumentation tool for PIL
