• Skip to main navigation
  • Skip to content
  • Skip to footer
  • Skip to search
Institute of Artificial Intelligence
Ulm University logo
Menu
  • Institute of Artificial Intelligence
  • Institute
    • Institute
    • Portrait
    • Team
      • Team
      • Prof. Dr. Birte Glimm
      • Jun.-Prof. Dr. Felix Lindner
      • Sylvia Simonsen
      • Glenda Hannibal
      • Amar Halilovic
      • Moritz Illich
      • Jakob Karalus
      • Dr. Yevgeny Kazakov
      • Conny Olz
      • Haonan Qiu
      • Michael Staud
    • Alumni
    • Open Positions
    • Directions
    • Contact
  • Research
    • Research
    • Focus Areas
      • Focus Areas
      • Cognitive Systems
      • Automated Planning
      • Knowledge Representation and Reasoning
    • Projects
      • Projects
      • 2LIKE - Artificial Intelligence for Individualised Learning Path and Processes
      • Archive of Finished Projects
        • Archive of Finished Projects
        • Abstraction and Refinement
        • ATRACO
        • Conjunctive Query Answering for Expressive Description Logics
        • Companion-Technology for Home Improvement
        • Dynamic Query Planning
        • GraphScale
        • Live Ontologies
        • Transregional Collaborative Research Centre Transregio 62
    • Publications
    • Software
      • Software
      • ELK Reasoner
      • HermiT
      • Konclude
      • Orar
      • OWL BGP
      • PANDA
        • PANDA
        • PANDA Planning System
        • PANDA Editor
        • PANDA Visualization
        • PANDA Explanation
      • Verbalizer
  • Teaching
    • Teaching
    • Summer 2022
    • Former Courses
      • Former Courses
      • Winter 2021 / 2022
      • Summer 2021
      • Winter 2020 / 2021
      • Summer 2020
      • Winter 2019 / 2020
      • Summer 2019
      • Winter 2018 / 2019
      • Summer 2018
      • Winter 2017 / 2018
      • Sommer 2017
      • Winter 2016 / 2017
      • Sommer 2016
      • Winter 2015 / 2016
      • Summer 2015
      • Winter 2014 / 2015
      • Sommer 2014
      • Winter 2013 / 2014
      • Sommer 2013
      • Winter 2012 / 2013
      • Sommer 2012
      • Winter 2011 / 2012
      • Sommer 2011
      • Winter 2010 / 2011
      • Sommer 2010
      • Winter 2009 / 2010
      • Sommer 2009
      • Winter 2008 / 2009
      • Sommer 2008
      • Winter 2007 / 2008
    • Thesis Topics
      • Thesis Topics
      • Open Bachelor's Thesis Topics
      • Open Master's Thesis Topics
    • Completed Theses
You are here:
  • Institute of Artificial Intelligence
  • Teaching
  • Former Courses
  • Summer 2019
    • FB
    • T
    • @
  • DE
  • Print
  • Top

Courses Summer Term 2019

Lectures

  • Algorithms in Knowledge Representation
    Y. Kazakov
    CS6321.001
  • Cognitive Systems 2
    A. Huckauf, Y. Kazakov, E. Rukzio, F. Yan
    CS8901.002
  • Einführung in die Informatik
    S. Biundo-Stephan, G. Behnke, C. Olz
    CS1000.010
    The first lecture will be held on April 29th. The exercise classes start in the same week. Details concerning the registration for exercise classes will be announced in the first lecture.
  • Kompetitives Programmieren
    S. Biundo-Stephan, G. Behnke
    CS6351.000
  • Programming Concepts for Cognitive Systems
    B. Glimm
    CS6308.000

Projects

  • Automated Reasoning & Advanced Automated Reasoning
    Y. Kazakov
    CS6400.006 & CS6400.009
  • Projects in Automated Planning
    S. Biundo-Stephan and employees
    CS6400.001 & CS6400.002
  • Semantic Web & Advanced Semantic Web
    B. Glimm and employees
    CS6400.007 & CS6400.005

Seminars

  • Proseminar Künstliche Intelligenz
    S. Biundo-Stephan and employees
    CS4400.003

Previous Courses

  • Winter 2018/2019
  • Summer 2018
  • Winter 2017/2018
  • Summer 2017
  • Winter 2016/2017
  • Summer 2016
  • Winter 2015/2016
  • Summer 2015
  • Winter 2014/2015
  • Summer 2014
  • Winter 2013/2014
  • Summer 2013
  • Winter 2012/2013
  • Summer 2012
  • Winter 2011/2012
  • Summer 2011
  • Winter 2010/2011
  • Summer 2010
  • Winter 2009/2010
  • Summer 2009
  • Winter 2008/2009
  • Summer 2008
  • Winter 2007/2008
  • Summer 2007
  • Winter 2006/2007
  • Summer 2006
  • Winter 2005/2006
  • Summer 2005
  • Winter 2004/2005
  • Summer 2004
  • Winter 2003/2004
  • Summer 2003
  • Winter 2002/2003

  

  • Ulm University

    • A–Z
    • Campus maps
    • Press
    • Job opportunities
    • Events calendar
    • Phone Directory
  • Legal information

    • About this Website
    • Privacy Policy
    • Website accessibility statement (German only)
    • Universität Ulm in leichter Sprache
    • Navigationshinweise in leichter Sprache
    • Barrierefreiheit in leichter Sprache
  • Responsible for the content of this page:
    https://www.uni-ulm.de/index.php?id=97516
    Prof. Dr. Susanne Biundo-Stephan
    Last modified:
    22. September 2020
    FB T YT I linkedin xing
Logo: Certificate since 2008 - audit family-friendly university
Logo: Universities for openness, tolerance and against xenophobia
© 2022 Universität Ulm | Ulm University