Personal Information
Organization / Workplace
Contenda Brazil
Occupation
Researcher
Website
en.varzinczak.net16.net
About
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
Tags
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
See more
- Presentations
- Documents
- Infographics