investigación
March 12th, 2010
Temas de Investigación
- Lógica en representación del conocimiento y razonamiento.
- Raciocinio no monotónico y revisión de creencias.
- Lógica modal.
- Lógica de descripción y ingeniería de ontologías.
- Raciocinio sobre acciones.
Publicaciones
- Para la lista de publicaciones de Ivan, haga clique aquí.
Participación en Comisiones de Programa
- Miembro de comisión de programa de la European Conference on Artificial Intelligence (ECAI’10).
- Co-chair y miembro de comisión de programa del ECAI’10 workshop ARCOE.
- Co-chair y miembro de comisión de programa del Commonsense and NMR for Ontologies sub-workshop de NMR’10.
- Co-chair y miembro de comisión de programa del IJCAI’09 workshop ARCOE.
- Miembro de comisión de programa del Special Issue of Applied Artificial Intelligence (KROW’08).
- Miembro de comisión de programa del 2009 Australasian Ontology Workshop.
- Miembro de comisión de programa de la linea Algorithmic and Applied Mathematics del 2009 Mexican International Conference on Computer Science.
Participación en Evaluación de Artículos
- 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.