Skip to Main content Skip to Navigation
Conference papers

On the Expressiveness of Spatial Constraint Systems

Michell Guzmán 1, 2 Frank D Valencia 2, 3 
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.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Michell Guzmán Connect in order to contact the contributor
Submitted on : Friday, December 16, 2016 - 1:46:17 PM
Last modification on : Thursday, January 20, 2022 - 5:28:39 PM
Long-term archiving on: : Tuesday, March 21, 2017 - 10:38:17 AM


Files produced by the author(s)



Michell Guzmán, Frank D Valencia. On the Expressiveness of Spatial Constraint Systems . ICLP 2016 - Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming , John Gallagher; Germán Vidal, Oct 2016, New York, United States. pp.16:1 - 16:12, ⟨10.4230/OASIcs.ICLP.2016.16⟩. ⟨hal-01418166⟩



Record views


Files downloads