Image de couverture de livre

Model Change for Description Logic Concepts

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ozaki, Ana, Ribeiro, Jandson S.
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Effective AGM Belief Contraction: A Journey beyond the Finitary Realm (Technical Report)
par: Klumpp, Dominik, et autres
Publié: (2024)

Semiring Provenance for Lightweight Description Logics
par: Bourgaux, Camille, et autres
Publié: (2023)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

Fuzzy Lattice-based Description Logic
par: Ding, Yiwen, et autres
Publié: (2025)

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

Robustness of Constraint Automata for Description Logics with Concrete Domains
par: Demri, Stéphane, et autres
Publié: (2026)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
par: Bourgaux, Camille, et autres
Publié: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
par: Zese, Riccardo, et autres
Publié: (2023)

A New Tractable Description Logic under Categorical Semantics
par: Duc, Chan Le, et autres
Publié: (2025)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
par: Di Stefano, Federica, et autres
Publié: (2025)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
par: Proost, Cas, et autres
Publié: (2026)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
par: Köhler, Dominik, et autres
Publié: (2024)

Data Complexity in Expressive Description Logics With Path Expressions
par: Bednarczyk, Bartosz
Publié: (2024)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
par: Marković, Đorđe, et autres
Publié: (2025)

Knowledge Base Embeddings: Semantics and Theoretical Properties
par: Bourgaux, Camille, et autres
Publié: (2024)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
par: Manière, Quentin, et autres
Publié: (2024)

Dual Box Embeddings for the Description Logic EL++
par: Jackermeier, Mathias, et autres
Publié: (2023)

Learning Concepts Definable in First-Order Logic with Counting
par: van Bergerem, Steffen
Publié: (2019)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
par: Wang, Ruolin, et autres
Publié: (2024)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
par: Meng, Qiaolan, et autres
Publié: (2025)

Large Language Models Imitate Logical Reasoning, but at what Cost?
par: McGinness, Lachlan, et autres
Publié: (2025)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
par: Khalil, Khurram, et autres
Publié: (2025)

Defeasible Reasoning on Concepts
par: Ding, Yiwen, et autres
Publié: (2024)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
par: Zang, Zhengqing, et autres
Publié: (2026)

A Logic of Uncertain Interpretation
par: Bjorndahl, Adam
Publié: (2025)

Metric Dynamic Equilibrium Logic
par: Becker, Arvid, et autres
Publié: (2024)

Logical foundations of Smart Contracts
par: Kalala, Kalonji
Publié: (2025)

On the Logical Content of Knowledge Bases
par: Gheorghiu, Alexader V., et autres
Publié: (2025)

Existential Notation3 Logic
par: Arndt, Dörthe, et autres
Publié: (2023)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
par: Liu, Yinhong, et autres
Publié: (2024)

Probabilistic Strategy Logic with Degrees of Observability
par: Mu, Chunyan, et autres
Publié: (2024)

Extending Defeasibility for Propositional Standpoint Logics
par: Leisegang, Nicholas, et autres
Publié: (2025)

Logical Characterizations of GNNs with Mean Aggregation
par: Schönherr, Moritz, et autres
Publié: (2025)

Deductive Systems for Logic Programs with Counting
par: Fandinno, Jorge, et autres
Publié: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
par: Gupta, Gopal, et autres
Publié: (2025)

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

Rational Inference in Formal Concept Analysis
par: Carr, Lucas, et autres
Publié: (2025)