Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
Create account
Forgot your password?
Have you forgotten your login?
fr
en
HAL-Inria
Publications, software ... of Inria's scientists
Home
Submit
Browse all HAL
by writing date
by domain
by publication type
by collection
arXiv
last submissions
Inria publications
Search
Services
HalTools : Create your web page
Haltools : RAWEB export
X2Hal : Batch import
Find your project team / laboratory
Help
HAL V3 inline help
HAL V3 - Latest developments
HAL API documentation
Add Thumbnails
Inline help Haltools
Bib2hal inline help
OpenAccess
Inria supporting open science
inria-00556157, version 1
Characterizing Updates in Dynamic Epistemic Logic
Guillaume Aucher
1
Details
1
ICR - Individual and Collective Reasoning
Guillaume Aucher
1
AuthorId : 568150
Author
1
ICR - Individual and Collective Reasoning
(Luxembourg)
StructId : 139939
University of Luxembourg [Luxembourg]
(Campus Kirchberg 6, rue Richard Coudenhove-Kalergi L-1359 Luxembourg - Luxembourg)
StructId : 366875
Hide details
Document type
:
Conference papers
Liste complète des métadonnées
Display
Hide
https://hal.inria.fr/inria-00556157
Contributor :
Guillaume Aucher
<
>
Submitted on : Saturday, January 15, 2011 - 4:01:18 PM
Last modification on : Saturday, January 15, 2011 - 4:01:18 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⟩
Export
BibTeX
TEI
DC
DCterms
EndNote
Share
Metrics
Record views
34
