Home » People » Ivan Varzinczak

Ivan Varzinczak

Ivan Varzinczak's picture
Real name: 
Prof. Ivan Varzinczak

Ivan José Varzinczak is a professor of theoretical computer science at the Federal University of Rio de Janeiro (UFRJ), Brazil. He holds a Ph.D. (2006) in Artificial Intelligence from Université Paul Sabatier, France, an M.Sc. (2002) and a B.Sc. (2000) both in Computer Science from the Federal University of Paraná, Brazil.
Ivan’s main research interest area is logic-based knowledge representation and reasoning in artificial intelligence, with focus on modal and description logics and their applications in non-monotonic reasoning, reasoning about actions and change, and the semantic web.
Personal webpage
Google Scholar profile

Research outputs
Workshop paper
Conference proceedings
Journal paper
Conference proceedings
Conference proceedings
Conference proceedings