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

Publications

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

  • 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]
  • 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]
  • 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]
  • 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]
  • 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]

Editorial boards

Event organization

  • 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 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 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.