Events Calendar

Flat View
By Year
Monthly View
By Month
Weekly View
By Week
Search
Search
Download as iCal file
Seminário IA/Lógica: Evolução do Conhecimento no Tempo
Tuesday, 13 March 2012,  1:00 -  2:00
Seminário IA/Lógica: Evolução do Conhecimento no Tempo

Isaque Macalam Saab Lima


Local: COPPE/Sistemas, bloco H sala H304B
Data: 13/03/2012
Hora: 13:00-14:00.

Nesta apresentação iremos abordar temas relacionados com modelagem e verificação de sistemas que representam a evolução das propriedades epstemicas ao longo do tempo. Apresentaremos a lógica epstêmica dinamica ( DEL - Dynamic Epistemic Logic [1]), os modelos de ações (action models[2

Back

JSN_TPLFW_GOTO_TOP