Evènement pour le groupe Séminaire Méthodes Formelles


Date 2022-03-01  14:00-15:00
Titre Logics with concrete domains: an introduction 
RésuméIn this talk, we present logical formalisms in which reasoning about concrete domains is embedded in formulae at the atomic level. These mainly include temporal logics with concrete domains and description logics with concrete domains. For the simple concrete domain (N,<), we present known proof techniques to handle satisfiable (infinite) symbolic models, sometimes at the cost of going beyond $omega$-regularity. The talk is freely inspired from the paper "Concrete domains in logics: a survey" (2021) written with Karin Quaas (Leipzig University).  
LieuOnline 
OrateurStéphane Demri 
Emailhttp://www.lsv.fr/~demri/ 
UrlLSV (ENS Paris-Saclay) 



Aucun document lié à cet événement.

Retour
Retour à l'index