On the Expressiveness of Spatial Constraint SystemsReportar como inadecuado

On the Expressiveness of Spatial Constraint Systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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

Autor: Michell Guzmán - Frank Valencia -

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


Documentos relacionados