Ivan José Varzinczak online

Research Areas

• Logic-based knowledge representation and reasoning.
• Nonmonotonic reasoning, belief revision and updates.
• Modal logics.
• Description logics and ontology engineering.
• Reasoning about actions.

Publications

• For a list of Ivan’s publications, click here.

Participation in Program Committees

• PC member of the European Conference on Artificial Intelligence (ECAI’10).
• Co-chair and PC member of the ECAI’10 workshop ARCOE.
• Co-chair and PC member of the Commonsense and NMR for Ontologies sub-workshop of NMR’10.
• Co-chair and PC member of the IJCAI’09 workshop ARCOE.
• PC member of the Special Issue of Applied Artificial Intelligence (KROW’08).
• PC member of the 2009 Australasian Ontology Workshop.
• PC member of track Algorithmic and Applied Mathematics of the 2009 Mexican International Conference on Computer Science.

Auxiliary Reviewing

• IJCAI (International Joint Conference on Artificial Intelligence), 2005, 2009.
• KR (Principles of Knowledge Representation and Reasoning), 2004, 2006, 2008, 2010.
• ECAI (European Conference on Artificial Intelligence), 2004, 2006.
• AAMAS (Autonomous Agents and Multiagent Systems), 2005.
• Journal of Logic and Computation, 2006.
• Journal of Applied Non-Classical Logics, 2003, 2004, 2005.
• Journal of Applied Logic, 2004.
• Annals of Math and AI Journal, 2009.
• EQSCARU, 2007.
• DL Workshop, 2009, 2010.
• LPAR (Logic for Programming Artificial Intelligence and Reasoning), 2007.