Kategorie:Vorlesung
Aus International Center for Computational Logic
The category of all courses. Courses are created and edited using the form: Seiten in dieser Kategorie nutzen das Formular „Vorlesung“.
Seiten in der Kategorie „Vorlesung“
Folgende 166 Seiten sind in dieser Kategorie, von 166 insgesamt.
A
C
D
- Database Theory (SS2016)
- Database Theory (SS2018)
- Database Theory (SS2019)
- Database Theory (SS2020)
- Database Theory (SS2021)
- Deduction Systems (SS2015)
- Deduction Systems (SS2016)
- Deduction Systems (SS2017)
- Deduction Systems (SS2018)
- Deduction Systems (SS2019)
- Deduction Systems (SS2020)
- Description Logic (SS2021)
- Description Logic (WS2014)
- Description Logic (WS2015)
- Description Logic (WS2016)
- Description Logic (WS2017)
F
- Finite and algorithmic model theory (SS2021)
- Formale Systeme (WS2016)
- Formale Systeme (WS2017)
- Formale Systeme (WS2020)
- Formale Systeme(WS2015)
- Formale Systeme(WS2018)
- Forschungslinie (SS2015)
- Forschungslinie (SS2016)
- Foundations for Machine Learning (SS2019)
- 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 Constraint Programming (WS2019)
- Foundations of Databases and Query Languages (SS2015)
- Foundations of Knowledge Representation (WS2020)
- Foundations of Logic Programming (WS2014)
- Foundations of Logic Programming (WS2015)
- Foundations of Logic Programming (WS2016)
- Foundations of Logic Programming (WS2017)
- Foundations of Logic Programming (WS2018)
- Foundations of Logic Programming (WS2019)
- Foundations of Logic Programming (WS2020)
- 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)
- Fuzzy Description Logic (WS2020)
- Fuzzy Informationsverarbeitung (SS2019)
H
I
- Informatik für Biologen (WS2014)
- Introduction to Automatic Structures (SS2016)
- Introduction to Automatic Structures (WS2020)
- 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 Formal Concept Analysis (WS2019)
- Introduction to Formal Concept Analysis (WS2020)
- Introduction to Non-monotonic Reasoning (WS2017)
K
- KBS Seminar
- Knowledge Graphs (WS2018)
- Knowledge Graphs (WS2019/20)
- Knowledge Graphs (WS2020)
- 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 (SS2019)
- Knowledge Representation and Reasoning Seminar (SS2020)
- Knowledge Representation and Reasoning Seminar (WS2015)
- Knowledge Representation and Reasoning Seminar (WS2016)
- Knowledge Representation and Reasoning Seminar (WS2017)
- Knowledge Representation and Reasoning Seminar (WS2018)
- Knowledge Representation and Reasoning Seminar (WS2019)
- KRR (WS2020)
L
- Lab Course "Modeling and Automated Verification" (SS2018)
- Logic (WS2015)
- Logic (WS2016)
- Logic (WS2017)
- Logic (WS2018)
- Logic (WS2019)
- Logic-Based Ontology Engineering (SS2018)
- Logic-Based Ontology Engineering (SS2019)
- Logic-Based Ontology Engineering (SS2020)
- Logic-Based Ontology Engineering (SS2021)
- Logical Modeling (SS2016)
- Logical Modelling (SS2017)
P
- PC4SAT (SS2020)
- 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)
- Problem Solving and Search in Artificial Intelligence (SS2019)
- Problem Solving and Search in Artificial Intelligence (SS2020)
- Problem Solving and Search in Artificial Intelligence (SS2021)
- Problem Solving and Search in Artificial Intelligence (WS2019)
- Problem Solving and Search in Artificial Intelligence (WS2020)
- 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)
- Projects Theoretical Computer Science (SS2021)
- Proseminar "Perlen der theoretischen Informatik" (SS2021)
- Proseminar Anwendungen der Logik in der Informatik (SS2021)
S
- SAT-Solving und das Lösen von Sudokus (SS2015)
- SAT-Solving und das Lösen von Sudokus (SS2017)
- SAT-Solving und das Lösen von Sudokus (SS2019)/en
- 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)
- Science of Computational Logic (WS2019)
- 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 Data-Aware Processes (SS2021)
- Seminar Existential Rules (SS2019)
- Seminar Practical Planning for Angry Birds (WS2018)
- Seminar Selected Topics in Database Theory (WS2019)
- Seminar Selected Topics of Computational Logic (WS2019)
- Seminar Theoretical Computer Science "Learning in Description logics" (SS2021)
- Seminar: Further Topics in Description Logics (WS2017)
- Seminar: Knowledge Representation (WS2021)
- Seminar: Logical Modelling (SS2019)
- Seminar: Logical Modelling (SS2020)
- SudokuSAT(SS2019)
- SudokuSAT(WS2018)
