On the Expressiveness of Spatial Constraint SystemsReport as inadecuate

On the Expressiveness of Spatial Constraint Systems - Download this document for free, or read online. Document in PDF available to download.

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, Polytechnique - X, 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

Author: Michell Guzmán - Frank Valencia -

Source: https://hal.archives-ouvertes.fr/


Related documents