Ivan José Varzinczak online

Artigos em Revistas

• 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, número 16-17, 2007. Trabalho em conjunto com Andreas Herzig. [PDF] [Bib]
• Regression in Modal Logic. Journal of Applied Non-Classical Logics, volume 13, número 2/2003. Trabalho em conjunto com Robert Demolombe e Andreas Herzig. [PDF] [Bib]

Artigos em Conferências Internacionais com Anais e Comitê de Avaliação

• Next Steps in Propositional Horn Contraction. Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI’2009). Pasadena, EUA, julho de 2009. Trabalho em conjunto com Richard Booth e 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, Austrália, setembro de 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, setembro de 2006. Trabalho em conjunto com Andreas Herzig. [PDF] [Bib]
• Elaborating Domain Descriptions. Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’2006). Riva del Garda, Itália, agosto de 2006. Trabalho em conjunto com Andreas Herzig e Laurent Perrussel. [PDF] [Bib]
• On the Modularity of Theories. Advances in Modal Logic Series, King’s College Publications, 2005. (Selected papers of AiML’2004.) Trabalho em conjunto com Andreas Herzig. [PDF] [Bib]
• Cohesion, Coupling and the Meta-Theory of Actions. Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI’2005). Edimburgo, Escócia, agosto de 2005. Trabalho em conjunto com Andreas Herzig. [PDF] [Bib]
• Domain Descriptions Should Be Modular. Proceedings of the 16th European Conference on Artificial Intelligence (ECAI’2004). Valência, Espanha, agosto de 2004. Trabalho em conjunto com Andreas Herzig. [PDF] [Bib]

Artigos em Workshops Internacionais com Comitê de Avaliação

• Semantic Diff as the Basis for Knowledge Base Versioning. Thirteenth International Workshop on Nonmonotonic Reasoning (NMR’2010). Toronto, Canadá, maio de 2010. Trabalho em conjunto com Enrico Franconi e Thomas Meyer. [PDF] [Bib]
• Pertinent Reasoning. Thirteenth International Workshop on Nonmonotonic Reasoning (NMR’2010). Toronto, Canadá, maio de 2010. Trabalho em conjunto com Katarina Britz e Johannes Heidema. [PDF] [Bib]
• A Contraction Core for Horn Belief Change: Preliminary Report. Thirteenth International Workshop on Nonmonotonic Reasoning (NMR’2010). Toronto, Canadá, maio de 2010. Trabalho em conjunto com Richard Booth, Thomas Meyer e 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, julho de 2009. [PDF] [Bib]
• Next Steps in Propositional Horn Contraction. Ninth International Symposium on Logical Formalizations of Commonsense Reasoning. Toronto, Canadá, junho de 2009. Trabalho em conjunto com Richard Booth e Thomas Meyer. [PDF]
• How Do I Revise My Agent’s Action Theory?. Ninth International Symposium on Logical Formalizations of Commonsense Reasoning. Toronto, Canadá, junho de 2009. [PDF]
• Action Theory Revision in Dynamic Logic. Twelfth International Workshop on Nonmonotonic Reasoning (NMR’2008). Sydney, Austrália, setembro de 2008. [PDF]
• Elaborating Domain Descriptions. Eleventh International Workshop on Nonmonotonic Reasoning (NMR’2006). Lake District, Inglaterra, maio e junho de 2006. Trabalho em conjunto com Andreas Herzig e Laurent Perrussel. [PDF]
• On Modularity of Theories. Advances in Modal Logic (AiML’2004). Manchester, Inglaterra, setembro de 2004. Trabalho em conjunto com Andreas Herzig. [PDF]
• Domain Descriptions Should Be Modular. Tenth International Workshop on Nonmonotonic Reasoning (NMR’2004). Whistler, Canadá, junho de 2004. Trabalho em conjunto com Andreas Herzig. [PDF]
• Regression in Modal Logic. Methods for Modalities 2003 (M4M’2003). Nancy, França, setembro de 2003. Trabalho em conjunto com Robert Demolombe e 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, França, abril de 2002. Trabalho em conjunto com Marcos Castilho e Andreas Herzig. [PDF] [Bib]

Tese de Doutorado e Dissertação de mestrado

• What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic. Tese de doutorado. Institut de Recherche en Informatique de Toulouse (IRIT), Université Paul Sabatier. Toulouse, França, outubro de 2006. [PDF] [Bib]
• Causalidade e dependência em raciocínio sobre ações. Dissertação de mestrado. Universidade Federal do Paraná. Curitiba, junho de 2002. [PDF]

Workshop Proceedings

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

Artigos em Workshops Nacionais com Comitê de Avaliação

• Domain Descriptions Should Be Modular (preliminary report). Journées Nationales sur les Modèles de Raisonnement (JNMR’2003). Paris, França, novembro de 2003. Trabalho em conjunto com 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, PE, novembro de 2002. Trabalho em conjunto com Marcos Castilho. [PDF]

Resumos e Pôsteres

• Pertinent Entailment. Third World Congress and School on Universal Logic (UniLog’2010). Lisboa, Portugal, abril de 2010. Trabalho em conjunto com Katarina Britz e Johannes Heidema. [PDF]
• First Steps in EL Contraction. IJCAI Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE’2009). Pasadena, EUA, julho de 2009. Trabalho em conjunto com Richard Booth e Thomas Meyer. [PDF]
• Cohésion et couplage de théories d’action. Colloque des Doctorants EDIT. Université Paul Sabatier, Toulouse, maio de 2006. Trabalho em conjunto com 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, agosto de 2003.Trabalho em conjunto com Marcos Castilho. [PDF]

Relatórios Técnicos

• Action Theory Revision. Relatório Técnico IRIT/RT–2008-1–FR. Institut de Recherche en Informatique de Toulouse (IRIT), junho de 2008.
  
• Action Theory Change Revisited: Contracting Action Laws and Minimal Change. Relatório Técnico IRIT/RT–2008-2–FR. Institut de Recherche en Informatique de Toulouse (IRIT), junho de 2008.
• Contracting TBoxes: the Importance of Being Modular. Relatório Técnico IRIT/RT–2006-24-FR. Institut de Recherche en Informatique de Toulouse (IRIT), outubro de 2006. Trabalho em conjunto com Andreas Herzig e Laurent Perrussel. [PDF]
• Elaborating Domain Descriptions (preliminary report). Relatório Técnico IRIT/RT–2006-01–FR. Institut de Recherche en Informatique de Toulouse (IRIT), janeiro de 2006. Trabalho em conjunto com Andreas Herzig e Laurent Perrussel. [PDF]
• An Assessment of Actions with Indeterminate and Indirect Effects in Some Causal Approaches. Relatório Técnico IRIT/2004-08-R. Institut de Recherche en Informatique de Toulouse (IRIT), maio de 2004. Trabalho em conjunto com Andreas Herzig. [PDF]