Concrete domains in logics: a survey - Laboratoire Méthodes Formelles Access content directly
Journal Articles ACM SIGLOG News Year : 2021

Concrete domains in logics: a survey

Abstract

In this short survey, we present logical formalisms in which reasoning about concrete domains is embedded in formulae at the atomic level. These include temporal logics with concrete domains, description logics with concrete domains as well as variant formalisms. We discuss several proof techniques to solve logical decision problems for such formalisms, including those based on constrained automata or on translation into decidable second-order logics. We also present recent results mainly related to decidability and complexity as well as a selection of open problems.
Fichier principal
Vignette du fichier
paper.pdf (411.33 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03313291 , version 1 (04-08-2021)

Identifiers

Cite

Stéphane Demri, Karin Quaas. Concrete domains in logics: a survey. ACM SIGLOG News, 2021, 8 (3), pp.6-29. ⟨10.1145/3477986.3477988⟩. ⟨hal-03313291⟩
265 View
310 Download

Altmetric

Share

Gmail Facebook X LinkedIn More