Talks at Conferences

• Explaining description logic reasoning (Slides)
  at the 8th International Joint Conference on Rules and Reasoning (RuleML+RR'24), Bucharest, Romania, Septeber 18, 2024. Invited Talk.
• Expressivity of planning with Horn description logic ontologies (Slides)
  at the 36th AAAI Conference on Artificial Intelligence (AAAI'22), Online [Vancouver, Canada], February 25, 2022.
• Making DL-Lite planning practical (Poster, Video)
  at the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR'21), Online [Hanoi, Vietnam], November 12, 2021.
• Finding new diamonds: Temporal minimal-world query answering over sparse ABoxes (Slides)
  at the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR'19), Bolzano, Italy, September 17, 2019.
• Query rewriting for DL-Lite with $n$-ary concrete domains (Slides)
  at the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), Melbourne, Australia, August 23, 2017.
• Preferential query answering in the Semantic Web with possibilistic networks (Slides)
  at the 39th German Conference on Artificial Intelligence (KI'16), Klagenfurt, Austria, September 29, 2016.
• Reasoning in expressive description logics under infinitely valued Gödel semantics (Slides)
  at the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), Wrocław, Poland, September 24, 2015.
• Decidable Gödel description logics without the finitely-valued model property (Slides)
  at the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14), Vienna, Austria, July 23, 2014.
• Positive subsumption in fuzzy ${EL}$ with general t-norms (Slides)
  at the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), Beijing, China, August 7, 2013.
• How fuzzy is my fuzzy description logic? (Slides)
  at the 6th International Joint Conference on Automated Reasoning (IJCAR'12), Manchester, UK, June 28, 2012.
• Finding finite Herbrand models (Slides)
  at the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'12), Mérida, Venezuela, March 14, 2012.
• The inclusion problem for weighted automata on infinite trees (Slides)
  at the 13th International Conference on Automata and Formal Languages (AFL'11), Debrecen, Hungary, August 21, 2011.

Talks at Workshops

• Explaining description logic entailments in practice with Evee and Evonne (Slides)
  at the 3rd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR'22), Haifa, Israel, July 31, 2022.
• Finding good proofs for answers to conjunctive queries mediated by lightweight ontologies (extended abstract) (Slides)
  at the 3rd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR'22), Haifa, Israel, July 31, 2022.
• Concise justifications versus detailed proofs for description logic entailments (Slides, Video)
  at the 2nd Workshop on Explainable Logic-Based Knowledge Representation (XLoKR'21), Online [Hanoi, Vietnam], November 5, 2021.
• Making DL-Lite planning practical (Slides)
  at the 34th International Workshop on Description Logics (DL'21), Bratislava, Slovakia, September 20, 2021.
• The complexity landscape of temporal conjunctive queries (Slides)
  at the 2nd Workshop on High-Level Declarative Stream Processing (HiDeSt'18), Berlin, Germany, September 25, 2018. Invited Talk.
• Fuzzy description logics and probabilistic databases (Slides)
  at the First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling, Dresden, Germany, June 26, 2018.
• Ontology-mediated queries for probabilistic databases (Slides)
  at the Workshop on Logical Foundations for Uncertainty and Machine Learning (LFU'17), Melbourne, Australia, August 20, 2017.
• Ontology-mediated queries for probabilistic databases (Slides)
  at the 30th International Workshop on Description Logics (DL'17), Montpellier, France, July 21, 2017.
• Query rewriting for DL-Lite with $n$-ary concrete domains (Slides)
  at the 30th International Workshop on Description Logics (DL'17), Montpellier, France, July 19, 2017.
• Fuzzy DLs over finite lattices with nominals (Slides)
  at the 27th International Workshop on Description Logics (DL'14), Vienna, Austria, July 18, 2014.
• Gödel ${{FL}}_0$ with greatest fixed-point semantics (Slides)
  at the 27th International Workshop on Description Logics (DL'14), Vienna, Austria, July 18, 2014.
• Temporal query answering in DL-Lite (Slides)
  at the 26th International Workshop on Description Logics (DL'13), Ulm, Germany, July 24, 2013.
• Recent advances in unification for the ${EL}$ family (Slides)
  at the 26th International Workshop on Unification (UNIF'12), Manchester, UK, July 1, 2012.
• Computing local unifiers in the description logic ${EL}$ without the top concept (Slides)
  at the 25th International Workshop on Unification (UNIF'11), Wrocław, Poland, July 31, 2011.
• Fuzzy ontologies over lattices with t-norms (Slides)
  at the 24th International Workshop on Description Logics (DL'11), Barcelona, Spain, July 13, 2011.

Other Talks

• Answering temporal conjunctive queries over DL ontologies (Slides)
  talk at the seminar of the Chair for Automata Theory at TU Dresden, Dresden, Germany, May 18, 2015.
• A short guide to fuzzy description logics (Slides)
  talk at the seminar of the Information Systems Group at the University of Oxford, Oxford, UK, December 9, 2014.
• Fuzzy description logics with general concept inclusions (Slides)
  Defense talk for my PhD thesis at TU Dresden, Dresden, Germany, May 23, 2014.
• Fuzzy description logics with general concept inclusions (Slides)
  Talk at the 2013 Workshop of the DFG Research Training Group 1763 (QuantLA), Tautewalde, Germany, September 11, 2013.
• Reasoning with vagueness in description logics using automata and tableaux (Slides)
  "Status talk" for the PhD program of the Faculty of Computer Science of TU Dresden, Dresden, Germany, January 10, 2013.