research

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. Universal Logic, to appear, 2018.
  • 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]
  • 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]

Edition of journals

  • Guest editor of the Special Issue of the International Journal of Approximate Reasoning on Defeasible and Ampliative Reasoning, ongoing.
  • Guest editor of the Special Issue of the Journal of Web Semantics on Reasoning with Context in the Semantic Web, 2011.

Event organization

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