Ivan José Varzinczak online

Artículos en Periódicos

• On Action Theory Change. Journal of Artificial Intelligence Research (JAIR), volumen 37, 2010. [PDF] [Bib]
• Metatheory of Actions: Beyond Consistency. Artificial Intelligence Journal, volumen 171, número 16-17, 2007. En colaboración con Andreas Herzig. [PDF] [Bib]
• Regression in Modal Logic. Journal of Applied Non-Classical Logics, volumen 13, número 2/2003. En colaboración con Robert Demolombe y Andreas Herzig. [PDF] [Bib]

Artículos en Conferencias con Anales

• Next Steps in Propositional Horn Contraction. Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI’2009). Pasadena, EEUU, julio 2009. En colaboración con Richard Booth y Thomas Meyer. [PDF] [Bib]
• Action Theory Contraction and Minimal Change. Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR’2008). Sydney, Australia, septiembre 2008. [PDF] [Bib]
• A Modularity Approach for a Fragment of ALC. Tenth European Conference on Logics in Artificial Intelligence (JELIA’2006), LNAI 4160. Liverpool, Inglaterra, septiembre 2006. En colaboración con Andreas Herzig. [PDF] [Bib]
• Elaborating Domain Descriptions. Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’2006). Riva del Garda, Italia, agosto 2006. En colaboración con Andreas Herzig y Laurent Perrussel. [PDF] [Bib]
• On the Modularity of Theories. Advances in Modal Logic Series, King’s College Publications, 2005. (Selected papers of AiML’2004.) En colaboración con Andreas Herzig. [PDF] [Bib]
• Cohesion, Coupling and the Meta-Theory of Actions. Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI’2005). Edinburgh, Escocia, agosto 2005. En colaboración con Andreas Herzig. [PDF] [Bib]
• Domain Descriptions Should Be Modular. Proceedings of the 16th European Conference on Artificial Intelligence (ECAI’2004). Valencia, España, agosto 2004. En colaboración con Andreas Herzig. [PDF] [Bib]

Artículos en Workshops Internacionales

• Semantic Diff as the Basis for Knowledge Base Versioning. Thirteenth International Workshop on Nonmonotonic Reasoning (NMR’2010). Toronto, Canadá, mayo 2010. En colaboración con Enrico Franconi y Thomas Meyer. [PDF] [Bib]
• Pertinent Reasoning. Thirteenth International Workshop on Nonmonotonic Reasoning (NMR’2010). Toronto, Canadá, mayo 2010. En colaboración con Katarina Britz y Johannes Heidema. [PDF] [Bib]
• A Contraction Core for Horn Belief Change: Preliminary Report. Thirteenth International Workshop on Nonmonotonic Reasoning (NMR’2010). Toronto, Canadá, mayo 2010. En colaboración con Richard Booth, Thomas Meyer y Renata Wassermann. [PDF] [Bib]
• On the Revision of Action Laws: An Algorithmic Approach. IJCAI Workshop on Nonmonotonic Reasoning Action and Change (NRAC’2009). Pasadena, EEUU, julio 2009. [PDF] [Bib]
• Next Steps in Propositional Horn Contraction. Ninth International Symposium on Logical Formalizations of Commonsense Reasoning. Toronto, Canadá, junio 2009. En colaboración con Richard Booth y Thomas Meyer. [PDF]
• How Do I Revise My Agent’s Action Theory?. Ninth International Symposium on Logical Formalizations of Commonsense Reasoning. Toronto, Canadá, junio 2009. [PDF]
• Action Theory Revision in Dynamic Logic. Twelfth International Workshop on Nonmonotonic Reasoning (NMR’2008). Sydney, Australia, septiembre 2008. [PDF]
• Elaborating Domain Descriptions. Eleventh International Workshop on Nonmonotonic Reasoning (NMR’2006). Lake District, Inglaterra, mayo/junio 2006. En colaboración con Andreas Herzig y Laurent Perrussel. [PDF]
• On Modularity of Theories. Advances in Modal Logic (AiML’2004). Manchester, Inglaterra, septiembre 2004. En colaboración con Andreas Herzig. [PDF]
• Domain Descriptions Should Be Modular. Tenth International Workshop on Nonmonotonic Reasoning (NMR’2004). Whistler, Canadá, junio 2004. En colaboración con Andreas Herzig. [PDF]
• Regression in Modal Logic. Methods for Modalities 2003 (M4M’2003). Nancy, Francia, septiembre 2003. En colaboración con Robert Demolombe y Andreas Herzig. [PDF]
• It Depends on the Context! A Decidable Logic of Actions and Plans Based on a Ternary Dependence Relation. Ninth International Workshop on Nonmonotonic Reasoning (NMR’2002). Toulouse, Francia, abril 2002. En colaboración con Marcos Castilho y Andreas Herzig. [PDF] [Bib]

Tésis

• What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic. Tésis de doctorado. Institut de Recherche en Informatique de Toulouse (IRIT), Université Paul Sabatier. Toulouse, Francia, octubre 2006. [PDF] [Bib]
• Causalidade e dependência em raciocínio sobre ações. Tésis de maestría. Universidad Federal del Paraná. Curitiba, Brasil, junio 2002. [PDF]

Workshop Proceedings

• The IJCAI-09 Workshop on Automated Reasoning about Context and Ontology Evolution. Workshop Notes, AAAI Press. Pasadena, EEUU, julio 2009. Co-chairs: Alan Bundy, Jos Lehmann and Guilin Qi. [PDF]

Artículos en Workshops Nacionales

• Domain Descriptions Should Be Modular (preliminary report). Journées Nationales sur les Modèles de Raisonnement (JNMR’2003). Paris, Francia, noviembre 2003. En colaboración con Andreas Herzig. [PDF]
• Causalidade e dependência em raciocínio sobre ações. Workshop de Teses e Dissertações em Inteligência Artificial (WTDIA 2002). Porto de Galinhas, Brasil, noviembre 2002. En colaboración con Marcos Castilho. [PDF]

Pósters y Resúmenes

• Pertinent Entailment. Third World Congress and School on Universal Logic (UniLog’2010). Lisboa, Portugal, abril 2010. En colaboración con Katarina Britz y Johannes Heidema. [PDF]
• First Steps in EL Contraction. IJCAI Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE’2009). Pasadena, EEUU, julio 2009. En colaboración con Richard Booth y Thomas Meyer. [PDF]
• Cohésion et couplage de théories d’action. Colloque des Doctorants EDIT. Université Paul Sabatier, Toulouse, Francia, mayo 2006. En colaboración con Andreas Herzig. [PDF]
• Causalidade e dependência em raciocínio sobre ações. CTD’2003 – Concurso de Teses e Dissertações do XXIII Congresso da Sociedade Brasileira de Computação. Campinas, Brasil, agosto 2003. En colaboración con Marcos Castilho. [PDF]

Informes Técnicos

• Action Theory Revision. Informe técnico IRIT/RT–2008-1–FR. Institut de Recherche en Informatique de Toulouse (IRIT), junio 2008.
  
• Action Theory Change Revisited: Contracting Action Laws and Minimal Change. Informe técnico IRIT/RT–2008-2–FR. Institut de Recherche en Informatique de Toulouse (IRIT), junio 2008.
• Contracting TBoxes: the Importance of Being Modular. Informe técnico IRIT/RT–2006-24-FR. Institut de Recherche en Informatique de Toulouse (IRIT), octubre 2006. En colaboración con Andreas Herzig y Laurent Perrussel. [PDF]
• Elaborating Domain Descriptions (preliminary report). Informe técnico IRIT/RT–2006-01–FR. Institut de Recherche en Informatique de Toulouse (IRIT), enero 2006. En colaboración con Andreas Herzig y Laurent Perrussel. [PDF]
• An Assessment of Actions with Indeterminate and Indirect Effects in Some Causal Approaches. Informe técnico IRIT/2004-08-R. Institut de Recherche en Informatique de Toulouse (IRIT), mayo 2004. En colaboración con Andreas Herzig. [PDF]