Next Steps in Propositional Horn Contraction.
Artigo aceito para publicação na 21st International Joint Conference on Artificial Intelligence (IJCAI’2009), em Pasadena, EUA, julho de 2009. Trabalho conjunto com Richard Booth e Thomas Meyer.
Disponível online aqui.
Ivan José Varzinczak (Contenda/PR, 1978) é doutor em Inteligência Artificial pela Université Paul Sabatier, França, tendo defendido sua tese em outubro de 2006. Ex-membro da equipe LILaC no IRIT, atualmente faz pós-doutorado no Instituto Meraka de Pretória, África do Sul. Defendeu sua dissertação de mestrado (2002) e obteve seu bacharelado (2000) em informática pela Universidade Federal do Paraná (UFPR).
Ivan é autor de artigos em revistas (AI Journal, JANCL), de artigos em conferências (IJCAI, KR, ECAI, JELIA, AiML) e em workshops renomados (NMR, NRAC, M4M). É co-organizador do IJCAI’09 workshop ARCOE e membro das comissões de programa do Special Issue of Applied Artificial Intelligence e do 2009 Australian Ontology Workshop. Além disso, tem atuado como revisor auxiliar de conferências (IJCAI, KR, ECAI), de revistas científicas (JLC, JAL, JANCL), e de workshops (DL, LPAR), e também participou da organização local das conferências ESSA’2007 e WCP’2003.
Sua área de pesquisa principal abrange abordagens lógicas para representação do conhecimento e raciocínio, com ênfase em lógicas não-clássicas (modal e descritiva). Durante sua tese, Ivan atuou em raciocínio sobre ações, causalidade e revisão e atualização de crenças. Entre seus tópicos atuais de pesquisa situam-se revisão de teorias de ações, engenharia de ontologias e aplicações desta na web semântica.
A trabalho ou lazer, Ivan teve a oportunidade de visitar cerca de 40 países na Europa, África, Oriente Médio, Ásia e América do Sul, lugares onde descobriu inúmeras experiências e fez muitas amizades. Um de seus objetivos é um dia passar a limpo seu diário de bordo narrando um pouco de sua experiência que vai muito além do mero turismo. Curriculum Vitae
Entrevista à TV Iguassu de Araucária, Paraná.
Em entrevista à TV Iguassu, Ivan conta um pouco de sua experiência ao realizar pós-graduação no exterior e de suas viagens pelo mundo.
Transmitido em 18 de janeiro de 2008.