Benutzer:Zeno Gantner/Studium

Veranstaltungen SS 2005

• Angewandte Kognitionswissenschaft: ACT-R (en), GOMS, (en), SOAR (en), en:Adaptability, en:Mistake, en:Lapse, en:User modelling, en:Collaborative Filtering
• Kognitive Aspekte der Mensch-Maschine-Schnittstelle: Cognitive Walkthrough, Heuristische Evaluation, Direkte Manipulation (en), Isometrics, Metapher, Post Completion Error; Heuristische Evaluation der deutschsprachigen Wikipedia
• 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, Topologie

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
  • http://citeseer.ist.psu.edu/elman93learning.html
  • http://crl.ucsd.edu/~elman/
• Heuristiken zur Lösung von SAT- und QSAT-Problemen

Frühere Themen

• Numerik