First steps towards taming description logics with strings
From MaRDI portal
Publication:6545544
Recommendations
Cites work
- scientific article; zbMATH DE number 67501 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 2063024 (Why is no real title available?)
- scientific article; zbMATH DE number 1765661 (Why is no real title available?)
- scientific article; zbMATH DE number 6902582 (Why is no real title available?)
- scientific article; zbMATH DE number 2086598 (Why is no real title available?)
- scientific article; zbMATH DE number 2196595 (Why is no real title available?)
- A tableau algorithm for description logics with concrete domains and general TBoxes
- An algebraic view on p-admissible concrete domains for lightweight description logics
- An automata-based approach for \(\text{CTL}^{*}\) with constraints
- An automata-theoretic approach to constraint LTL
- An introduction to description logic
- Automata based verification over linearly ordered data domains
- Automata-theoretic techniques for modal logics of programs
- Concatenation as a basis for arithmetic
- Counting in trees
- Deciding emptiness for constraint automata on strings with the prefix and suffix order
- Deciding properties of integral relational automata
- Description Logics
- Introduction to constraint databases
- NExpTime-complete description logics with concrete domains
- Presburger Büchi tree automata with applications to logics with expressive counting
- Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints
- Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints
- Satisfiability of word equations with constants is in PSPACE
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
- Temporal logics on strings with prefix relation
- The existential theory of equations with rational constraints in free groups is PSPACE-complete
- Using model theory to find decidable and tractable description logics with concrete domains
This page was built for publication: First steps towards taming description logics with strings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545544)
