Module Import 04IN2031 - Automated Reasoning and Knowledge Representation

Status: Published
Workload6 ECTS = 180 hrs
Credits, Weight6 ECTS, (n.s.)
Language of Instruction German
Semester (n.s.)
Duration1 Sem.
M/E Elective
Courses
Course No. Type Name MA/EL Workload Credits Contact Hours Selfstudy Group Size
04IN2031-1 Lecture Automated Reasoning and Knowledge Representation (n.s.) 3 ECTS = 90 hrs 3 ECTS 2 hrs/week = 30 hrs 60 hrs 30
04IN2031-2 Exercise Automated Reasoning and Knowledge Representation (n.s.) 3 ECTS = 90 hrs 3 ECTS 2 hrs/week = 30 hrs 60 hrs 30
Learning Outcomes

Die Studierenden verstehen Wissensrepräsentations- und Reasoning-Systeme in ihrem Aufbau und Wirkungsweise. Insbesondere sollen dabei verschiedene Klassen von Systemen und Beweisprozeduren gegeneinander abgegrenzt werden. Auch der praktische Umgang mit Systemem wird geübt und einfache Anwendungen aus verschiedenen Gebieten der Informatik werden untersucht.

Content

(not specified)

04IN2031-1 - Automated Reasoning and Knowledge Representation
  1. Ergänzungen zu Logik (Gleichheit und Arithmetik)
  2. Modal Logiken
  3. Description Logik
  4. Dynamische Logik
  5. Anwendungen und Systeme
Teaching Methods

(not specified)

Prerequisites

(not specified)

Examination Methods

Klausur 

Credit Requirements

(not specified)

References

(not specified)

04IN2031-1 - Automated Reasoning and Knowledge Representation

Robinson, Voronkov, Handbook of Automated Reasoning, North Holland 2001

Use of this Module
  1. unmodified as Elective  -    BSc Computer Science 2017  -    Mandatory elective courses Computer Science  -    Automated Reasoning and Knowledge Representation
  2. unmodified as Elective  -    BSc Computational Visualistics 2017  -    Mandatory elective courses Computer Science  -    Automated Reasoning and Knowledge Representation
  3. unmodified as Elective  -    BSc Computational Visualistics 2017  -    Mandatory elective courses in Computational Visualistics or computer science  -    Automated Reasoning and Knowledge Representation
  4. unmodified as Elective  -    MSc Computer Science 2017  -    Mandatory elective courses in mathematics and theoretical computer science  -    Automated Reasoning and Knowledge Representation
  5. unmodified as Elective  -    MSc Computer Science 2017  -    Mandatory elective courses Computer Science  -    Automated Reasoning and Knowledge Representation
  6. unmodified as Elective  -    MSc Computer Science 2017  -    Major subject computer science  -    Data and Knowledge Engineering  -    Automated Reasoning and Knowledge Representation
  7. unmodified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses Computer Science  -    Automated Reasoning and Knowledge Representation
  8. unmodified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in Computational Visualistics or computer science  -    Automated Reasoning and Knowledge Representation
  9. unmodified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in theoretical computer science and mathematics  -    Automated Reasoning and Knowledge Representation
  10. unmodified as Elective  -    MSc Computational Visualistics 2017  -    Mandatory elective courses in theoretical computer science and mathematics or natural and social sciences  -    Automated Reasoning and Knowledge Representation
  11. unmodified as Elective  -    MSc Information Systems 2017  -    Mandatory elective courses Application Systems in Business and Administration  -    Automated Reasoning and Knowledge Representation
Responsible / Organizational Unit
Furbach, Ulrich / Institute for Computer Science
Additional Information

(not specified)

Last change
Apr 24, 2018 by Frey, Johannes
Last Change Module
Jun 11, 2013 by Frey, Johannes