Transparencies of some invited talks and tutorials of
Prof. Franz Baader
-
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.
-
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
and at the ICCL Summer School 2006
- 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