Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method

Fichier non déposé

Dates et versions

hal-02068048 , version 1 (14-03-2019)

Identifiants

Citer

Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure. Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference (TABLEAUX 2015), Sep 2015, Wroclaw, Poland. pp.54-69, ⟨10.1007/978-3-319-24312-2_5⟩. ⟨hal-02068048⟩
21 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More