Buchumschlag

Robustness of Constraint Automata for Description Logics with Concrete Domains

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Demri, Stéphane, Gu, Tianwen
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
von: Demri, Stephane, et al.
Veröffentlicht: (2023)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Computational Complexity of Standpoint LTL
von: Demri, Stéphane, et al.
Veröffentlicht: (2024)

Model Change for Description Logic Concepts
von: Ozaki, Ana, et al.
Veröffentlicht: (2026)

Fuzzy Lattice-based Description Logic
von: Ding, Yiwen, et al.
Veröffentlicht: (2025)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
von: Bednarczyk, Bartosz
Veröffentlicht: (2023)

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

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
von: Bourgaux, Camille, et al.
Veröffentlicht: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
von: Zese, Riccardo, et al.
Veröffentlicht: (2023)

A New Tractable Description Logic under Categorical Semantics
von: Duc, Chan Le, et al.
Veröffentlicht: (2025)

Semiring Provenance for Lightweight Description Logics
von: Bourgaux, Camille, et al.
Veröffentlicht: (2023)

Integrating Belief Domains into Probabilistic Logic Programs
von: Azzolini, Damiano, et al.
Veröffentlicht: (2025)

On the Logical Content of Knowledge Bases
von: Gheorghiu, Alexader V., et al.
Veröffentlicht: (2025)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
von: Proost, Cas, et al.
Veröffentlicht: (2026)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
von: Köhler, Dominik, et al.
Veröffentlicht: (2024)

Data Complexity in Expressive Description Logics With Path Expressions
von: Bednarczyk, Bartosz
Veröffentlicht: (2024)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)
von: Baader, Franz, et al.
Veröffentlicht: (2025)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
von: Spaans, Jeroen, et al.
Veröffentlicht: (2025)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
von: Di Stefano, Federica, et al.
Veröffentlicht: (2025)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
von: Manière, Quentin, et al.
Veröffentlicht: (2024)

Dual Box Embeddings for the Description Logic EL++
von: Jackermeier, Mathias, et al.
Veröffentlicht: (2023)

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

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

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
von: Zang, Zhengqing, et al.
Veröffentlicht: (2026)

Multitask Kernel-based Learning with First-Order Logic Constraints
von: Diligenti, Michelangelo, et al.
Veröffentlicht: (2023)

A Logic of Uncertain Interpretation
von: Bjorndahl, Adam
Veröffentlicht: (2025)

Metric Dynamic Equilibrium Logic
von: Becker, Arvid, et al.
Veröffentlicht: (2024)

Logical foundations of Smart Contracts
von: Kalala, Kalonji
Veröffentlicht: (2025)

Existential Notation3 Logic
von: Arndt, Dörthe, et al.
Veröffentlicht: (2023)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
von: Balakrishnan, Anand, et al.
Veröffentlicht: (2022)

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

Information Physics of Intelligence: Unifying Logical Depth and Entropy under Thermodynamic Constraints
von: Xu, Jianfeng, et al.
Veröffentlicht: (2025)

Probabilistic Strategy Logic with Degrees of Observability
von: Mu, Chunyan, et al.
Veröffentlicht: (2024)

Extending Defeasibility for Propositional Standpoint Logics
von: Leisegang, Nicholas, et al.
Veröffentlicht: (2025)

Logical Characterizations of GNNs with Mean Aggregation
von: Schönherr, Moritz, et al.
Veröffentlicht: (2025)

Deductive Systems for Logic Programs with Counting
von: Fandinno, Jorge, et al.
Veröffentlicht: (2025)

On the Trap Space Semantics of Normal Logic Programs
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2026)

Logic Synthesis with Generative Deep Neural Networks
von: Li, Xihan, et al.
Veröffentlicht: (2024)

Categorical Construction of Logically Verifiable Neural Architectures
von: Nye, Logan
Veröffentlicht: (2025)