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):

  • Preferential Accessibility and Preferred Worlds. Journal of Logic, Language and Information. Joint work with Katarina Britz. To appear.
  • From KLM-Style Conditionals to Defeasible Modalities, and Back. Journal of Applied Non-Classical Logics. Joint work with Katarina Britz. To appear.
  • 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]

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