Image de couverture de livre

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Galimullin, Rustam, Grosinger, Hermine, Mittelmann, Munyque
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Multiagent Systems F.4.1; I.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
par: Galimullin, Rustam, et autres
Publié: (2025)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
par: Catta, Davide, et autres
Publié: (2026)

Formal Verification of Diffusion Auctions
par: Galimullin, Rustam, et autres
Publié: (2025)

Comparing State-Representations for DEL Model Checking
par: Behnke, Gregor, et autres
Publié: (2025)

Varieties of Distributed Knowledge
par: Galimullin, Rustam, et autres
Publié: (2025)

First-Order Coalition Logic
par: Catta, Davide, et autres
Publié: (2025)

Pramana: A Protocol-Layer Treatment of Claim Verification in Autonomous Agent Networks
par: Kadaboina, Ravi Kiran
Publié: (2026)

Locality in Residuated-Lattice Structures
par: Carr, James
Publié: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

Modal Logics -- RNmatrices vs. Nmatrices
par: Coniglio, Marcelo E., et autres
Publié: (2024)

Robust Computation Tree Logic
par: Nayak, Satya Prakash, et autres
Publié: (2022)

Agent Semantics, Semantic Spacetime, and Graphical Reasoning
par: Burgess, Mark
Publié: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
par: Barlatier, Patrick, et autres
Publié: (2025)

A Sequent Calculus for General Inductive Definitions
par: Eede, Robbe Van den, et autres
Publié: (2026)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
par: Mustafa, Daham, et autres
Publié: (2026)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
par: Tsamoura, Efthymia, et autres
Publié: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
par: Jung, Jean Christoph, et autres
Publié: (2023)

Inquisitive Team Semantics of LTL
par: Bozzelli, Laura, et autres
Publié: (2025)

Introducing The Maximum Common Bigraph Problem
par: Burns, Kyle, et autres
Publié: (2026)

Logic interpretations of ANN partition cells
par: Schmitt, Ingo
Publié: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
par: Cate, Balder ten, et autres
Publié: (2024)

Classification of Covering Spaces and Canonical Change of Basepoint
par: Wemmenhove, Jelle, et autres
Publié: (2024)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
par: David, Robert, et autres
Publié: (2025)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
par: Jaakkola, Reijo, et autres
Publié: (2024)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
par: Zhang, Liao, et autres
Publié: (2024)

Policy Cards: Machine-Readable Runtime Governance for Autonomous AI Agents
par: Mavračić, Juraj
Publié: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
par: Prebet, Enguerrand, et autres
Publié: (2026)

TPTP World Infrastructure for Non-classical Logics
par: Steen, Alexander, et autres
Publié: (2025)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
par: Arndt, Dörthe, et autres
Publié: (2025)

Agent Interpolation for Knowledge
par: Bílková, Marta, et autres
Publié: (2025)

Provably Correct Systems: Community, connections, and citations
par: Bowen, Jonathan P.
Publié: (2015)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
par: Waldinger, Richard
Publié: (2025)

Uniform Substitution for Differential Refinement Logic
par: Prebet, Enguerrand, et autres
Publié: (2024)

Argumentation and Machine Learning
par: Rago, Antonio, et autres
Publié: (2024)

Robust Verification of Concurrent Stochastic Games
par: He, Angel Y., et autres
Publié: (2026)

Model Checking of vGOAL
par: Yang, Yi, et autres
Publié: (2024)

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
par: Ceragioli, Leonardo, et autres
Publié: (2025)

Mechanized HOL Reasoning in Set Theory
par: Guilloud, Simon, et autres
Publié: (2024)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
par: Zhang, Xindi, et autres
Publié: (2025)

Encoding argumentation frameworks with set attackers to propositional logic systems
par: Tang, Shuai, et autres
Publié: (2025)