On the Expressiveness of Spatial Constraint Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2016

On the Expressiveness of Spatial Constraint Systems

Résumé

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.
Fichier principal
Vignette du fichier
OASIcs-ICLP-2016-16-3.pdf (505.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01418166 , version 1 (16-12-2016)

Identifiants

Citer

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⟩
208 Consultations
63 Téléchargements

Altmetric

Partager

More