|
| Veranstalter |
Lehrstuhl Informatik I - Logik in der Informatik |
| Ort |
Otto-Hahn-Str. 16 / Raum 205 |
| Zeit |
donnerstags, 16:15 Uhr |
|
|
Termine im laufenden Semester |
|
| Datum |
Vortragender |
Titel des Vortrags
|
| 04.02.2010 |
Max Vorderstemann |
Anwendung einer argumentationsbasierten Abhängigkeitstheorie auf präferentielle Semantiken logischer Programme |
| 03.12.2009 |
Bülent Möller |
Logikbasiertes probabilistisches Lernen in der Atemgasanalyse |
| 19.11.2009 |
Iris Luhle |
The RuleFit approach in comparison with common learning algorithms regarding simulated HEP data with the focus on comprhensibility |
| 12.11.2009 |
Joscha Kulbatzki |
Active XML und effiziente One-Pass-Strategien für kontextfreie Spiele auf Strings |
| 05.11.2009 |
Björn Stuhrmann |
Active XML und kontextfreie Spiele auf Bäumen. |
| 29.10.2009 |
Regina Fritsch |
Konzeption und Implementierung eines rationalen Agenten basierend auf Know-How und Motivation |
| 22.10.2009 |
Projektgruppe 530 |
Musterbasierte XML-Schema-Sprachen |
| 15.10.2009 |
Jana Ludolph |
Qualitative Methoden zur Sicherung der Konsistenz in probabilistischen Wissensbasen |
| 10.09.2009 |
Till Barz |
Dynamische Daten im Web am Beispiel von Positive Active XML |
| 09.07.2009 |
Joscha Kulbatzki |
Active XML und effiziente One-Pass-Strategien für kontextfreie Spiele auf Strings
|
| 02.07.2009 |
Hyung-Won Koh |
Towards Improved Automated 1D NMR Data Analysis: Redefining the Feature-Space in the Spectral Domain. |
| 25.06.2009 |
Björn Stuhrmann |
Active XML und kontextfreie Spiele auf Bäumen. |
| 28.05.2009 |
Till Barz |
Dynamische Daten im Web am Beispiel von Positive Active XML
|
| 14.05.2009 |
Wojciech Czerwinski (Universität Warschau) |
Partially Commutative Context Free Processes (PCCFP) |
| 23.04.2009 |
Daniel Pasqua |
Theoretische und praktische Untersuchungen zur Kompleität von XPath
|
|
|
|
|
|
|
