Implementação de Revisão de Modelos CTL
(I) Knowledge in Flux: Modeling the Dynamics of Epistemic States - Peter Gärdenfors
(II) Revisão de Modelos CTL - Paulo de Tarso Guerra Oliveira
(III) Análise empírica de algoritmos de revisão sobre bases de crenças - Renato Urquiza Ludberg
Duilio Felix Oliveira da Silva
4º ano em Bacharelado em Ciências da Computação - IME, USP
Administrador da Rede Linux
Contato: duiliofelix@gmail.com