Kategorie:Vorlesung

A

• Academic Skills in Computer Science (SS2018)
• Advanced Logics (WS2018)
• Advanced Topics in Complexity Theory (SS2016)
• Automata and Logic (SS2015)
• Automata and Logic (WS2018)

C

• Complexity Theory (WS2015)
• Complexity Theory (WS2017/18)
• Complexity Theory (WS2018/19)

D

• Database Theory (SS2016)
• Database Theory (SS2018)
• Deduction Systems (SS2015)
• Deduction Systems (SS2016)
• Deduction Systems (SS2017)
• Deduction Systems (SS2018)
• Description Logic (WS2014)
• Description Logic (WS2015)
• Description Logic (WS2016)
• Description Logic (WS2017)

E

• Existential Rules (SS2018)

F

• Formale Systeme (WS2016)
• Formale Systeme (WS2017)
• Formale Systeme(WS2015)
• Formale Systeme(WS2018)
• Forschungslinie (SS2015)
• Forschungslinie (SS2016)
• Foundations for Maschine Learning (SS2018)
• Foundations of Constraint Programming (WS2014)
• Foundations of Constraint Programming (WS2015)
• Foundations of Constraint Programming (WS2016)
• Foundations of Constraint Programming (WS2017)
• Foundations of Constraint Programming (WS2018)
• Foundations of Databases and Query Languages (SS2015)
• Foundations of Logic Programming (WS2014)
• Foundations of Logic Programming (WS2015)
• Foundations of Logic Programming (WS2016)
• Foundations of Logic Programming (WS2017)

F (Fortsetzung)

• Foundations of Logic Programming (WS2018)
• Foundations of Semantic Web Technologies (SS2015)
• Foundations of Semantic Web Technologies (SS2016)
• Foundations of Semantic Web Technologies (SS2017)
• Foundations Repetition (WS2017)
• Fuzzy Description Logic (WS2018)

G

• German Language Course (WS2015)

H

• Human Reasoning and Computational Logic (WS2016)
• Human Reasoning and Computational Logic (WS2017)

I

• Informatik für Biologen (WS2014)
• Introduction to Automatic Structures (SS2016)
• Introduction to Complexity Theory (WS2014)
• Introduction to Formal Concept Analysis (WS2014)
• Introduction to Formal Concept Analysis (WS2015)
• Introduction to Formal Concept Analysis (WS2016)
• Introduction to Formal Concept Analysis (WS2017)
• Introduction to Formal Concept Analysis (WS2018)
• Introduction to Non-monotonic Reasoning (WS2017)

K

• KBS Seminar
• Knowledge Graphs (WS2018)
• Knowledge Representation and Reasoning Seminar (SS2015)
• Knowledge Representation and Reasoning Seminar (SS2016)
• Knowledge Representation and Reasoning Seminar (SS2017)
• Knowledge Representation and Reasoning Seminar (SS2018)
• Knowledge Representation and Reasoning Seminar (WS2015)
• Knowledge Representation and Reasoning Seminar (WS2016)
• Knowledge Representation and Reasoning Seminar (WS2017)
• Knowledge Representation and Reasoning Seminar (WS2018)

L

• Lab Course "Modeling and Automated Verification" (SS2018)
• Logic (WS2015)
• Logic (WS2016)
• Logic (WS2017)
• Logic (WS2018)
• Logic-Based Ontology Engineering (SS2018)
• Logical Modeling (SS2016)
• Logical Modelling (SS2017)

O

• On Conditionals(SS2018)

P

• Practical Planning for Angry Birds (WS2015)
• Practical Planning for Angry Birds (WS2016)
• Practical Planning for Angry Birds (WS2017)
• Problem Solving and Search in Artificial Intelligence (SS2015)
• Problem Solving and Search in Artificial Intelligence (SS2016)
• Problem Solving and Search in Artificial Intelligence (SS2017)
• Programming Machine Ethics(SS2017)
• Project Group "Model Checking" (SS2018)
• Project Group "Theoretical Computer Science" (SS2018)
• Project Group "Theoretical Computer Science" (WS2018)
• Project Group Computational Logic (WS2014)
• Project Group Theoretical Computer Science (WS2017)

R

• Research Advances in Database Theory (WS2018)

S

• SAT-Solving und das Lösen von Sudokus (SS2015)
• SAT-Solving und das Lösen von Sudokus (SS2017)
• Science of Computational Logic (WS2014)
• Science of Computational Logic (WS2015)
• Science of Computational Logic (WS2016)
• Science of Computational Logic (WS2017)
• Science of Computational Logic (WS2018)
• Semantic Computing (SS2018)
• Semantic Computing (WS 2018/2019) (WS2018)
• Seminar "Learning in Description Logics" (WS2018)
• Seminar "Selected Topics in Logic and Verification" (SS2018)
• Seminar Abstract Argumentation (WS2014)
• Seminar Abstract Argumentation (WS2015)
• Seminar Abstract Argumentation (WS2016)
• Seminar Practical Planning for Angry Birds (WS2018)
• Seminar: Further Topics in Description Logics (WS2017)
• SudokuSAT(WS2018)

T

• Term Rewriting Systems (SS2016)
• Term Rewriting Systems (SS2018)
• Theoretische Informatik und Logik (SS2017)
• Theoretische Informatik und Logik (SS2018)
• Theoretische Informatik und Logik(SS2016)