Copertina

On Angels and Demons: Strategic (De)Construction of Dynamic Models

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Catta, Davide, Galimullin, Rustam, Mittelmann, Munyque
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science F.4.1; I.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
di: Galimullin, Rustam, et al.
Pubblicazione: (2026)

Formal Verification of Diffusion Auctions
di: Galimullin, Rustam, et al.
Pubblicazione: (2025)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
di: Galimullin, Rustam, et al.
Pubblicazione: (2025)

First-Order Coalition Logic
di: Catta, Davide, et al.
Pubblicazione: (2025)

Varieties of Distributed Knowledge
di: Galimullin, Rustam, et al.
Pubblicazione: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
di: Coniglio, M. E., et al.
Pubblicazione: (2026)

Locality in Residuated-Lattice Structures
di: Carr, James
Pubblicazione: (2025)

Modal Logics -- RNmatrices vs. Nmatrices
di: Coniglio, Marcelo E., et al.
Pubblicazione: (2024)

Robust Computation Tree Logic
di: Nayak, Satya Prakash, et al.
Pubblicazione: (2022)

A Coq-based Axiomatization of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

A Sequent Calculus for General Inductive Definitions
di: Eede, Robbe Van den, et al.
Pubblicazione: (2026)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
di: Mustafa, Daham, et al.
Pubblicazione: (2026)

Comparing State-Representations for DEL Model Checking
di: Behnke, Gregor, et al.
Pubblicazione: (2025)

Logic interpretations of ANN partition cells
di: Schmitt, Ingo
Pubblicazione: (2024)

On the Power and Limitations of Examples for Description Logic Concepts
di: Cate, Balder ten, et al.
Pubblicazione: (2024)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
di: Tsamoura, Efthymia, et al.
Pubblicazione: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
di: Jung, Jean Christoph, et al.
Pubblicazione: (2023)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions
di: Jaakkola, Reijo, et al.
Pubblicazione: (2024)

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
di: David, Robert, et al.
Pubblicazione: (2025)

Classification of Covering Spaces and Canonical Change of Basepoint
di: Wemmenhove, Jelle, et al.
Pubblicazione: (2024)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
di: Zhang, Liao, et al.
Pubblicazione: (2024)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
di: Arndt, Dörthe, et al.
Pubblicazione: (2025)

TPTP World Infrastructure for Non-classical Logics
di: Steen, Alexander, et al.
Pubblicazione: (2025)

Inquisitive Team Semantics of LTL
di: Bozzelli, Laura, et al.
Pubblicazione: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
di: Prebet, Enguerrand, et al.
Pubblicazione: (2026)

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

Uniform Substitution for Differential Refinement Logic
di: Prebet, Enguerrand, et al.
Pubblicazione: (2024)

Provably Correct Systems: Community, connections, and citations
di: Bowen, Jonathan P.
Pubblicazione: (2015)

Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
di: Mustafa, Daham, et al.
Pubblicazione: (2026)

Interpretable classifiers for tabular data via discretization and feature selection
di: Jaakkola, Reijo, et al.
Pubblicazione: (2024)

FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
di: Zhang, Xindi, et al.
Pubblicazione: (2025)

Ground Stratification for a Logic of Definitions with Induction
di: Guermond, Nathan, et al.
Pubblicazione: (2025)

A Graphical Interface for Category Theory Proofs in Coq
di: Chabassier, Luc
Pubblicazione: (2025)

Converting BPMN Diagrams to Privacy Calculus
di: Pitsiladis, Georgios V., et al.
Pubblicazione: (2024)

Implementing Dependent Type Theory Inhabitation and Unification
di: Norman, Chase, et al.
Pubblicazione: (2026)

Mechanized HOL Reasoning in Set Theory
di: Guilloud, Simon, et al.
Pubblicazione: (2024)

Incomplete Descriptions and Qualified Definiteness
di: Więckowski, Bartosz
Pubblicazione: (2024)

Term Orders for Optimistic Lambda-Superposition
di: Bentkamp, Alexander, et al.
Pubblicazione: (2025)

Metric Equational Theories
di: Mardare, Radu, et al.
Pubblicazione: (2025)

Canonical for Automated Theorem Proving in Lean
di: Norman, Chase, et al.
Pubblicazione: (2025)