Ivan José Varzinczak online

Articles dans des Journaux

• On Action Theory Change. Journal of Artificial Intelligence Research (JAIR), volume 37, 2010. [PDF] [Bib]
• Metatheory of Actions: Beyond Consistency. Artificial Intelligence Journal, volume 171, numéro 16-17, 2007. Travail en collaboration avec Andreas Herzig. [PDF] [Bib]
• Regression in Modal Logic. Journal of Applied Non-Classical Logics, volume 13, numéro 2/2003. Travail en collaboration avec Robert Demolombe et Andreas Herzig. [PDF] [Bib]

Articles dans des Conférences avec Actes et Comité de Lecture

• Next Steps in Propositional Horn Contraction. Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI’2009). Pasadena, EUA, juillet 2009. Travail en collaboration avec Richard Booth et 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, Australie, septembre 2008. [PDF] [Bib]
• A Modularity Approach for a Fragment of ALC. Tenth European Conference on Logics in Artificial Intelligence (JELIA’2006), LNAI 4160. Liverpool, Angleterre, septembre 2006. Travail en collaboration avec Andreas Herzig. [PDF] [Bib]
• Elaborating Domain Descriptions. Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’2006). Riva del Garda, Italie, août 2006. Travail en collaboration avec Andreas Herzig et Laurent Perrussel. [PDF] [Bib]
• On the Modularity of Theories. Advances in Modal Logic Series, King’s College Publications, 2005. (Selected papers of AiML’2004.) Travail en collaboration avec 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, Ecosse, août 2005. Travail en collaboration avec Andreas Herzig. [PDF] [Bib]
• Domain Descriptions Should Be Modular. Proceedings of the 16th European Conference on Artificial Intelligence (ECAI’2004). Valencia, Espagne, août 2004. Travail en collaboration avec Andreas Herzig. [PDF] [Bib]

Articles dans des Workshops Internationaux avec Comité de Lecture

• Semantic Diff as the Basis for Knowledge Base Versioning. Thirteenth International Workshop on Nonmonotonic Reasoning (NMR’2010). Toronto, Canada, mai 2010. Travail en collaboration avec Enrico Franconi et Thomas Meyer. [PDF] [Bib]
• Pertinent Reasoning. Thirteenth International Workshop on Nonmonotonic Reasoning (NMR’2010). Toronto, Canada, mai 2010. Travail en collaboration avec Katarina Britz et Johannes Heidema. [PDF] [Bib]
• A Contraction Core for Horn Belief Change: Preliminary Report. Thirteenth International Workshop on Nonmonotonic Reasoning (NMR’2010). Toronto, Canada, mai 2010. Travail en collaboration avec Richard Booth, Thomas Meyer et Renata Wassermann. [PDF] [Bib]
• On the Revision of Action Laws: An Algorithmic Approach. IJCAI Workshop on Nonmonotonic Reasoning Action and Change (NRAC’2009). Pasadena, EUA, juillet 2009. [PDF] [Bib]
• Next Steps in Propositional Horn Contraction. Ninth International Symposium on Logical Formalizations of Commonsense Reasoning. Toronto, Canada, juin 2009. Travail en collaboration avec Richard Booth et Thomas Meyer. [PDF]
• How Do I Revise My Agent’s Action Theory?. Ninth International Symposium on Logical Formalizations of Commonsense Reasoning. Toronto, Canada, juin 2009. [PDF]
• Action Theory Revision in Dynamic Logic. Twelfth International Workshop on Nonmonotonic Reasoning (NMR’2008). Sydney, Australie, septembre 2008. [PDF]
• Elaborating Domain Descriptions. Eleventh International Workshop on Nonmonotonic Reasoning (NMR’2006). Lake District, Angleterre, mai/juin 2006. Travail en collaboration avec Andreas Herzig et Laurent Perrussel. [PDF]
• On Modularity of Theories. Advances in Modal Logic (AiML’2004). Manchester, Angleterre, septembre 2004. Travail en collaboration avec Andreas Herzig. [PDF]
• Domain Descriptions Should Be Modular. Tenth International Workshop on Nonmonotonic Reasoning (NMR’2004). Whistler, Canada, juin 2004. Travail en collaboration avec Andreas Herzig. [PDF]
• Regression in Modal Logic. Methods for Modalities 2003 (M4M’2003). Nancy, France, septembre 2003. Travail en collaboration avec Robert Demolombe et 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, France, avril 2002. Travail en collaboration avec Marcos Castilho et Andreas Herzig. [PDF] [Bib]

Mémoires

• What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic. Thèse de doctorat. Institut de Recherche en Informatique de Toulouse (IRIT), Université Paul Sabatier. Toulouse, France, octobre 2006. [PDF] [Bib]
• Causalidade e dependência em raciocínio sobre ações (Causalité et dépendance en raisonnement sur les actions). Mémoire de master. Université Fédérale du Paraná. Curitiba, Brésil, juin 2002. [PDF]

Workshop Proceedings

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

Articles dans des Workshops Nationaux avec Comité de Lecture

• Domain Descriptions Should Be Modular (preliminary report). Journées Nationales sur les Modèles de Raisonnement (JNMR’2003). Paris, France, novembre 2003. Travail en collaboration avec 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, Brésil, novembre 2002. Travail en collaboration avec Marcos Castilho. [PDF]

Résumés et Posters

• Pertinent Entailment. Third World Congress and School on Universal Logic (UniLog’2010). Lisbonne, Portugal, avril 2010. Travail en collaboration avec Katarina Britz et Johannes Heidema. [PDF]
• First Steps in EL Contraction. IJCAI Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE’2009). Pasadena, EUA, juillet 2009. Travail en collaboration avec Richard Booth et Thomas Meyer. [PDF]
• Cohésion et couplage de théories d’action. Colloque des Doctorants EDIT. Université Paul Sabatier, Toulouse, mai 2006. Travail en collaboration avec 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, Brésil, août 2003.Travail en collaboration avec Marcos Castilho. [PDF]

Rapports Techniques

• Action Theory Revision. Rapport technique IRIT/RT–2008-1–FR. Institut de Recherche en Informatique de Toulouse (IRIT), juin 2008.
  
• Action Theory Change Revisited: Contracting Action Laws and Minimal Change. Rapport technique IRIT/RT–2008-2–FR. Institut de Recherche en Informatique de Toulouse (IRIT), juin 2008.
• Contracting TBoxes: the Importance of Being Modular. Rapport technique IRIT/RT–2006-24-FR. Institut de Recherche en Informatique de Toulouse (IRIT), octobre 2006. Travail en collaboration avec Andreas Herzig et Laurent Perrussel. [PDF]
• Elaborating Domain Descriptions (preliminary report). Rapport technique IRIT/RT–2006-01–FR. Institut de Recherche en Informatique de Toulouse (IRIT), janvier 2006. Travail en collaboration avec Andreas Herzig et Laurent Perrussel. [PDF]
• An Assessment of Actions with Indeterminate and Indirect Effects in Some Causal Approaches. Rapport technique IRIT/2004-08-R. Institut de Recherche en Informatique de Toulouse (IRIT), mai 2004. Travail en collaboration avec Andreas Herzig. [PDF]