Research interests

  • Logic-based knowledge representation and reasoning in artificial intelligence
  • Defeasible reasoning, belief change, reasoning about actions
  • Non-classical logics, modal logic, description logics
  • Automated theorem proving

Recent publications

Most recent publications (for the full list of Ivan’s publications, click here):

  • 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]
  • 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]
  • 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]
  • Defeasible Description Logics. Künstliche Intelligenz, 2020. [PDF] [Bib]
  • 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]
  • 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]
  • 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]
  • Towards Conditional Inference under Disjunctive Rationality. 18th International Workshop on Nonmonotonic Reasoning (NMR’2020). Online, September 2020. Joint work with Richard Booth. [PDF] [Bib]

Editorial boards and steering committees

Event organization

  • Program co-chair of FoIKS’22.
  • Program co-chair of RW’21.
  • Co-chair of NMR’20.
  • Co-chair for the Workshop and Tutorial Program of KR’2018.
  • Co-chair of the LPNMR’17 workshop DARe.
  • Publicity and Sponsorship Chair for KR’2016.
  • Co-chair of the ECAI’16 workshop DARe.
  • Co-chair of the IJCAI’15 workshop DARe.
  • Co-chair of the FOIS’14 workshop WoMO.
  • Co-chair of the ECAI’14 workshop DARe.
  • Co-organizer of the research school on Foundations and Challenges of Change in Ontologies and Databases, Bolzano, Italy, 2014.
  • Co-chair of the LPNMR’13 workshop ARCOE-LogIC.
  • Co-chair of the ECAI’12 workshop ARCOE.
  • Co-chair of the IJCAI’11 workshop ARCOE.
  • Co-chair of the ECAI’10 workshop ARCOE.
  • Co-chair of the IJCAI’09 workshop ARCOE.

Invited talks

  • Foundations and Challenges of Reasoning Defeasibly over DL Ontologies. Workshop on ASP technologIes for Querying large scale multisource heterogeneous web information (WASPIQ). Arras, France, June 2017.
  • Pushing the Frontiers of Defeasible Reasoning in Description-Logic Ontologies. Journées sur l’Intelligence Artificielle Fondamentale (JIAF). Montpellier, France, June 2016.

Participation in program committees and journal refereeing

Refereeing of project proposals

Supervision of students

  • Co-supervision of Truong Thanh Ma’s Ph.D. thesis (Université d’Artois, France). Title of work: Utilisation de la fusion de croyances pour améliorer les ontologies et l’exploitation des données ouvertes. Since 2019.
  • Co-supervision of Renan Fernandes’s Ph.D. thesis (Federal University of Pernambuco, Brazil). Since 2019.
  • Co-supervision of Anasse Chafik’s Ph.D. thesis (Université d’Artois, France). Title of work: Defeasible Temporal Logic pour la spécification et la vérification des systèmes tolérants aux exceptions. Since 2018.
  • Co-supervision of Anasse Chafik’s M.Sc. internship (Université d’Artois, France). Title of work: Preferential Linear Temporal Logic. 2018.
  • Co-supervision of Ayoub El Gueddi’s M.Sc. internship (Université d’Artois, France). Title of work: Agrégation et pré-ordre partiel. 2017.
  • Supervision of Issam Zebdi’s M.Sc. internship (Université d’Artois, France). Title of work: Implémentation de deux méthodes de fermeture rationnelle pour la logique de typicité propositionnelle. 2017.
  • Co-supervision of Glauco Trindade’s M.Sc. (PESC-COPPE and Federal University of Rio de Janeiro, Brazil). Title of dissertation: Video Game Development Ontology. 2015.
  • Co-supervision of Kodylan Moodley’s Ph.D. (CSIR Meraka Institute and University of KwaZulu-Natal, South Africa). Title of dissertation: Defeasible Reasoning for Description Logic Ontologies. Since 2011.
  • Co-supervision of Kodylan Moodley’s M.Sc. (CSIR Meraka Institute and University of KwaZulu-Natal, South Africa). Title of dissertation: Debugging and Repair of Description Logic Ontologies. 2009-2011.
  • Co-supervision of Maurice Ndashimye’s honours (African Institute for Mathematical Sciences, South Africa). Title of essay: Tableau Methods for Epistemic Modal Logics. 2011.

Examining boards

  • Examining of Adam Kaliski’s M.Sc. (University of Cape Town, South Africa). Title of M.Sc. thesis: An Overview of KLM-Style Defeasible Entailment. 2020.
  • Examining of Antoine Gréa’s Ph.D. (University of Lyon, France). Thesis title: Endomorphic metalanguage and abstract planning for real-time intent recognition. 2020.
  • Examining of Cleyton Mário de Oliveira Rodrigues’s Ph.D. (Federal University of Pernambuco, Brazil). Thesis title: Uma Abordagem Ontológica para Simulação de Ação Legal e Consistência Semântica Aplicada à Legislação Brasileira. 2019.
  • Examining of Leonard Botha’s M.Sc. (University of Cape Town, South Africa). Title of M.Sc. thesis: The Bayesian Description Logic BALC. 2018.
  • Examining of Eunice Palmeira da Silva’s Ph.D. (Federal University of Pernambuco, Brazil). Thesis title: Conversão de Provas em Lógica de Descrições ALC Geradas pelo Método de Conexões para Sequentes. 2017.
  • Examining of Willem Coetzer’s Ph.D. (University of KwaZulu-Natal, South Africa). Thesis title: A Knowledge-Based System for Automated Discovery of Ecological Interactions in Flower-Visiting Data. 2017.
  • Examining of Dimas de Melo Filho’s M.Sc. (Federal University of Pernambuco, Brazil). Title of dissertation: A Connection-based Reasoner for ALC Ontologies. 2015.
  • Examining of Ryan Ribeiro de Azevedo’s Ph.D. (Federal University of Pernambuco, Brazil). Thesis title: Um sistema de diálogo inteligente baseado em lógica de descrições. 2015.
  • Examining of Raphael Mendes de Oliveira Cóbe’s Ph.D. (University of São Paulo, Brazil). Thesis title: Integração entre múltiplas ontologias: reuso e gerência de conflitos. 2014.
  • Examining of José David Fernández Curado’s M.Sc. (University of São Paulo, Brazil). Title of dissertation: Typicality in description logics. 2014.
  • Examining of Riku Nortjé’s M.Sc. (University of South Africa). Title of dissertation: Module Extraction for Inexpressive Description Logics. 2011.