Lehrveranstaltungen

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

Lehrveranstaltungen

Wintersemester 2019

 

TitelDozentUmfang (SWS)Module
Complexity TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, INF-E-3
Foundations of Constraint ProgrammingSebastian Rudolph1/1/0INF-BAS2, MCL-LCP, INF-VERT2
Foundations of Logic ProgrammingSebastian Rudolph2/1/0
Human Reasoning and Computational LogicSteffen Hölldobler, Emmanuelle Dietz2/2/0MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, MCL-AI, INF-E-3
Introduction to Formal Concept AnalysisSebastian Rudolph2/2/0INF-BAS2, MCL-PI, MCL-KR
Knowledge GraphsMarkus Krötzsch2/2/0INF-BAS2, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3
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
Problem Solving and Search in Artificial IntelligenceSarah Alice Gaggl2/1/2INF-BAS2, MCL-PI, MCL-KR, INF-VERT2
Science of Computational LogicSteffen Hölldobler2/2/0INF-BAS2, MCL-F, EMCL-B-F
Seminar Selected Topics in Database TheoryMarkus Krötzsch, David Carral0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS
Seminar Selected Topics of Computational LogicSebastian Rudolph, Sarah Alice Gaggl0/2/0MCL-PS

Sommersemester 2019

 

TitelDozentUmfang (SWS)Module
Academic Skills in Computer ScienceMarkus Krötzsch2/2/0INF-AQUA, INF-B-510, INF-B-520, MCL-CS, INF-B-530, INF-B-540
Database TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR
Deduction SystemsSebastian Rudolph1/1/0INF-BAS2, MCL-ILS
Foundations for Machine LearningYohanes Stefanus2/0/0INF-BAS2, MCL-PI, INF-VERT2, MCL-AI, CMS-VC-ELV1, CMS-VC-ELV2, CMS-CLS-ELG
Fuzzy InformationsverarbeitungKhang Tran Dinh2/0/0INF-BAS2, INF-VERT2, INF-PM-FOR
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Marcos Cramer0/2/0INF-AQUA, INF-04-HS, MCL-PS
Logic-Based Ontology EngineeringStefan Borgwardt2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, MCL-ILS
Problem Solving and Search in Artificial IntelligenceSarah Alice Gaggl2/1/1INF-BAS2, MCL-PI, MCL-KR, INF-VERT2
SAT-SolvingSteffen Hölldobler2/2/0MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-BAS3
SAT-Solving (SudokuSAT)Steffen Hölldobler2/2/0MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-BAS3
Seminar Selected Topics on Existential RulesMarkus Krötzsch, David Carral0/2/0INF-AQUA, INF-PM-FOR, INF-D-940, MCL-PS
Seminar: Logical ModellingSebastian Rudolph, Lukas Schweizer0/2/0INF-BAS2, INF-VERT2, MCL-PS
Theoretische Informatik und LogikSteffen Hölldobler4/2/0INF-B-290

Wintersemester 2018

 

TitelDozentUmfang (SWS)Module
Automata and LogicAnni-Yasmin Turhan4/2/0INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR
Complexity TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR, INF-E-3
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/2/0INF-BAS2, MCL-LCP
Fuzzy Description LogicStefan Borgwardt2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-KR, INF-PM-FOR, MCL-AI
Introduction to Formal Concept AnalysisSebastian Rudolph2/2/0INF-BAS2, MCL-PI, MCL-KR
Knowledge GraphsMarkus Krötzsch2/2/0INF-BAS2, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-KR, INF-PM-FOR, INF-E-3
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Johannes Fichte0/2/0INF-AQUA, INF-04-HS, MCL-PS
LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F
Project Group "Theoretical Computer Science"Anni-Yasmin Turhan0/0/4MCL-P
Research Seminar Knowledge-Based SystemsMarkus Krötzsch, Irina Dragoste0/2/0INF-AQUA, INF-PM-FOR
Science of Computational LogicSteffen Hölldobler2/2/0INF-BAS2, MCL-F, EMCL-B-F
Semantic ComputingDagmar Gromann2/2/0INF-BAS2, MCL-KR, INF-VERT2, MCL-AI
Seminar "Learning in Description Logics"Franz Baader, Anni-Yasmin Turhan0/2/0INF-AQUA, INF-04-HS, INF-D-940, MCL-PS
Seminar Practical Planning for Angry BirdsSebastian Rudolph, Lukas Schweizer0/2/0
Seminar Selected Topics in Database TheoryMarkus Krötzsch, David Carral0/2/0INF-AQUA, INF-PM-FOR, INF-04-HS, INF-D-940, MCL-PS
SudokuSATSteffen Hölldobler4/2/0INF-B-270, INF-B-275, INF-LE-EUI, IST-05-PF-HS

Sommersemester 2018

 

… weitere Ergebnisse
TitelDozentUmfang (SWS)Module
Academic Skills in Computer ScienceSteffen Hölldobler2/2/0INF-AQUA, INF-04-FG-SWT, MCL-CS
Conditional ReasoningSteffen Hölldobler1/1/2MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR
Database TheoryMarkus Krötzsch4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, INF-PM-FOR
Deduction SystemsMarkus Krötzsch1/1/0INF-BAS2, MCL-ILS
Existential RulesMarkus Krötzsch, David Carral0/2/0INF-AQUA, MCL-TCSL, INF-PM-FOR, INF-D-940, MCL-PS
Foundations for Machine LearningYohanes Stefanus2/1/0INF-BAS2, MCL-PI, INF-VERT2, MCL-AI
Knowledge Representation and Reasoning SeminarSteffen Hölldobler0/2/0INF-AQUA, INF-04-HS, MCL-PS