S. Perchy

Multimedia Interaction with NTCC

Salim Perchy, S. Perchy, 2013 .

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

Camilo Rueda, Frank D. Valencia, Stefan Haar, 2015, PPDP.

Belief, knowledge, lies and other utterances in an algebra for space and extrusion

Camilo Rueda, Michell Guzmán, Frank D. Valencia, 2017, J. Log. Algebraic Methods Program..

Characterizing right inverses for spatial constraint systems with applications to modal logic

Camilo Rueda, Michell Guzmán, Frank D. Valencia, 2018, Theor. Comput. Sci..

Deriving Inverse Operators for Modal Logic

Camilo Rueda, Michell Guzmán, Frank D. Valencia, 2016, ICTAC.

D-SPACES: An Implementation of Declarative Semantics for Spatially Structured Information

Frank D. Valencia, Stefan Haar, Salim Perchy, 2016 .