Personal Information
Organização/Local de trabalho
Contenda Brazil
Cargo
Researcher
Sobre
Ivan José Varzinczak (Brazil, 1978) received his PhD in Artificial Intelligence from Uni- versité Paul Sabatier, France, in 2006. Former member of the LILaC research group at IRIT, France, he is currently a postdoc researcher at CSIR Meraka Institute in Pretoria, South Africa. He received his MSc (2002) and BSc (2000) in Computer Science from the Federal University of Paraná, Brazil.
Ivan is the author of journal articles (JAIR, Artificial Intelligence, JANCL), conference papers (IJCAI, KR, ECAI, JELIA, AiML), and papers in refereed workshops (NMR, Commonsense, NRAC, M4M). He is PC member of IJCAI’11 and of ECAI’10. Ivan is also co-chair of the IJCAI’09 and ECAI’10 workshop serie
Marcadores
reasoning about actions
modal logic
modularity
contraction
revision
dependence
minimal change
consistency
description logics
infraremainder sets
belief contraction
horn logic
paradoxes
pertinence
relevance
theory change
knowledge representation and reasoning
semantic diff
versioning
alc
arcoe
belief change
situation calculus
postulates
regression
Ver mais
- Apresentações
- Documentos
- Infográficos