@inproceedings{5f2fe0d68c6d466686dd4b6dee3889c3,
title = "On the expressiveness of spatial constraint systems",
abstract = "In this paper we shall report on our progress using spatial constraint system as an abstract representation of modal and epistemic behaviour. First we shall give an introduction as well as the background to our work. Then, we present our preliminary results on the representation of modal behaviour by using spatial constraint systems. Then, we present our ongoing work on the characterization of the epistemic notion of knowledge. Finally, we discuss about the future work of our research.",
keywords = "Concurrent constraint programming, Constraint systems, Epistemic logic, Modal logic",
author = "Michell Guzm{\'a}n and Valencia, {Frank D.}",
note = "Publisher Copyright: {\textcopyright} Michell Guzm{\'a}n and Frank D. Valencia.; 32nd International Conference on Logic Programming, ICLP 2016 ; Conference date: 16-10-2016 Through 21-10-2016",
year = "2016",
month = nov,
day = "1",
doi = "10.4230/OASIcs.ICLP.2016.16",
language = "English",
series = "OpenAccess Series in Informatics",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Andy King and Neda Saeedloei and {De Vos}, Marina and Linares, {Manuel Carro}",
booktitle = "Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016",
}