Semantische Suche

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Sommersemester 2018

 

TitelDozentUmfang (SWS)Module
Lab Course “Modeling and Automated Verification”Christel Baier0/2/0MCL-PS
Lecture “Advanced Logics”Christel Baier4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-AL, INF-04-FG-IS, INF-04-FG-TP
Logic-Based Ontology EngineeringStefan Borgwardt2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, MCL-ILS
Project Group "Theoretical Computer Science"Anni-Yasmin Turhan0/0/4MCL-P
Project Group “Model Checking”Christel Baier0/0/4MCL-P
Semantic ComputingDagmar Gromann2/2/0INF-BAS2, MCL-KR, INF-VERT2, MCL-AI
Seminar “Selected Topics in Logic and Verification”Christel Baier0/2/0INF-AQUA, INF-04-HS, INF-D-940, MCL-PS
Term Rewriting SystemsFranz Baader4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-AI
Theoretische Informatik und LogikMarkus Krötzsch4/2/0INF-B-290, INF-D-330

Wintersemester 2017

 

TitelDozentUmfang (SWS)Module
Complexity TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR
Description LogicFranz Baader4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, EMCL-A-PI, EMCL-A-TCSL
Formale SystemeMarkus Krötzsch4/2/0INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS
Foundations RepetitionSteffen Hölldobler0/2/0MCL-F
Foundations of Constraint ProgrammingSebastian Rudolph1/1/0INF-BAS2, MCL-LCP, INF-VERT2
Foundations of Logic ProgrammingSebastian Rudolph2/1/0INF-BAS2, MCL-LCP
Human Reasoning and Computational LogicSteffen Hölldobler, Emmanuelle Dietz4/2/0MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR
Introduction to Formal Concept AnalysisSebastian Rudolph2/2/0INF-BAS2, MCL-PI, MCL-KR
Introduction to Non-monotonic ReasoningAnni-Yasmin Turhan2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, EMCL-A-KR, INF-PM-FOR, EMCL-A-TCSL
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Emmanuelle Dietz0/2/0INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940
LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F
Practical Planning for Angry BirdsSebastian Rudolph, Lukas Schweizer0/2/0MCL-PI, MCL-KR, MCL-PCS
Project Group Theoretical Computer ScienceAnni-Yasmin Turhan0/0/4MCL-P, EMCL-B-P
Science of Computational LogicSteffen Hölldobler2/2/0INF-BAS2, MCL-F, EMCL-B-F
Seminar: Further Topics in Description LogicsFranz Baader, Anni-Yasmin Turhan0/2/0INF-AQUA, MCL-TCSL, MCL-PI, MCL-PCS, INF-D-940, EMCL-A-PI, EMCL-A-TCSL, EMCL-B-PCS

Sommersemester 2017

 

TitelDozentUmfang (SWS)Module
Deduction SystemsSebastian Rudolph1/1/0INF-BAS2, MCL-ILS
Foundations of Semantic Web TechnologiesSebastian Rudolph4/2/0INF-BAS2, MCL-PI, MCL-KR
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Emmanuelle Dietz0/2/0INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940
Logical ModellingSebastian Rudolph, Lukas Schweizer0/2/0INF-BAS2, MCL-PI, MCL-KR, INF-VERT2
Problem Solving and Search in Artificial IntelligenceSarah Alice Gaggl2/1/1INF-BAS2, MCL-PI, MCL-KR, INF-VERT2
Programming Machine EthicsSteffen Hölldobler1/1/2MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR
SAT-SolvingSteffen Hölldobler3/1/0MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR
Theoretische Informatik und LogikMarkus Krötzsch4/2/0INF-B-290, INF-D-330

Wintersemester 2016

 

TitelDozentUmfang (SWS)Module
Description LogicAnni-Yasmin Turhan4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR
Formale SystemeMarkus Krötzsch4/2/0INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS
Foundations of Constraint ProgrammingSebastian Rudolph1/1/0INF-BAS2, MCL-LCP, INF-VERT2
Foundations of Logic ProgrammingSebastian Rudolph2/1/0INF-BAS2, MCL-LCP
Human Reasoning and Computational LogicSteffen Hölldobler, Emmanuelle Dietz2/2/0MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR
Introduction to Formal Concept AnalysisSebastian Rudolph2/2/0INF-BAS2, MCL-PI, MCL-KR
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Peter Steinke0/2/0INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940
LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F
Practical Planning for Angry BirdsSebastian Rudolph0/2/0MCL-PI, MCL-KR, MCL-PCS
Science of Computational LogicSteffen Hölldobler2/2/0INF-BAS2, MCL-F, EMCL-B-F
Seminar Abstract ArgumentationSarah Alice Gaggl0/2/0MCL-KR MCL-PCS APB-AQUA

Sommersemester 2016

 

TitelDozentUmfang (SWS)Module
Advanced Topics in Complexity TheoryDaniel Borchmann2/2/0INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI
Database TheoryMarkus Krötzsch2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, EMCL-A-KR, EMCL-A-PI, EMCL-A-TCSL
Deduction SystemsSebastian Rudolph1/1/0INF-BAS2, MCL-ILS
ForschungslinieSteffen Hölldobler0/0/0
Foundations of Semantic Web TechnologiesSebastian Rudolph4/2/0INF-BAS2, MCL-PI, MCL-KR
Introduction to Automatic StructuresAnni-Yasmin Turhan2/1/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, Fachgebiet Theorie der Programmierung, EMCL-A-PI, EMCL-A-TCSL
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Peter Steinke0/2/0INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940