All pages tagged with Compulaw

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