Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01418166
Contributor : Michell Guzmán <>
Submitted on : Friday, December 16, 2016 - 1:46:17 PM
Last modification on : Monday, March 29, 2021 - 2:47:10 PM
Long-term archiving on: : Tuesday, March 21, 2017 - 10:38:17 AM

File

OASIcs-ICLP-2016-16-3.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Michell Guzmán, Frank 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⟩

Share

Metrics

Record views

310

Files downloads

90