Recent Talks

Ontology Reuse: Better Safe than Sorry.
20th International Workshop on Description Logics (DL 2007), June 2007.
[ Pdf (493K) ]

A Resolution-Based Decision Procedure for SHOIQ.
Third International Joint Conference on Automated Reasoning (IJCAR 2006), August 2006.
[ Pdf (1M) ]

Saturation-Based Decision Procedures.
Slides from my PhD Defence, University of Saarland, 2006, March 2006.
[ Pdf (2M) ]

A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.
JELIA'04, Lisbon, Portugal, September 2004.

A Resolution Decision Procedure for the Guarded Fragment With Transitive Guards.
Second International Joint Conference on Automated Reasoning (IJCAR 2004), July 2004.
[ Pdf (400K) ]

Resolution Decision Procedures for the Guarded Fragment with Transitive Guards.
Nancy- Saarbrücken Workshop on Logic, Proofs and Programs, Nancy, France, June 2004.

Using Redundancy and Basicness for Obtaining Decision Procedures for First-Order Fragments.
AG-2 Logic Seminar, Schloß Ringberg, Germany, December 2003.
[ PowerPoint (740K) | Pdf (303K) ]

Subsumption of Concepts in DL FL₀ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-Complete.
DL'03 Workshop, Rome, Italy, September 2003.
[ PostScript [g-zip'd] (174K) | Pdf (1M) ]

Posters

Engineering Logical Algorithms Using Saturation-Based Theorem Proving.
Max-Planck-Institut für Informatik, June 2005.
[ PostScript [g-zip'd] (100K) | Pdf (105K) ]

Saturation-Based Decision Procedures and Complexity Analysis.
Max-Planck-Institut für Informatik, October 2004.
[ PowerPoint (1M) | URL ]