Imagen de Portada

Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Sulc, Antonin
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
por: Sulc, Antonin
Publicado: (2026)

Modal Logical Neural Networks
por: Sulc, Antonin
Publicado: (2025)

A Straightforward Pipeline for Targeted Entailment and Contradiction Detection
por: Sulc, Antonin
Publicado: (2025)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
por: Howlader, Prosenjit, et al.
Publicado: (2025)

Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds
por: Nepvou, Alexandre Le
Publicado: (2025)

Differentiable Inductive Logic Programming in High-Dimensional Space
por: Purgał, Stanisław J., et al.
Publicado: (2022)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

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

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
por: Gupta, Gopal, et al.
Publicado: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
por: Schön, Oliver, et al.
Publicado: (2026)

Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping
por: Liu, Chanjuan, et al.
Publicado: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
por: Bednarczyk, Bartosz
Publicado: (2023)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
por: Damera, Sai Sandeep, et al.
Publicado: (2026)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
por: Johnson, Blair, et al.
Publicado: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

A Logic of Uncertain Interpretation
por: Bjorndahl, Adam
Publicado: (2025)

Metric Dynamic Equilibrium Logic
por: Becker, Arvid, et al.
Publicado: (2024)

Logical foundations of Smart Contracts
por: Kalala, Kalonji
Publicado: (2025)

On the Logical Content of Knowledge Bases
por: Gheorghiu, Alexader V., et al.
Publicado: (2025)

Existential Notation3 Logic
por: Arndt, Dörthe, et al.
Publicado: (2023)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
por: Wang, Ruolin, et al.
Publicado: (2024)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
por: David, Victor, et al.
Publicado: (2026)

Model Change for Description Logic Concepts
por: Ozaki, Ana, et al.
Publicado: (2026)

Probabilistic Strategy Logic with Degrees of Observability
por: Mu, Chunyan, et al.
Publicado: (2024)

Extending Defeasibility for Propositional Standpoint Logics
por: Leisegang, Nicholas, et al.
Publicado: (2025)

Logical Characterizations of GNNs with Mean Aggregation
por: Schönherr, Moritz, et al.
Publicado: (2025)

Deductive Systems for Logic Programs with Counting
por: Fandinno, Jorge, et al.
Publicado: (2025)

Fuzzy Lattice-based Description Logic
por: Ding, Yiwen, et al.
Publicado: (2025)

Natural Strategic Ability in Stochastic Multi-Agent Systems
por: Berthon, Raphaël, et al.
Publicado: (2024)

On the Trap Space Semantics of Normal Logic Programs
por: Trinh, Van-Giang, et al.
Publicado: (2026)

Logic Synthesis with Generative Deep Neural Networks
por: Li, Xihan, et al.
Publicado: (2024)

Integrating Belief Domains into Probabilistic Logic Programs
por: Azzolini, Damiano, et al.
Publicado: (2025)

Categorical Construction of Logically Verifiable Neural Architectures
por: Nye, Logan
Publicado: (2025)

Robustness of Constraint Automata for Description Logics with Concrete Domains
por: Demri, Stéphane, et al.
Publicado: (2026)

Dsat: A Native SAT Solver for Discrete Logic
por: Zhang, Yaofang, et al.
Publicado: (2026)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
por: Sharifi, Iman, et al.
Publicado: (2026)

Static Analysis of Logic Programs via Boolean Networks
por: Trinh, Van-Giang, et al.
Publicado: (2024)