- Unification and Matching in Description Logics.
- Invited talk
at ICCS'98.
- Combination of Constraint Solvers.
- Invited talk
at the
Logic Seminar of the
Department of Mathematics of
the University of Illinois at Urbana-Champaign, February 1998.
- Tableau Algorithms for Description Logics.
- Invited talk
at Tableaux2000.
- Nonstandard Inferences in Description Logics.
- Invited talk
at the workshop
Applications of Description Logics
at KI2001.
- A Comparison of Automata and Tableau Methods for Modal Satisfiability.
- Invited talk
at the Symposium
ELICS'02 in honor of
Moshe Vardi.
- Engineering of Logics for the Content-based Representation of Information.
- Invited talk and
ICOM
demo
at RTA'02.
- From Tableaux to Automata for Description Logics.
- Invited talk
at
LPAR'03 and
ARW'03.
- A new n-ary existential quantifier in Description Logics, or How syntactic sugar can speed up reasoning.
- Invited talk
at the Computer Science
Kolloquium at
RWTH Aachen, October 2004.
- Building Medical Ontologies Using Description Logics: What does it buy us?
- Invited talk
at
KR-MED 2008.
- Unification in the Description Logic EL.
- Invited talk
at the
Institute of Computer Science
of the University of Wroclaw, March 2010.
- Axiom Pinpointing in Description Logics.
- Invited talk at
NMR 2010.
- Term Rewriting Tutorial at The 2004 ICCL Summer School, at ESSLLI 2005, and at the International School on Rewriting 2006
- Slides: Lecture 1,
Lecture 2,
Lecture 3,
Lecture 4,
Lecture 5
- Description Logic Tutorial at The 2005 Logic Summer School of the Research School of Information Sciences and Engineering
- at the Australian National University, at the ICCL Summer School 2006, and at several other summer schools.
- Slides for viewing onscreen:
- Lecture 1, Lecture 2, Lecture 3, Lecture 4, Lecture 5
- Slides for printing (four on one page, may look strange in ghostview, but should print fine):
- Lecture 1, Lecture 2, Lecture 3, Lecture 4, Lecture 5
- NEW
- Slides of Lecture 6, added for the 2011 Summer School on Verification Technology, Systems & Applications:
- Lecture 6