Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

6 résultats
Page :
triés par
Image document

Deriving Inverse Operators for Modal Logic

 Michell Guzman , Salim Perchy , Camilo Rueda , Frank Valencia
Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. pp.214-232, ⟨10.1007/978-3-319-46750-4_13⟩
Communication dans un congrès hal-01328188v2
Image document

Characterizing Right Inverses for Spatial Constraint Systems with Applications to Modal Logic

 Michell Guzmán , Salim Perchy , Camilo Rueda , Frank Valencia
Theoretical Computer Science, 2018, 744 (56--77)
Article dans une revue hal-01675010v2
Image document

Procedural bridges-and-pillars support generation

 Marco Freire , Samuel Hornus , Salim Perchy , Sylvain Lefebvre
Eurographics 2022 - 43rd annual conference of the european association for computer graphics, Apr 2022, Reims, France
Communication dans un congrès hal-03700018v1
Image document

Declarative Framework for Semantical Interpretations of Structured Information — An Applicative Approach

 Stefan Haar , Salim Perchy , Frank Valencia
International Journal of Semantic Computing, 2017, 11 (04), pp.451 - 472. ⟨10.1142/S1793351X17400189⟩
Article dans une revue hal-01673529v1
Image document

An Algebraic View of Space/Belief and Extrusion/Utterance for Concurrency/Epistemic Logic

 Stefan Haar , Salim Perchy , Camilo Rueda , Frank Valencia
17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015), Jul 2015, Siena, Italy. pp.161-172, ⟨10.1145/2790449.2790520⟩
Communication dans un congrès hal-01256984v1
Image document

D-SPACES: Implementing Declarative Semantics for Spatially Structured Information

 Stefan Haar , Salim Perchy , Frank Valencia
11th International Conference on Semantic Computing , IEEE, Jan 2017, San Diego, California, United States
Communication dans un congrès hal-01328189v4
Page :