Seminar

Aktionslogiken und deren Anwendungen (WS 00/01)

Betreuer: Prof. Gerhard Lakemeyer, Ph.D.
Günter Gans
Henrik Grosskreutz
Gero Iwan

Zeit, Raum: Montags 15:30-17:00 Uhr, Seminarraum des LS Informatik V

Weitere Informationen zum Seminar (z.B. Vorbesprechungstermin, Inhalt) finden sich im Veranstaltungs-Informations-System VIS (WS 00/01), ebenso wie weitere Veranstaltungs-Ankündigungen des Lehr- und Forschungsgebiets Informatik V.



Vorträge

16.10.2000 
 
kein Vortrag
23.10.2000(1) Der Situationenkalkül
Markus Voss
30.10.2000(2) Spezifikation von Datenbank-Updates im Situationenkalkül
Christian Fischbach
06.11.2000(3) Beweisen von Eigenschaften von Zuständen im Situationenkalkül
Jan Schreiner
13.11.2000(4) Open-World-Planen im Situationenkalkül
Carsten Pelikan
20.11.2000(5) Spezifikation von dynamischen Systemen: das toilet-Beispiel
Lutz Hermanns
27.11.2000(6) Diagnose im Situationenkalkül
Richard Zens
04.12.2000(7) Wissen und Sensing im Situationenkalkül
Yasemin Harman
11.12.2000(8) Kausale Logik und die Aktionssprache C
Guido Kruschwitz
18.12.2000 
 
kein Vortrag
25.12.2000 
 
Weihnachtsferien
01.01.2001 
 
Weihnachtsferien
08.01.2001(9) Der Fluentenkalkül
Ingo Kreienbrink
15.01.2001(10) Repräsentation des Wissens eines Roboters im Fluentenkalkül
Vincent Westerhoff
22.01.2001(11) Der Ereigniskalkül
Stephan Küpper
29.01.2001(12) Reinventing Shakey
Torsten Isenhardt
05.02.2001(13) Cognitive Modeling for Games and Animation
Alexander Hornung
12.02.2001 
 
kein Vortrag

Literaturliste



"Wie halte ich einen guten Seminarvortrag?"
Date: March 13, 2001 - GI   |   Disclaimer   |   Home