Semantische Suche

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

Wintersemester 2017

 

TitelDozentUmfang (SWS)Module
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
Logical ModelingSebastian Rudolph0/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
Term Rewriting SystemsFranz Baader4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, Fachgebiet Theorie der Programmierung, Fachgebiet Intelligente Systeme, EMCL-A-PI, EMCL-A-TCSL
Theoretische Informatik und LogikSteffen Hölldobler4/2/0INF-B-290

Wintersemester 2015

 

TitelDozentUmfang (SWS)Module
Complexity TheoryMarkus Krötzsch, Daniel Borchmann4/2/0INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR
Description LogicAnni-Yasmin Turhan4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR
Formale SystemeSteffen Hölldobler4/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
German Language CourseN.N. TUDIAS0/2/0PCS
Introduction to Formal Concept AnalysisSebastian Rudolph2/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
LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F
Practical Planning for Angry BirdsSebastian Rudolph, Lukas Schweizer0/2/0MCL-PI, MCL-KR, MCL-PCS