First steps towards taming description logics with strings
type: Item
instance of: scholarly article
title: First steps towards taming description logics with strings
DOI: 10.1007/978-3-031-43619-2_23
author: Stéphane Demri
author: Karin Quaas
publication date: 2024-05-29T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7855130
MaRDI profile type: Publication
cites work: Description Logics
cites work: Q4406531
cites work: Q4012242
cites work: Q4460678
cites work: An Introduction to Description Logic
cites work: An algebraic view on p-admissible concrete domains for lightweight description logics
cites work: Using model theory to find decidable and tractable description logics with concrete domains
cites work: Q4737132
cites work: Presburger Büchi tree automata with applications to logics with expressive counting
cites work: Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints
cites work: Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints
cites work: Q4576256
cites work: Deciding properties of integral relational automata
cites work: Temporal logics on strings with prefix relation
cites work: An automata-theoretic approach to constraint LTL
cites work: The existential theory of equations with rational constraints in free groups is PSPACE-complete
cites work: An Automata-based Approach for CTL⋆ With Constraints
cites work: Q4539597
cites work: Q5465445
cites work: NEXP TIME-complete description logics with concrete domains
cites work: A tableau algorithm for description logics with concrete domains and general TBoxes
cites work: THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
cites work: Deciding emptiness for constraint automata on strings with the prefix and suffix order
cites work: Satisfiability of word equations with constants is in PSPACE
cites work: Concatenation as a basis for arithmetic
cites work: Introduction to constraint databases
cites work: Q3113674
cites work: Q3086934
cites work: Automata-theoretic techniques for modal logics of programs
description: scientific article; zbMATH DE number 7855130