Great Ocean road, AustraliaIvan José Varzinczak is a professor of logic and 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. Before joining UFRJ, Ivan was a postdoctoral researcher at the Council for Scientific and Industrial Research (CSIR) in South Africa.
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. He has co-authored more than 40 peer-reviewed publications ranging from articles in journals (JAIR, Artificial Intelligence, JANCL, Logica Universalis), full papers in international conference proceedings (IJCAI, KR, ECAI, AI, JELIA, AiML, TARK), and papers in international workshops (NMR, Commonsense, NRAC, M4M, DL).
Ivan is the Publicity and Sponsorship Chair for KR 2016. He has been a guest editor of the Special Issue of the Journal of Web Semantics on Reasoning with Context in the Semantic Web, and is one of the founding members and co-chair of both the ARCOE and DARe workshop series. Ivan is in the guest editorial board of the special issue of the Semantic Web Journal on Web Reasoning and Rule Systems, and has been a PC member of IJCAI, KR, AAAI, ECAI and other international conferences and workshops on several occasions.
Curriculum Vitae
Google Scholar profile