Book chapter

  • A Propositional Typicality Logic for Extending Rational Consequence. Trends in Belief Revision and Argumentation Dynamics, volume 48 of Studies in Logic – Logic and Cognitive Systems. King’s College Publications, 2013. Joint work with Richard Booth and Thomas Meyer. [PDF]

Journal articles

  • A Note on a Description Logic of Concept and Role Typicality. Universal Logic, to appear, 2018.
  • Preferential Accessibility and Preferred Worlds. Journal of Logic, Language and Information, volume 27, issue 2, 2018. Joint work with Katarina Britz. [PDF] [Bib]
  • From KLM-Style Conditionals to Defeasible Modalities, and Back. Journal of Applied Non-Classical Logics, volume 28, issue 1, 2018. Joint work with Katarina Britz. [PDF] [Bib]
  • Constrained Consequence. Logica Universalis, volume 5, issue 2, 2011. Joint work with Katarina Britz and Johannes Heidema. [PDF] [Bib]
  • Preferential Reasoning for Modal Logics. Electronic Notes in Theoretical Computer Science (ENTCS), volume 278, 2011. Joint work with Katarina Britz and Thomas Meyer. [PDF] [Bib]
  • On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. Journal of Artificial Intelligence Research (JAIR), volume 42, 2011. Joint work with Richard Booth, Thomas Meyer and Renata Wassermann. [PDF] [Bib]
  • 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

  • A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework. Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR). Tempe, USA, November 2018. Joint work with Giovanni Casini, Eduardo Fermé and Thomas Meyer. [PDF] [Bib]
  • Cardinality Restrictions within Description Logic Connection Calculi. Proceedings of the 2nd International Joint Conference on Rules and Reasoning. Luxembourg, September 2018. Joint work with Fred Freitas. [PDF] [Bib]
  • Rationality and context in defeasible subsumption. 10th International Symposium on Foundations of Information and Knowledge Systems. Budapest, Hungary, May 2018. Joint work with Katarina Britz. [PDF] [Bib]
  • Introducing Role Defeasibility in Description Logics. Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA’2016). Larnaca, Cyprus, November 2016. Joint work with Katarina Britz. [PDF] [Bib]
  • Introducing Defeasibility into OWL Ontologies. 14th International Semantic Web Conference (ISWC’2015). Bethlehem, USA, October 2015. Joint work with Giovanni Casini, Thomas Meyer, Kody Moodley and Uli Sattler. [PDF] [Bib]
  • On the Entailment Problem for a Logic of Typicality. 24th International Joint Conference on Artificial Intelligence (IJCAI’2015). Buenos Aires, Argentina, July 2015. Joint work with Richard Booth, Giovanni Casini and Thomas Meyer. [PDF] [Bib]
  • Defeasible Modalities. Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK’2013). Chennai, India, January 2013. Joint work with Katarina Britz. [PDF] [Bib]
  • Normal Modal Preferential Consequence. Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI’2012), LNAI. Sydney, Australia, December 2012. Joint work with Katarina Britz and Thomas Meyer. [PDF] [Bib]
  • A Defeasible Reasoning Approach for Description Logic Ontologies. Proceedings of the Annual Research Conference of the South African Institute for Computer Scientists and Information Technologists (SAICSIT). Centurion, South Africa, October 2012. Joint work with Kodylan Moodley and Thomas Meyer. [PDF]
  • PTL: A Propositional Typicality Logic. Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA’2012). Toulouse, France, September 2012. Joint work with Richard Booth and Thomas Meyer. [PDF] [Bib]
  • Semantic Foundation for Preferential Description Logics. Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence (AI’2011), LNAI. Perth, Australia, December 2011. Joint work with Katarina Britz and Thomas Meyer. [PDF] [Bib]
  • A Logic-Based Perspective on Agent Reconfiguration: Preliminary Report. Proceedings of the IEEE Conference Africon. Livingstone, Zambia, September 2011. Joint work with Thomas Meyer. [PDF] [Bib]
  • Root Justifications for Ontology Repair. Fifth International Conference on Web Reasoning and Rule Systems (Rules & Reasoning 2011). Galway, Ireland, August 2011. Joint work with Kodylan Moodley and Thomas Meyer. [PDF]
  • A Logic for Reasoning about Actions and Explicit Observations. Proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence (AI’2010). Adelaide, Australia, December 2010. Joint work with Gavin Rens, Thomas Meyer and Alexander Ferrein. [PDF] [Bib]
  • Horn Belief Change: A Contraction Core. Proceedings of the 19th European Conference on Artificial Intelligence (ECAI’2010). Lisbon, Portugal, August 2010. Joint work with Richard Booth, Thomas Meyer, and Renata Wassermann. [PDF] (short paper)
  • 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

  • Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond. 17th International Workshop on Nonmonotonic Reasoning (NMR’2018). Tempe, USA, October 2018. Joint work with Giovanni Casini and Thomas Meyer. [PDF] [Bib]
  • Context-based defeasible subsumption for dSROIQ 13th International Symposium on Logical Formalizations of Commonsense Reasoning. London, UK, November 2017. Joint work with Katarina Britz. [PDF] [Bib]
  • Towards defeasible SROIQ. 30th International Workshop on Description Logics (DL’2017). Montpellier, France, July 2017. Joint work with Katarina Britz. [PDF] [Bib]
  • Preferential Modalities Revisited. 16th International Workshop on Nonmonotonic Reasoning (NMR’2016). Cape Town, South Africa, April 2016. Joint work with Katarina Britz. [PDF] [Bib]
  • What Does Entailment for PTL Mean? 12th International Symposium on Logical Formalizations of Commonsense Reasoning. Palo Alto, USA, March 2015. Joint work with Richard Booth, Giovanni Casini and Thomas Meyer. [PDF] [Bib]
  • Towards a Logic of Dilation. 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness (PRUV). Vienna, Austria, July 2014. Joint work with Katarina Britz. [PDF] [Bib]
  • Preferential Role Restrictions. 26th International Workshop on Description Logics (DL’2013). Ulm, Germany, July 2013. Joint work with Katarina Britz, Giovanni Casini and Thomas Meyer. [PDF] [Bib]
  • Towards Practical Defeasible Reasoning for Description Logics. 26th International Workshop on Description Logics (DL’2013). Ulm, Germany, July 2013. Joint work with Giovanni Casini, Thomas Meyer and Kodylan Moodley. [PDF] [Bib]
  • Nonmonotonic reasoning in Description Logics: Rational Closure for the ABox. 26th International Workshop on Description Logics (DL’2013). Ulm, Germany, July 2013. Joint work with Giovanni Casini, Thomas Meyer and Kodylan Moodley. [PDF] [Bib]
  • Defeasible Modes of Inference: A Preferential Perspective. Fourteenth International Workshop on Nonmonotonic Reasoning (NMR’2012). Rome, Italy, June 2012. Joint work with Katarina Britz. [PDF] [Bib]
  • A Protégé Plug-In for Defeasible Reasoning. 25th International Workshop on Description Logics (DL’2012). Rome, Italy, June 2012. Joint work with Kodylan Moodley and Thomas Meyer. [PDF]
  • Concept Model Semantics for DL Preferential Reasoning. 24th International Workshop on Description Logics (DL’2011). Barcelona, Spain, July 2011. Joint work with Katarina Britz and Thomas Meyer. [PDF]
  • 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]

Refereed extended abstracts, abstracts and posters

  • Defeasible Modes of Inference. Trends in Logic XI. Bochum, Germany, June 2012. Joint work with Katarina Britz.
  • Pertinence Construed Modally. Advances in Modal Logic (AiML’2010). Moscow, Russia, August 2010. Joint work with Arina Britz and Johannes Heidema. [PDF]
  • First Steps in the Computation of Root Justifications. ECAI Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE’2010). Lisbon, Portugal, August 2010. Joint work with Thomas Meyer and Kodylan Moodley. [PDF]
  • 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]
  • 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. 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]
  • 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]

Technical reports

  • Pertinence Construed Modally. Technical Report CSIR/MI/AIP/IR/2010/0009/A. Meraka Institute, Council for Scientific and Industrial Research (CSIR), August 2010. Joint work with Katarina Britz and Johannes Heidema. [PDF]
  • Partially Observable Markov Decision Logic Part I: Introducing Explicit Observation Constants. Technical Report KRR-10-01. Meraka Institute, Council for Scientific and Industrial Research (CSIR), June 2010. Joint work with Gavin Rens and Thomas Meyer.
  • 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]



website statistics