Image de couverture de livre

Strength Change Explanations in Quantitative Argumentation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kampik, Timotheus, Yin, Xiang, Potyka, Nico, Toni, Francesca
Format:	Preprint
Publié:	2026
Sujets:	Multiagent Systems Artificial Intelligence Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

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

Can Proof Assistants Verify Multi-Agent Systems?
par: Mendez, Julian Alfredo, et autres
Publié: (2025)

Contestability in Quantitative Argumentation
par: Yin, Xiang, et autres
Publié: (2025)

Contribution Functions for Quantitative Bipolar Argumentation Graphs: A Principle-based Analysis
par: Kampik, Timotheus, et autres
Publié: (2024)

Providing personalized Explanations: a Conversational Approach
par: Luo, Jieting, et autres
Publié: (2023)

Safety, Liveness, and Fairness in Quantitative Argumentation Dialogues
par: Ganguly, Arunavo, et autres
Publié: (2026)

Applying Attribution Explanations in Truth-Discovery Quantitative Bipolar Argumentation Frameworks
par: Yin, Xiang, et autres
Publié: (2024)

CE-QArg: Counterfactual Explanations for Quantitative Bipolar Argumentation Frameworks (Technical Report)
par: Yin, Xiang, et autres
Publié: (2024)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
par: Metere, Alfredo
Publié: (2026)

Hyper Strategy Logic
par: Beutner, Raven, et autres
Publié: (2024)

Monitoring Second-Order Hyperproperties
par: Beutner, Raven, et autres
Publié: (2024)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
par: Grobelna, Marta, et autres
Publié: (2025)

Strategy Logic, Imperfect Information, and Hyperproperties
par: Beutner, Raven, et autres
Publié: (2025)

Generic-to-Specific Reasoning and Learning for Scalable Ad Hoc Teamwork
par: Dodampegama, Hasra, et autres
Publié: (2025)

An Epistemic Perspective on Agent Awareness
par: Naumov, Pavel, et autres
Publié: (2025)

Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
par: Léveillé, Dylan
Publié: (2025)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
par: Beutner, Raven, et autres
Publié: (2023)

Implementing Agents in JavaScript
par: Kampik, Timotheus
Publié: (2025)

Preregistered Belief Revision Contracts
par: Alqithami, Saad
Publié: (2026)

Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
par: Sartor, Galileo, et autres
Publié: (2025)

Explaining Arguments' Strength: Unveiling the Role of Attacks and Supports (Technical Report)
par: Yin, Xiang, et autres
Publié: (2024)

Logic-Driven Semantic Communication for Resilient Multi-Agent Systems
par: Alshammari, Tamara, et autres
Publié: (2026)

Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication
par: Xu, Jianfeng
Publié: (2026)

Agentic System with Modal Logic for Autonomous Diagnostics
par: Sulc, Antonin, et autres
Publié: (2025)

AgentSimulator: An Agent-based Approach for Data-driven Business Process Simulation
par: Kirchdorfer, Lukas, et autres
Publié: (2024)

Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
par: Bjorndahl, Adam
Publié: (2025)

An Architecture for Spatial Networking
par: Millar, Josh, et autres
Publié: (2025)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
par: Shahid, Mahnoor, et autres
Publié: (2026)

Towards Regulated Deep Learning
par: García-Camino, Andrés
Publié: (2019)

Ensuring trustworthy and ethical behaviour in intelligent logical agents
par: Costantini, Stefania
Publié: (2024)

Towards Probabilistic Strategic Timed CTL
par: Jamroga, Wojciech, et autres
Publié: (2026)

Arrow-Type Impossibility for Genuinely Modal Judgments
par: Nagai, Yutaka, et autres
Publié: (2026)

Strategies in Sabotage Games: Temporal and Epistemic Perspectives
par: Gierasimczuk, Nina, et autres
Publié: (2026)

Modal Logic for Distributed Trust
par: Voorneveld, Niels, et autres
Publié: (2026)

IMITATOR4AMAS: Strategy Synthesis for STCTL
par: Catta, Davide, et autres
Publié: (2026)

Verification of Robust Multi-Agent Systems
par: Berthon, Raphaël, et autres
Publié: (2026)

Argumentative Ensembling for Robust Recourse under Model Multiplicity
par: Jiang, Junqi, et autres
Publié: (2025)

Modelling Real-time Systems with Bigraphs
par: Albalwe, Maram, et autres
Publié: (2025)

Causality and Decision-making: A Logical Framework for Systems and Security Modelling
par: Chakraborty, Pinaki, et autres
Publié: (2025)