Selected publications at LSV

We introduce in this paper D-SPACES, an implementation of constraint systems with space and extrusion operators. Constraint systems are algebraic models that allow for a semantic language-like representation of information in systems where the concept of space is a primary structural feature. We give this information mainly an epistemic interpretation and consider various agents as entities acting upon it. D-SPACES is coded as a c++11 library providing implementations for constraint systems, space functions and extrusion functions. The interfaces to access each implementation are minimal and thoroughly documented. D-SPACES also provides property-checking methods as well as an implementation of a specific type of constraint systems (a boolean algebra). This last implementation serves as an entry point for quick access and proof of concept when using these models. Furthermore, we offer an illustrative example in the form of a small social network where users post their beliefs and utter their opinions.

   address = {San Diego, CA, USA},
   author = {Haar, Stefan and Perchy, Salim and Valencia, Frank},
   booktitle = {{P}roceedings of the 11th International Conference on Semantic Computing ({ICSC}'17)},
   month = jan,
   publisher = {{IEEE} Press},
   series = {IEEE ICSC},
   title = {{D-SPACES: Implementing Declarative Semantics for Spatially Structured Information}},
   url = {},
   volume = {11},
   year = {2017},

About LSV

Select by Year