@inproceedings{17e1668e2a41442ba1ce83ea25ecc693,
title = "D-SPACES: Implementing Declarative Semantics for Spatially Structured Information",
abstract = "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.",
keywords = "Semantic interpretation, epistemic logic, social networks, utterance",
author = "Stefan Haar and Salim Perchy and Frank Valencia",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 11th IEEE International Conference on Semantic Computing, ICSC 2017 ; Conference date: 30-01-2017 Through 01-02-2017",
year = "2017",
month = mar,
day = "29",
doi = "10.1109/ICSC.2017.34",
language = "English",
series = "Proceedings - IEEE 11th International Conference on Semantic Computing, ICSC 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "227--233",
booktitle = "Proceedings - IEEE 11th International Conference on Semantic Computing, ICSC 2017",
address = "United States",
}