Buscar
Mostrando ítems 1-1 de 1
Ponencia
Tratamiento multimodal de contextos
(Universidad de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)
We take as starting point the context logic studied in (Grossi, Meyer, and Dignum 2008) and (Aucher et al. 2009), which was concerned with the development of a dynamic logic of rules. Here we focus on issues of Formal ...