Copertina

Preregistered Belief Revision Contracts

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Alqithami, Saad
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence Computation and Language Logic in Computer Science Multiagent Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
di: Kampik, Timotheus, 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)

Disagree and Commit: Degrees of Argumentation-based Agreements
di: Kampik, Timotheus, et al.
Pubblicazione: (2024)

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

Autonomous Agents on Blockchains: Standards, Execution Models, and Trust Boundaries
di: Alqithami, Saad
Pubblicazione: (2026)

Adaptive Accountability in Networked MAS: Tracing and Mitigating Emergent Norms at Scale
di: Alqithami, Saad
Pubblicazione: (2025)

CH-MARL: Constrained Hierarchical Multiagent Reinforcement Learning for Sustainable Maritime Logistics
di: Alqithami, Saad
Pubblicazione: (2025)

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

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
di: Guillou, Lucie, et al.
Pubblicazione: (2024)

DC-Ada: Reward-Only Decentralized Sensor Adaptation for Heterogeneous Multi-Robot Teams
di: Alqithami, Saad
Pubblicazione: (2026)

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
di: Shapiro, Ehud
Pubblicazione: (2026)

Soft Tournament Equilibrium
di: Alqithami, Saad
Pubblicazione: (2026)

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

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)

To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
di: Seidel, Anjo, et al.
Pubblicazione: (2025)

EcoFair-CH-MARL: Scalable Constrained Hierarchical Multi-Agent RL with Real-Time Emission Budgets and Fairness Guarantees
di: Alqithami, Saad
Pubblicazione: (2026)

The Observer-Situation Lattice: A Unified Formal Basis for Perspective-Aware Cognition
di: Alqithami, Saad
Pubblicazione: (2026)

Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
di: Baltag, Alexandru, et al.
Pubblicazione: (2025)

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

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

Hierarchical Adversarially-Resilient Multi-Agent Reinforcement Learning for Cyber-Physical Systems Security
di: Alqithami, Saad
Pubblicazione: (2025)

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

Lying with Truths: Open-Channel Multi-Agent Collusion for Belief Manipulation via Generative Montage
di: Hu, Jinwei, et al.
Pubblicazione: (2026)

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

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

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

Modal Logic for Distributed Trust
di: Voorneveld, Niels, et al.
Pubblicazione: (2026)