Skip to Main content Skip to Navigation
Conference papers

On the Expressiveness of Spatial Constraint Systems

Michell Guzmán 1, 2 Frank Valencia 2, 3
1 AVISPA Resarch Group - Ambientes VISuales de Progamación Aplicativa
2 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
3 Pontificia universidad Javeriana, Cali
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 : programming Concurrent constraint Constraint systems Modal logic Epistemic logic
Document type :
Conference papers
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

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

Identifiers

Collections

CNRS | X | LIX | INRIA | X-LIX | X-DEP-INFO

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

310

Files downloads

90

 

Contact                    Legal Notice                    Personal Data