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
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
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
Type de document :
Communication dans un congrès
Manuel Carro; Andy King ; Neda Saeedloei; Marina De Vos. ICLP 2016 - Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming , Oct 2016, New York, United States. OASICS Vol. 52, pp.16:1 - 16:12, 2016, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). 〈http://iclp16school.webs.upv.es〉. 〈10.4230/OASIcs.ICLP.2016.16〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01418166
Contributeur : Michell Guzmán <>
Soumis le : vendredi 16 décembre 2016 - 13:46:17
Dernière modification le : jeudi 10 mai 2018 - 02:06:41
Document(s) archivé(s) le : mardi 21 mars 2017 - 10:38:17

Fichier

OASIcs-ICLP-2016-16-3.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

X | LIX | INRIA | X-LIX | PARISTECH | UNIV-PARIS-SACLAY | X-DEP-INFO

Citation

Michell Guzmán, Frank Valencia. On the Expressiveness of Spatial Constraint Systems . Manuel Carro; Andy King ; Neda Saeedloei; Marina De Vos. ICLP 2016 - Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming , Oct 2016, New York, United States. OASICS Vol. 52, pp.16:1 - 16:12, 2016, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). 〈http://iclp16school.webs.upv.es〉. 〈10.4230/OASIcs.ICLP.2016.16〉. 〈hal-01418166〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

248

Téléchargements de fichiers

51

Contact


archive-ouverte@inria.fr