Book chapters

  1. A KLM Perspective on Defeasible Reasoning for Description Logics. Description Logic, Theory Combination, and All That. Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 2019. Joint work with Katarina Britz, Giovanni Casini, and Thomas Meyer. [PDF] [Bib]
  2. 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

  1. Situated Conditional Reasoning. Artificial Intelligence, volume 319, 2023. Joint work with Giovanni Casini and Thomas Meyer.
  2. Defeasible Linear Temporal Logic. Journal of Applied Non-Classical Logics, volume 33, issue 1, 2023. Joint work with Anasse Chafik, Fahima Cheikh, and Jean-François Condotta.
  3. Principles of KLM-style Defeasible Description Logics. ACM Transactions on Computational Logic, 2021. Joint work with Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, and Uli Sattler. [PDF] [Bib]
  4. Defeasible Description Logics. Künstliche Intelligenz, 2020. [PDF] [Bib]
  5. On rational entailment for Propositional Typicality Logic. Artificial Intelligence, volume 277, 2019. Joint work with Richard Booth, Giovanni Casini, and Thomas Meyer. [PDF] [Bib]
  6. Contextual rational closure for defeasible ALC. Annals of Mathematics and Artificial Intelligence, volume 87, issue 1-2, 2019. Joint work with Katarina Britz. [PDF] [Bib]
  7. LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability. IfCoLog Journal of Logics and their Applications, volume 6, issue 5, 2019. Joint work with Cleyton Rodrigues, Eunice Palmeira da Silva, Fred Freitas, and Italo Oliveira. [PDF] [Bib]
  8. A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies. Universal Logic, volume 12, issue 3-4, 2018. (This work was the recipient of the first Louis Couturat Logic Prize (France, 2018). It was then presented at the Universal Logic Contest at UNILOG 2018 in Vichy and subsequently won the first Universal Logic Prize.) [PDF] [Bib]
  9. Preferential Accessibility and Preferred Worlds. Journal of Logic, Language and Information, volume 27, issue 2, 2018. Joint work with Katarina Britz. [PDF] [Bib]
  10. 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]
  11. Constrained Consequence. Logica Universalis, volume 5, issue 2, 2011. Joint work with Katarina Britz and Johannes Heidema. [PDF] [Bib]
  12. 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]
  13. On Action Theory Change. Journal of Artificial Intelligence Research (JAIR), volume 37, 2010. [PDF] [Bib]
  14. Metatheory of Actions: Beyond Consistency. Artificial Intelligence Journal, volume 171, issue 16-17, 2007. Joint work with Andreas Herzig. [PDF] [Bib]
  15. Regression in Modal Logic. Journal of Applied Non-Classical Logics, volume 13, issue 2, 2003. Joint work with Robert Demolombe and Andreas Herzig. [PDF] [Bib]

Papers in refereed conference proceedings

  1. KLM-Style Defeasibility for Restricted First-Order Logic. Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR’2022), Berlin, Germany, September 2022. Joint work with Giovanni Casini, Thomas Meyer, and Guy Paterson-Jones. [PDF] [Bib]
  2. Region-Based Merging of Open-Domain Terminological Knowledge. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR’2022), Haifa, Israel, August 2022. Joint work with Zied Bouraoui, Sébastien Konieczny, Truong-Thanh Ma, and Nicolas Schwind. [PDF] [Bib]
  3. Tree Edit Distance Based Ontology Merging Evaluation Framework. Proceedings of the 15th International Conference on Knowledge Science, Engineering and Management (KSEM’2022), online, August 2022. Joint work with Zied Bouraoui, Sébastien Konieczny, and Truong-Thanh Ma. [PDF] [Bib]
  4. Contextual Conditional Reasoning. Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI’2021). Online, February 2021. Joint work with Giovanni Casini and Thomas Meyer. [PDF] [Bib]
  5. Conditional Inference under Disjunctive Rationality. Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI’2021). Online, February 2021. Joint work with Richard Booth. [PDF] [Bib]
  6. A one-pass tree-shaped tableau for defeasible LTL. Proceedings of the 28th International Symposium on Temporal Representation and Reasoning (TIME’2021). Online, September 2021. Joint work with Anasse Chafik, Fahima Cheikh, and Jean-François Condotta. [PDF] [Bib]
  7. Rational Defeasible Belief Change. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR’2020). Online, September 2020. Joint work with Giovanni Casini and Thomas Meyer. [PDF] [Bib]
  8. On the Decidability of a Fragment of Preferential LTL. Proceedings of the 27th International Symposium on Temporal Representation and Reasoning (TIME’2020). Online, September 2020. Joint work with Anasse Chafik, Fahima Cheikh, and Jean-François Condotta. [PDF] [Bib]
  9. An exercise in a non-classical semantics for reasoning with incompleteness and inconsistencies. Proceedings of the Southern African Conference for AI Research, 2020. [PDF] [Bib]
  10. Model-based Merging of Open-Domain Ontologies. Proceedings of the 32nd International Conference on Tools with Artificial Intelligence (ICTAI). Online, 2020. Joint work with Zied Bouraoui, Sébastien Konieczny, and Truong-Thanh Ma.
  11. Preferential Tableaux for Contextual Defeasible ALC. Proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’2019). London, UK, September 2019. Joint work with Katarina Britz. [PDF] [Bib]
  12. Simple Conditionals with Constrained Right Weakening. Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI’2019). Macao, China, August 2019. Joint work with Giovanni Casini and Thomas Meyer. [PDF] [Bib]
  13. Taking Defeasible Entailment beyond Rational Closure. Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA’2019). Rende, Italy, May 2019. Joint work with Giovanni Casini and Thomas Meyer. [PDF] [Bib]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Preferential Reasoning for Modal Logics. Methods for Modalities, Electronic Notes in Theoretical Computer Science (ENTCS), volume 278, 2011. Joint work with Katarina Britz and Thomas Meyer. [PDF] [Bib]
  26. 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]
  27. 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]
  28. 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]
  29. 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)
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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

  1. A connection method for a defeasible extension of ALC. 34th International Workshop on Description Logics (DL’2021). Online, September 2021. Joint work with Renan Fernandes and Fred Freitas. [PDF] [Bib]
  2. Towards Conditional Inference under Disjunctive Rationality. 18th International Workshop on Nonmonotonic Reasoning (NMR’2020). Online, September 2020. Joint work with Richard Booth. [PDF] [Bib]
  3. Reasoning with Contextual Defeasible ALC. Proceedings of the 32nd International Workshop on Description Logics (DL’2019). Oslo, Norway, June 2019. Joint work with Katarina Britz. [PDF] [Bib]
  4. 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]
  5. 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]
  6. Towards defeasible SROIQ. 30th International Workshop on Description Logics (DL’2017). Montpellier, France, July 2017. Joint work with Katarina Britz. [PDF] [Bib]
  7. Preferential Modalities Revisited. 16th International Workshop on Nonmonotonic Reasoning (NMR’2016). Cape Town, South Africa, April 2016. Joint work with Katarina Britz. [PDF] [Bib]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. Pertinent Reasoning. Thirteenth International Workshop on Nonmonotonic Reasoning (NMR’2010). Toronto, Canada, May 2010. Joint work with Katarina Britz and Johannes Heidema. [PDF] [Bib]
  18. 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]
  19. 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]
  20. 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]
  21. How Do I Revise My Agent’s Action Theory?. Ninth International Symposium on Logical Formalizations of Commonsense Reasoning. Toronto, Canada, June 2009. [PDF]
  22. Action Theory Revision in Dynamic Logic. Twelfth International Workshop on Nonmonotonic Reasoning (NMR’2008). Sydney, Australia, September 2008. [PDF]
  23. 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]
  24. On Modularity of Theories. Advances in Modal Logic (AiML’2004). Manchester, England, September 2004. Joint work with Andreas Herzig. [PDF]
  25. Domain Descriptions Should Be Modular. Tenth International Workshop on Nonmonotonic Reasoning (NMR’2004). Whistler, Canada, June 2004. Joint work with Andreas Herzig. [PDF]
  26. Regression in Modal Logic. Methods for Modalities 2003 (M4M’2003). Nancy, France, September 2003. Joint work with Robert Demolombe and Andreas Herzig. [PDF]
  27. 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

  1. Habilitation: Defeasible Description Logics. Habilitation à diriger des recherches. Centre de Recherche en Informatique de Lens (CRIL), Université d’Artois. Lens, France, November 2019.
  2. Habilitation: Summary of main contributions to the field and some general perspectives on future research. Habilitation à diriger des recherches. Centre de Recherche en Informatique de Lens (CRIL), Université d’Artois. Lens, France, November 2019. [PDF]
  3. 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]
  4. 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

  1. Defeasible Modes of Inference. Trends in Logic XI. Bochum, Germany, June 2012. Joint work with Katarina Britz.
  2. Pertinence Construed Modally. Advances in Modal Logic (AiML’2010). Moscow, Russia, August 2010. Joint work with Arina Britz and Johannes Heidema. [PDF]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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

  1. 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]
  2. 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.
  3. Action Theory Revision. Technical Report IRIT/RT–2008-1–FR. Institut de Recherche en Informatique de Toulouse (IRIT), June 2008.
  4. 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.
  5. 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]
  6. 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]
  7. 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]