Salim Perchy

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 6

Top Topics

Top Venues

J. Log. Algebraic Methods Program.

Eurographics (Short Papers)

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Pontifical Xavierian University, Bogotá, Colombia

MSC

Publications

Marco Freire, Samuel Hornus, Salim Perchy, Sylvain Lefebvre
Procedural Bridges-and-pillars Support Generation. Eurographics (Short Papers) (2022)
Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
Characterizing right inverses for spatial constraint systems with applications to modal logic. Theor. Comput. Sci. 744 (2018)
Stefan Haar, Salim Perchy, Frank D. Valencia
D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. ICSC (2017)
Stefan Haar, Salim Perchy, Frank Valencia
Declarative Framework for Semantical Interpretations of Structured Information - An Applicative Approach. Int. J. Semantic Comput. 11 (4) (2017)
Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. J. Log. Algebraic Methods Program. 86 (1) (2017)
Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia
Deriving Inverse Operators for Modal Logic. ICTAC (2016)
Salim Perchy, Frank Valencia
Opinions and Beliefs as constraint system operators. ICLP (Technical Communications) (2015)
Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. PPDP (2015)