Veranstaltungen SS 2005
- Angewandte Kognitionswissenschaft: ACT-R (en), GOMS, (en), SOAR (en)
- Kognitive Aspekte der Mensch-Maschine-Interaktion: Cognitive Walkthrough, Direkte Manipulation (en), Isometrics, Metapher, Post Completion Error
- Spieltheorie: Nash-Gleichgewicht
- Logische Grundlagen des Semantic Web: Beschreibungslogik, Inferenz, Modallogik, OWL, RDF, XML
- Studienarbeit: CSP, Qualitatives Schließen, Allens Intervallkalkül, RCC8, RCC5, Relationenalgebra
Veranstaltungen WS 2004/2005
- Advanced AI Techniques
- Knowledge Representation and Reasoning: Kumulative Logik, Nichtmonotones Schließen, Relationenalgebra, Allens Intervallkalkül, RCC5, RCC8, Constraint Satisfaction Problem, Modallogik, Default Logic
- Computer-supported Modelling and Reasoning: HOL, Isabelle, Hoare-Kalkül, Programmverifikation
- XML/Semantic Web: Ontologie
- Konnektionistische Modelle der Sprachverarbeitung
- Heuristiken zur Lösung von SAT- und QSAT-Problemen
Frühere Themen
