article scientifique
Action Theory Contraction and Minimal Change.
Papier accepté à la conférence Principles of Knowledge Representation and Reasoning (KR’2008).
Disponible en ligne ici.
≡Category:recherche
ce site en: 
home
Ivan José Varzinczak (Brésil, 1978) a soutenu sa thèse en Intelligence Artificielle à l’Université Paul Sabatier, France, en octobre 2006. Ex-membre de l’équipe LILaC à l’IRIT, actuellement il est chercheur post-doc à l’Institut Meraka de Pretoria, Afrique du Sud. Il a eu son master (2002) et sa maîtrise (2000) en informatique à l’Université Fédérale du Paraná, Brésil.
Ivan est auteur d’articles en des journaux (Artificial Intelligence, JANCL) et de papiers en des conférences (KR, IJCAI, ECAI, JELIA, AiML) et dans des workshops (NMR, M4M). Il a collaboré comme reviewer auxiliaire de conférences (IJCAI, KR, ECAI) et journaux (JLC, JAL, JANCL) et a aussi participé des comités locaux d’organisation de ESSA’2007 et de WCP’2003.
Son domaine de recherche se situe dans les approches logiques pour la représentation des connaissances et le raisonnement, portant sur les logiques non-classiques (modale et de description). Pendant sa thèse Ivan a travaillé sur le raisonnement sur les actions, la causalité, la révision et la mise-à-jour de croyances. Parmi ses sujets de recherche actuels se trouvent le changement de théories d’action, le génie d’ontologies et ses applications dans le web sémantique.
A travail ou loisir, Ivan a eu l’occasion de visiter 40 pays en Europe, Afrique, Moyen-Orient, Asie et Amérique du Sud, endroits où il a découvert de nombreuses expériences et rencontré plein d’amis. Un de ses plans au long term c’est de sortir tous ses cahiers de route et écrire un livre pour racconter un peu de son expérience internationale qui va bien au-délà du tourisme.
Curriculum Vitae