,Title,Term,Year,Modul,Lecturer,SWSLecture,SWSExercise,SWSPractical
"Research Advances in Database Theory (WS2018)","Seminar Selected Topics in Database Theory",WS,2018,"INF-AQUA,INF-PM-FOR,INF-04-HS,INF-D-940,MCL-PS","Markus Krötzsch,David Carral",0,2,0
SudokuSAT(WS2018),SudokuSAT,WS,2018,"INF-B-270,INF-B-275,INF-LE-EUI,IST-05-PF-HS","Steffen Hölldobler",4,2,0
"Academic Skills in Computer Science (SS2018)","Academic Skills in Computer Science",SS,2018,"INF-AQUA,INF-04-FG-SWT,MCL-CS","Steffen Hölldobler",2,2,0
"On Conditionals(SS2018)","Conditional Reasoning",SS,2018,"MCL-PI,MCL-KR,INF-VERT2,INF-PM-FOR","Steffen Hölldobler",1,1,2
"Database Theory (SS2018)","Database Theory",SS,2018,"INF-B-510,INF-B-520,INF-BAS6,INF-VERT6,MCL-TCSL,MCL-PI,MCL-KR,INF-PM-FOR","Markus Krötzsch",4,2,0
"Deduction Systems (SS2018)","Deduction Systems",SS,2018,"INF-BAS2,MCL-ILS","Markus Krötzsch",1,1,0
"Existential Rules (SS2018)","Existential Rules",SS,2018,"INF-AQUA,MCL-TCSL,INF-PM-FOR,INF-D-940,MCL-PS","Markus Krötzsch,David Carral",0,2,0
"Foundations for Maschine Learning (SS2018)","Foundations for Machine Learning",SS,2018,"INF-BAS2,MCL-PI,INF-VERT2,MCL-AI","Yohanes Stefanus",2,1,0
"Knowledge Representation and Reasoning Seminar (SS2018)","Knowledge Representation and Reasoning Seminar",SS,2018,"INF-AQUA,INF-04-HS,MCL-PS","Steffen Hölldobler",0,2,0
"Lab Course ""Modeling and Automated Verification"" (SS2018)","Lab Course “Modeling and Automated Verification”",SS,2018,MCL-PS,"Christel Baier",0,2,0
"Advanced Logics (WS2018)","Lecture “Advanced Logics”",SS,2018,"INF-B-510,INF-B-520,INF-BAS6,INF-VERT6,MCL-AL,INF-04-FG-IS,INF-04-FG-TP","Christel Baier",4,2,0
"Logic-Based Ontology Engineering (SS2018)","Logic-Based Ontology Engineering",SS,2018,"INF-B-510,INF-B-520,INF-BAS6,INF-VERT6,INF-PM-FOR,MCL-ILS","Stefan Borgwardt",2,2,0
"Project Group ""Theoretical Computer Science"" (SS2018)","Project Group ""Theoretical Computer Science""",SS,2018,MCL-P,"Anni-Yasmin Turhan",0,0,4
"Project Group ""Model Checking"" (SS2018)","Project Group “Model Checking”",SS,2018,MCL-P,"Christel Baier",0,0,4
"Semantic Computing (SS2018)","Semantic Computing",SS,2018,"INF-BAS2,MCL-KR,INF-VERT2,MCL-AI","Dagmar Gromann",2,2,0
"Seminar ""Selected Topics in Logic and Verification"" (SS2018)","Seminar “Selected Topics in Logic and Verification”",SS,2018,"INF-AQUA,INF-04-HS,INF-D-940,MCL-PS","Christel Baier",0,2,0
"Term Rewriting Systems (SS2018)","Term Rewriting Systems",SS,2018,"INF-B-510,INF-B-520,INF-BAS6,INF-VERT6,MCL-TCSL,MCL-PI,MCL-AI","Franz Baader",4,2,0
"Theoretische Informatik und Logik (SS2018)","Theoretische Informatik und Logik",SS,2018,"INF-B-290,INF-D-330","Markus Krötzsch",4,2,0
"Complexity Theory (WS2017/18)","Complexity Theory",WS,2017,"INF-B-510,INF-B-520,INF-BAS6,INF-VERT6,MCL-TCSL,MCL-PI,MCL-KR","Markus Krötzsch",4,2,0
"Description Logic (WS2017)","Description Logic",WS,2017,"INF-B-510,INF-B-520,INF-BAS6,INF-VERT6,MCL-TCSL,MCL-PI,EMCL-A-PI,EMCL-A-TCSL","Franz Baader",4,2,0
"Formale Systeme (WS2017)","Formale Systeme",WS,2017,"INF-B-270,INF-B-275,INF-LE-EUI,IST-05-PF-HS","Markus Krötzsch",4,2,0
"Foundations Repetition (WS2017)","Foundations Repetition",WS,2017,MCL-F,"Steffen Hölldobler",0,2,0
"Foundations of Constraint Programming (WS2017)","Foundations of Constraint Programming",WS,2017,"INF-BAS2,MCL-LCP,INF-VERT2","Sebastian Rudolph",1,1,0
"Foundations of Logic Programming (WS2017)","Foundations of Logic Programming",WS,2017,"INF-BAS2,MCL-LCP","Sebastian Rudolph",2,1,0
"Human Reasoning and Computational Logic (WS2017)","Human Reasoning and Computational Logic",WS,2017,"MCL-PI,MCL-KR,INF-VERT2,INF-PM-FOR","Steffen Hölldobler,Emmanuelle Dietz",4,2,0
"Introduction to Formal Concept Analysis (WS2017)","Introduction to Formal Concept Analysis",WS,2017,"INF-BAS2,MCL-PI,MCL-KR","Sebastian Rudolph",2,2,0
"Introduction to Non-monotonic Reasoning (WS2017)","Introduction to Non-monotonic Reasoning",WS,2017,"INF-B-510,INF-B-520,INF-BAS6,INF-VERT6,MCL-TCSL,EMCL-A-KR,INF-PM-FOR,EMCL-A-TCSL","Anni-Yasmin Turhan",2,2,0
"Knowledge Representation and Reasoning Seminar (WS2017)","Knowledge Representation and Reasoning Seminar",WS,2017,"INF-AQUA,INF-BAS2,MCL-PI,MCL-KR,MCL-PCS,EMCL-A-KR,EMCL-PI,EMCL-PCS,INF-04-HS,INF-D-940","Steffen Hölldobler,Emmanuelle Dietz",0,2,0
"Logic (WS2017)",Logic,WS,2017,"MCL-F,EMCL-B-F","Steffen Hölldobler",2,2,0
"Practical Planning for Angry Birds (WS2017)","Practical Planning for Angry Birds",WS,2017,"MCL-PI,MCL-KR,MCL-PCS","Sebastian Rudolph,Lukas Schweizer",0,2,0
"Project Group Theoretical Computer Science (WS2017)","Project Group Theoretical Computer Science",WS,2017,"MCL-P,EMCL-B-P","Anni-Yasmin Turhan",0,0,4
"Science of Computational Logic (WS2017)","Science of Computational Logic",WS,2017,"INF-BAS2,MCL-F,EMCL-B-F","Steffen Hölldobler",2,2,0
"Seminar: Further Topics in Description Logics (WS2017)","Seminar: Further Topics in Description Logics",WS,2017,"INF-AQUA,MCL-TCSL,MCL-PI,MCL-PCS,INF-D-940,EMCL-A-PI,EMCL-A-TCSL,EMCL-B-PCS","Franz Baader,Anni-Yasmin Turhan",0,2,0
"Deduction Systems (SS2017)","Deduction Systems",SS,2017,"INF-BAS2,MCL-ILS","Sebastian Rudolph",1,1,0
"Foundations of Semantic Web Technologies (SS2017)","Foundations of Semantic Web Technologies",SS,2017,"INF-BAS2,MCL-PI,MCL-KR","Sebastian Rudolph",4,2,0
"Knowledge Representation and Reasoning Seminar (SS2017)","Knowledge Representation and Reasoning Seminar",SS,2017,"INF-AQUA,INF-BAS2,MCL-PI,MCL-KR,MCL-PCS,EMCL-A-KR,EMCL-PI,EMCL-PCS,INF-04-HS,INF-D-940","Steffen Hölldobler,Emmanuelle Dietz",0,2,0
"Logical Modelling (SS2017)","Logical Modelling",SS,2017,"INF-BAS2,MCL-PI,MCL-KR,INF-VERT2","Sebastian Rudolph,Lukas Schweizer",0,2,0
"Problem Solving and Search in Artificial Intelligence (SS2017)","Problem Solving and Search in Artificial Intelligence",SS,2017,"INF-BAS2,MCL-PI,MCL-KR,INF-VERT2","Sarah Alice Gaggl",2,1,1
"Programming Machine Ethics(SS2017)","Programming Machine Ethics",SS,2017,"MCL-PI,MCL-KR,INF-VERT2,INF-PM-FOR","Steffen Hölldobler",1,1,2
"SAT-Solving und das Lösen von Sudokus (SS2017)",SAT-Solving,SS,2017,"MCL-PI,MCL-KR,INF-VERT2,INF-PM-FOR","Steffen Hölldobler",3,1,0
"Theoretische Informatik und Logik (SS2017)","Theoretische Informatik und Logik",SS,2017,"INF-B-290,INF-D-330","Markus Krötzsch",4,2,0
"Description Logic (WS2016)","Description Logic",WS,2016,"INF-B-510,INF-B-520,INF-BAS6,INF-VERT6,MCL-TCSL,MCL-PI,MCL-KR","Anni-Yasmin Turhan",4,2,0
"Formale Systeme (WS2016)","Formale Systeme",WS,2016,"INF-B-270,INF-B-275,INF-LE-EUI,IST-05-PF-HS","Markus Krötzsch",4,2,0
"Foundations of Constraint Programming (WS2016)","Foundations of Constraint Programming",WS,2016,"INF-BAS2,MCL-LCP,INF-VERT2","Sebastian Rudolph",1,1,0
"Foundations of Logic Programming (WS2016)","Foundations of Logic Programming",WS,2016,"INF-BAS2,MCL-LCP","Sebastian Rudolph",2,1,0
"Human Reasoning and Computational Logic (WS2016)","Human Reasoning and Computational Logic",WS,2016,"MCL-PI,MCL-KR,INF-VERT2,INF-PM-FOR","Steffen Hölldobler,Emmanuelle Dietz",2,2,0
"Introduction to Formal Concept Analysis (WS2016)","Introduction to Formal Concept Analysis",WS,2016,"INF-BAS2,MCL-PI,MCL-KR","Sebastian Rudolph",2,2,0
"Knowledge Representation and Reasoning Seminar (WS2016)","Knowledge Representation and Reasoning Seminar",WS,2016,"INF-AQUA,INF-BAS2,MCL-PI,MCL-KR,MCL-PCS,EMCL-A-KR,EMCL-PI,EMCL-PCS,INF-04-HS,INF-D-940","Steffen Hölldobler,Peter Steinke",0,2,0
"Logic (WS2016)",Logic,WS,2016,"MCL-F,EMCL-B-F","Steffen Hölldobler",2,2,0
"Practical Planning for Angry Birds (WS2016)","Practical Planning for Angry Birds",WS,2016,"MCL-PI,MCL-KR,MCL-PCS","Sebastian Rudolph",0,2,0