Concrete domains in logics: a survey - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Article Dans Une Revue ACM SIGLOG News Année : 2021

Concrete domains in logics: a survey

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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⟩
255 Consultations
284 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More