The LAT seminar takes place bi-weekly and is intended as a forum for discussion within the LAT chair. In the seminar, current research projects are presented in an informal way with the goal to foster discussion, exchange, and joint work within the LAT group.
If you are interested in presenting your work, please send a mail.
The semimar takes place in DS4 (13.00-14.30) every second Friday in Room 454.
| Date | Speaker | Topics |
| 16.01.2004 | Lidia Tendera | Deciding finite satisfiability in C2 |
| 30.01.2004 | Baris Sertkaya | Using Attribute Exploration to Compute DL Concept Hierarchies |
| 24.02.2004 (tuesday) | Dirk Walther | Complexity of Reasoning in PDL with Negated Atomic Programs |
| 05.03.2004 (Room 351) | Maja Milicic | Description Logics with Concrete Domains and Functional Dependencies |
| 02.04.2004 | Jörg Model | Abstrakte Tableausysteme für die Beschreibungslogiken SHIQ und SHIO |
| Date | Speaker | Topics |
| 24.10.2003 | all | kick-off |
| 07.11.2003 | Carsten Lutz | Beans, beans, beans |
| 21.11.2003 | Barbara, Sebastian, and others | Positive FO-Logic, Positive Propositional Logic, Sub-Boolean Description Logics |
| 05.12.2003 | Eldar Karabaev | Employing Mona for Description Logic Reasoning |
| 19.12.2003 | Thomas Wächter | Verteilte Splicing-Systeme - Bewertung und Klassifizierung |