:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Funk, Maurice, Jung, Jean Christoph, Voellmer, Tom
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2605.07452
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SAT-Based Bounded Fitting for the Description Logic ALC
by: Funk, Maurice, et al.
Published: (2025)

Fitting Description Logic Ontologies to ABox and Query Examples
by: Funk, Maurice, et al.
Published: (2025)

Towards Understanding the Expressive Power of GNNs with Global Readout
by: Funk, Maurice, et al.
Published: (2026)

Expressive Power of Graph Transformers via Logic
by: Ahvonen, Veeti, et al.
Published: (2025)

IID Relaxation by Logical Expressivity: A Research Agenda for Fitting Logics to Neurosymbolic Requirements
by: Stol, Maarten C., et al.
Published: (2024)

Data Complexity in Expressive Description Logics With Path Expressions
by: Bednarczyk, Bartosz
Published: (2024)

Expressive Power of Deep Homomorphism Networks over Relational Databases
by: Schönherr, Moritz, et al.
Published: (2026)

Relative Expressiveness of Defeasible Logics II
by: Maher, Michael J.
Published: (2021)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

Fitting Multilinear Polynomials for Logic Gate Networks
by: Kim, Youngsung
Published: (2026)

Aggregate-Combine-Readout GNNs Are More Expressive Than Logic C2
by: Hauke, Stan P, et al.
Published: (2025)

Enhancing Logical Expressiveness in Graph Neural Networks via Path-Neighbor Aggregation
by: Yu, Han, et al.
Published: (2025)

Fitting Ontologies and Constraints to Relational Structures
by: Hosemann, Simon, et al.
Published: (2025)

Rethinking Explanations: Formalizing Contrast in Description Logics
by: Mahmood, Yasir, et al.
Published: (2026)

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

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

Semantic Differentiation in Speech Emotion Recognition: Insights from Descriptive and Expressive Speech Roles
by: Guo, Rongchen, et al.
Published: (2025)

Transformers in the Service of Description Logic-based Contexts
by: Poulis, Angelos, et al.
Published: (2023)

Lower Bounds from Fitness Levels Made Easy
by: Doerr, Benjamin, et al.
Published: (2021)

Semiring Provenance for Lightweight Description Logics
by: Bourgaux, Camille, et al.
Published: (2023)

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

Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis
by: Gandarela, João Pedro, et al.
Published: (2024)

To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits
by: Lazzari, Nicolas, et al.
Published: (2026)

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

Transformer-based Language Models for Reasoning in the Description Logic ALCQ
by: Poulis, Angelos, et al.
Published: (2024)

Dual Box Embeddings for the Description Logic EL++
by: Jackermeier, Mathias, et al.
Published: (2023)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
by: Ardon, Leo, et al.
Published: (2024)

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
by: Chaudhri, Vinay K., et al.
Published: (2013)

Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics
by: Bienvenu, Meghyn, et al.
Published: (2025)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
by: Soeteman, Arie, et al.
Published: (2025)

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
by: Grau, Bernardo Cuenca, et al.
Published: (2025)

MotionScript: Natural Language Descriptions for Expressive 3D Human Motions
by: Yazdian, Payam Jome, et al.
Published: (2023)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
by: Bourgaux, Camille, et al.
Published: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
by: Zese, Riccardo, et al.
Published: (2023)

A New Tractable Description Logic under Categorical Semantics
by: Duc, Chan Le, et al.
Published: (2025)

Helmsman: Autonomous Synthesis of Federated Learning Systems via Collaborative LLM Agents
by: Li, Haoyuan, et al.
Published: (2025)

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

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
by: Proost, Cas, et al.
Published: (2026)

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

Model-based Workflow for the Automated Generation of PDDL Descriptions
by: Nabizada, Hamied, et al.
Published: (2024)