Ivan José Varzinczak online

Domaines de Recherche

• Approches logiques pour la représentation de la connaissance et le raisonnement.
• Raisonnement non-monotone, révision et mise-à-jour de croyances.
• Logique modale.
• Logiques de description et génie d’ontologie.
• Raisonnement sur les actions.

Publications

• Pour la liste des publications de Ivan, cliquez ici.

Participation dans des Comités de Programme

• Membre de comité de la European Conference on Artificial Intelligence (ECAI’10).
• Co-chair et membre de comité du ECAI’10 workshop ARCOE.
• Co-chair et membre de comité du Commonsense and NMR for Ontologies sous-workshop de NMR’10.
• Co-chair et membre de comité du IJCAI’09 workshop ARCOE.
• Membre de comité du Special Issue of Applied Artificial Intelligence (KROW’08).
• Membre de comité du 2009 Australasian Ontology Workshop.
• Membre de comité de la track Algorithmic and Applied Mathematics de la 2009 Mexican International Conference on Computer Science.

Participation à Evaluations d’Articles

• IJCAI (International Joint Conference on Artificial Intelligence), 2005, 2009.
• KR (Principles of Knowledge Representation and Reasoning), 2004, 2006, 2008, 2010.
• ECAI (European Conference on Artificial Intelligence), 2004, 2006.
• AAMAS (Autonomous Agents and Multiagent Systems), 2005.
• Journal of Logic and Computation, 2006.
• Journal of Applied Non-Classical Logics, 2003, 2004, 2005.
• Journal of Applied Logic, 2004.
• Annals of Math and AI Journal, 2009.
• EQSCARU, 2007.
• DL Workshop, 2009, 2010.
• LPAR (Logic for Programming Artificial Intelligence and Reasoning), 2007.