Copertina

Disagree and Commit: Degrees of Argumentation-based Agreements

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kampik, Timotheus, Nieves, Juan Carlos
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Logic in Computer Science Multiagent Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
di: Kampik, Timotheus, et al.
Pubblicazione: (2025)

Strength Change Explanations in Quantitative Argumentation
di: Kampik, Timotheus, et al.
Pubblicazione: (2026)

Can Proof Assistants Verify Multi-Agent Systems?
di: Mendez, Julian Alfredo, et al.
Pubblicazione: (2025)

Hyper Strategy Logic
di: Beutner, Raven, et al.
Pubblicazione: (2024)

Monitoring Second-Order Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2024)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
di: Grobelna, Marta, et al.
Pubblicazione: (2025)

Strategy Logic, Imperfect Information, and Hyperproperties
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Generic-to-Specific Reasoning and Learning for Scalable Ad Hoc Teamwork
di: Dodampegama, Hasra, et al.
Pubblicazione: (2025)

An Epistemic Perspective on Agent Awareness
di: Naumov, Pavel, et al.
Pubblicazione: (2025)

Providing personalized Explanations: a Conversational Approach
di: Luo, Jieting, et al.
Pubblicazione: (2023)

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

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

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
di: Beutner, Raven, et al.
Pubblicazione: (2023)

Implementing Agents in JavaScript
di: Kampik, Timotheus
Pubblicazione: (2025)

AgentSimulator: An Agent-based Approach for Data-driven Business Process Simulation
di: Kirchdorfer, Lukas, et al.
Pubblicazione: (2024)

Preregistered Belief Revision Contracts
di: Alqithami, Saad
Pubblicazione: (2026)

Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles
di: Sartor, Galileo, et al.
Pubblicazione: (2025)

Safety, Liveness, and Fairness in Quantitative Argumentation Dialogues
di: Ganguly, Arunavo, et al.
Pubblicazione: (2026)

Logic-Driven Semantic Communication for Resilient Multi-Agent Systems
di: Alshammari, Tamara, et al.
Pubblicazione: (2026)

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

Agentic System with Modal Logic for Autonomous Diagnostics
di: Sulc, Antonin, et al.
Pubblicazione: (2025)

Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
di: Bjorndahl, Adam
Pubblicazione: (2025)

An Architecture for Spatial Networking
di: Millar, Josh, et al.
Pubblicazione: (2025)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
di: Shahid, Mahnoor, et al.
Pubblicazione: (2026)

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

Ensuring trustworthy and ethical behaviour in intelligent logical agents
di: Costantini, Stefania
Pubblicazione: (2024)

Logic of Awareness for Nested Knowledge
di: Kubono, Yudai
Pubblicazione: (2024)

A Model Checker for Natural Strategic Ability
di: Aruta, Marco, et al.
Pubblicazione: (2024)

Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
di: Gurov, Dilian, et al.
Pubblicazione: (2024)

Phase-Bounded Broadcast Networks over Topologies of Communication
di: Guillou, Lucie, et al.
Pubblicazione: (2024)

Opinion Update in a Subjective Logic Model for Social Networks
di: Alvim, Mário S., et al.
Pubblicazione: (2024)

Modelling Real-time Systems with Bigraphs
di: Albalwe, Maram, et al.
Pubblicazione: (2025)

Causality and Decision-making: A Logical Framework for Systems and Security Modelling
di: Chakraborty, Pinaki, et al.
Pubblicazione: (2025)

Towards Probabilistic Strategic Timed CTL
di: Jamroga, Wojciech, et al.
Pubblicazione: (2026)

On Qualitative Preference in Alternating-time Temporal Logic with Strategy Contexts
di: Guelev, Dimitar P.
Pubblicazione: (2025)

Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Arrow-Type Impossibility for Genuinely Modal Judgments
di: Nagai, Yutaka, et al.
Pubblicazione: (2026)

ATL*AS: An Automata-Theoretic Approach and Tool for the Verification of Strategic Abilities in Multi-Agent Systems
di: Garcia-Alcalde, Sofia Garcia de Blas, et al.
Pubblicazione: (2025)

Strategies in Sabotage Games: Temporal and Epistemic Perspectives
di: Gierasimczuk, Nina, et al.
Pubblicazione: (2026)

Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them
di: Jamroga, Wojciech, et al.
Pubblicazione: (2020)