Personal Information
Entreprise/Lieu de travail
Contenda Brazil
Profession
Researcher
Site Web
en.varzinczak.net16.net
À propos
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
Mots-clés
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
Tout plus
Présentations
(8)Documents
(13)Personal Information
Entreprise/Lieu de travail
Contenda Brazil
Profession
Researcher
Site Web
en.varzinczak.net16.net
À propos
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
Mots-clés
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
Tout plus