publications

March 11th, 2010

Journal Articles

  • 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, number 16-17, 2007. Joint work with Andreas Herzig. [PDF] [Bib]
  • Regression in Modal Logic. Journal of Applied Non-Classical Logics, volume 13, number 2/2003. Joint work with Robert Demolombe and Andreas Herzig. [PDF] [Bib]

Papers in Refereed Conference Proceedings

  • Next Steps in Propositional Horn Contraction. Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI’2009). Pasadena, USA, July 2009. Joint work with Richard Booth and 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, September 2008. [PDF] [Bib]
  • A Modularity Approach for a Fragment of ALC. Tenth European Conference on Logics in Artificial Intelligence (JELIA’2006), LNAI 4160. Liverpool, England, September 2006. Joint work with Andreas Herzig. [PDF] [Bib]
  • Elaborating Domain Descriptions. Proceedings of the 17th European Conference on Artificial Intelligence (ECAI’2006). Riva del Garda, Italy, August 2006. Joint work with Andreas Herzig and Laurent Perrussel. [PDF] [Bib]
  • On the Modularity of Theories. Advances in Modal Logic Series, King’s College Publications, 2005. (Selected papers of AiML’2004.) Joint work with 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, Scotland, August 2005. Joint work with Andreas Herzig. [PDF] [Bib]
  • Domain Descriptions Should Be Modular. Proceedings of the 16th European Conference on Artificial Intelligence (ECAI’2004). Valencia, Spain, August 2004. Joint work with Andreas Herzig. [PDF] [Bib]

Refereed International Workshop Papers

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

Theses

  • What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic. PhD Thesis. Institut de Recherche en Informatique de Toulouse (IRIT), Université Paul Sabatier. Toulouse, France, October 2006. [PDF] [Bib]
  • Causalidade e dependência em raciocínio sobre ações (Causality and Dependence in Reasoning about Actions). Master’s thesis (in Portuguese). Federal University of Paraná. Curitiba, Brazil, June 2002. [PDF]

Workshop Proceedings

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

Refereed National Workshop Papers

  • Domain Descriptions Should Be Modular (preliminary report). Journées Nationales sur les Modèles de Raisonnement (JNMR’2003). Paris, France, November 2003. Joint work with 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, November 2002 (in Portuguese). Joint work with Marcos Castilho. [PDF]

Refereed Abstracts and Posters

  • Pertinent Entailment. Third World Congress and School on Universal Logic (UniLog’2010). Lisbon, Portugal, April 2010. Joint work with Katarina Britz and Johannes Heidema. [PDF]
  • First Steps in EL Contraction. IJCAI Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE’2009). Pasadena, USA, July 2009. Joint work with Richard Booth and Thomas Meyer. [PDF]
  • Cohésion et couplage de théories d’action. Colloque des Doctorants EDIT. Université Paul Sabatier, Toulouse, May 2006 (in French). Joint work with 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, Brazil, August 2003 (in Portuguese). Joint work with Marcos Castilho. [PDF]

Technical Reports

  • Action Theory Revision. Technical Report IRIT/RT–2008-1–FR. Institut de Recherche en Informatique de Toulouse (IRIT), June 2008.
  • Action Theory Change Revisited: Contracting Action Laws and Minimal Change. Technical Report IRIT/RT–2008-2–FR. Institut de Recherche en Informatique de Toulouse (IRIT), June 2008.
  • Contracting TBoxes: the Importance of Being Modular. Technical Report IRIT/RT–2006-24-FR. Institut de Recherche en Informatique de Toulouse (IRIT), October 2006. Joint work with Andreas Herzig and Laurent Perrussel. [PDF]
  • Elaborating Domain Descriptions (preliminary report). Technical Report IRIT/RT–2006-01–FR. Institut de Recherche en Informatique de Toulouse (IRIT), January 2006. Joint work with Andreas Herzig and Laurent Perrussel. [PDF]
  • An Assessment of Actions with Indeterminate and Indirect Effects in Some Causal Approaches. Technical Report IRIT/2004-08-R. Institut de Recherche en Informatique de Toulouse (IRIT), May 2004. Joint work with Andreas Herzig. [PDF]

Comments are closed.