Image de couverture de livre

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Joyce, Johnny
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Logic in Computer Science Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
par: Cramer, Marcos, et autres
Publié: (2026)

Deontic Argumentation
par: Governatori, Guido, et autres
Publié: (2025)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
par: Arisaka, Ryuta
Publié: (2024)

ODRL Policy Comparison Through Normalisation
par: Salas, Jaime Osvaldo, et autres
Publié: (2026)

Constrained Assumption-Based Argumentation Frameworks
par: De Angelis, Emanuele, et autres
Publié: (2026)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
par: Andrews, Uri, et autres
Publié: (2025)

Splitting Argumentation Frameworks with Collective Attacks and Supports
par: Berthold, Matti, et autres
Publié: (2026)

Defeaters and Eliminative Argumentation in Assurance 2.0
par: Bloomfield, Robin, et autres
Publié: (2024)

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
par: Ben-Naim, Jonathan, et autres
Publié: (2024)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
par: Sevilla, Jaime, et autres
Publié: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
par: Xu, Yang, et autres
Publié: (2025)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
par: Bonanno, Giacomo
Publié: (2026)

Similarity-based analogical proportions
par: Antić, Christian
Publié: (2024)

Incremental Neural Network Verification via Learned Conflicts
par: Elsaleh, Raya, et autres
Publié: (2026)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
par: David, Victor, et autres
Publié: (2026)

Rejection in Abstract Argumentation: Harder Than Acceptance?
par: Fichte, Johannes K., et autres
Publié: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
par: Bienvenu, Meghyn, et autres
Publié: (2020)

Strength Change Explanations in Quantitative Argumentation
par: Kampik, Timotheus, et autres
Publié: (2026)

On Probabilistic and Causal Reasoning with Summation Operators
par: Ibeling, Duligur, et autres
Publié: (2024)

Defining implication relation for classical logic
par: Fu, Li
Publié: (2013)

Formally Verified Approximate Policy Iteration
par: Schäffeler, Maximilian, et autres
Publié: (2024)

Techniques for Measuring the Inferential Strength of Forgetting Policies
par: Doherty, Patrick, et autres
Publié: (2024)

Disagree and Commit: Degrees of Argumentation-based Agreements
par: Kampik, Timotheus, et autres
Publié: (2024)

HypRL: Reinforcement Learning of Control Policies for Hyperproperties
par: Hsu, Tzu-Han, et autres
Publié: (2025)

Best-Effort Policies for Robust Markov Decision Processes
par: Abate, Alessandro, et autres
Publié: (2025)

Representing Pedagogic Content Knowledge Through Rough Sets
par: Mani, A
Publié: (2024)

Follow the STARs: Dynamic $ω$-Regular Shielding of Learned Policies
par: Anand, Ashwani, et autres
Publié: (2025)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
par: Ceragioli, Lorenzo, et autres
Publié: (2024)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
par: Derkinderen, Vincent
Publié: (2024)

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking
par: Heck, Linus, et autres
Publié: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
par: Shea-Blymyer, Colin, et autres
Publié: (2024)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
par: Akshay, S., et autres
Publié: (2024)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
par: Kampik, Timotheus, et autres
Publié: (2025)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
par: De Angelis, Emanuele, et autres
Publié: (2024)

Dialectical Reconciliation via Structured Argumentative Dialogues
par: Vasileiou, Stylianos Loukas, et autres
Publié: (2023)