Ivan Varzinczak

5 Followers

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

reasoning about actions modal logic modularity contraction revision minimal change dependence horn logic belief contraction infraremainder sets description logics consistency regression postulates situation calculus belief change arcoe alc versioning semantic diff knowledge representation and reasoning theory change relevance pertinence paradoxes

Activity
About

Ivan Varzinczak

Presentations

Next Steps in Propositional Horn Contraction

What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic

First Steps in EL Contraction

Action Theory Contraction and Minimal Change

On the Revision of Action Laws: an Algorithmic Approach

On Action Theory Change: Semantics for Contraction and its Properties

Pertinence Construed Modally

Semantic Diff as the Basis for Knowledge Base Versioning

Documents

On the Modularity of Theories

Regression in Modal Logic

What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic

Elaborating Domain Descriptions

Domain Descriptions Should be Modular

Meta-theory of Actions: Beyond Consistency

Cohesion, Coupling and the Meta-theory of Actions

Causalidade e dependência em raciocínio sobre ações

Action Theory Contraction and Minimal Change

On the Revision of Action Laws: An Algorithmic Approach

Next Steps in Propositional Horn Contraction

Proceedings of ARCOE'09

A Modularity Approach for a Fragment of ALC