Ivan José Varzinczak online

Áreas de Pesquisa

• Lógica em representação do conhecimento e raciocínio.
• Raciocínio não-monotônico e revisão de crenças.
• Lógica modal.
• Lógica descritiva e engenharia de ontologias.
• Raciocínio sobre ações.

Publicações

• Para a lista de publicações de Ivan, clique aqui.

Participação em Comissões de Programa

• Membro de comissão de programa da European Conference on Artificial Intelligence (ECAI’10).
• Co-chair e membro de comissão de programa do ECAI’10 workshop ARCOE.
• Co-chair e membro de comissão de programa do Commonsense and NMR for Ontologies sub-workshop de NMR’10.
• Co-chair e membro de comissão de programa do IJCAI’09 workshop ARCOE.
• Membro de comissão de programa do Special Issue of Applied Artificial Intelligence (KROW’08).
• Membro de comissão de programa do 2009 Australasian Ontology Workshop.
• Membro de comissão de programa da linha Algorithmic and Applied Mathematics do 2009 Mexican International Conference on Computer Science.

Participação em Avaliação de Artigos

• 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.