University of Luxembourg [Luxembourg] (Campus Kirchberg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Campus de Limpertsberg
162a, avenue de la Faïencerie
L-1511 Luxembourg
Campus de Belval
2, avenue de l'Université
L-4365 Esch-sur-Alzette - Luxembourg)
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/inria-00556157
Contributor : Guillaume Aucher <>
Submitted on : Saturday, January 15, 2011 - 4:01:18 PM Last modification on : Friday, November 8, 2019 - 3:06:02 PM
Identifiers
HAL Id : inria-00556157, version 1
Citation
Guillaume Aucher. Characterizing Updates in Dynamic Epistemic Logic. Knowledge representation and reasoning, 2010, Toronto, Canada. ⟨inria-00556157⟩