Preprints (mainly in the area of calendrical reasoning)

Automated Reasoning in

• Description Logics
• Temporal and Calendar Logics
• Predicate Logic

• Translation Methods for non-classical logics.
• Miscellaneous

Last Modified: Wednesday, 10-Mar-2004 14:08:45 CET