Semantische Suche

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

[Abfrage bearbeiten]| Code der Abfrage anzeigen


Vorherige     Ergebnisse 51 – 74    Nächste        (20 | 50 | 100 | 250 | 500)

Wintersemester 2015

 

TitelDozentUmfang (SWS)Module
German Language CourseN.N. TUDIAS0/2/0PCS
Introduction to Formal Concept AnalysisSebastian Rudolph2/2/0INF-BAS2, MCL-KR, MCL-PI
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Emmanuelle Dietz0/2/0INF-04-HS, INF-AQUA, INF-BAS2, INF-D-940, MCL-KR, MCL-PI, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS
LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F
Practical Planning for Angry BirdsLukas Schweizer, Sebastian Rudolph0/2/0MCL-KR, MCL-PI, MCL-PCS
Science of Computational LogicSteffen Hölldobler2/2/0MCL-F, EMCL-B-F, INF-BAS2
Seminar Abstract ArgumentationSarah Alice Gaggl0/2/0MCL-KR, MCL-PCS, APB-AQUA

Sommersemester 2015

 

TitelDozentUmfang (SWS)Module
Automata and LogicDaniel Borchmann4/2/0INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR, Fachgebiet Theorie der Programmierung, Fachgebiet Intelligente Systeme
Deduction SystemsSebastian Rudolph1/1/0MCL-ILS, INF-BAS2
ForschungslinieSteffen Hölldobler0/0/0
Foundations of Databases and Query LanguagesMarkus Krötzsch2/2/0MCL-KR, MCL-PI, MCL-TCSL, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6
Foundations of Semantic Web TechnologiesSebastian Rudolph4/2/0MCL-KR, MCL-PI, INF-BAS2
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Tobias Philipp0/2/0INF-AQUA, MCL-KR, MCL-PI, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-BAS2, INF-D-940
Problem Solving and Search in Artificial IntelligenceSarah Alice Gaggl2/1/1INF-BAS2, MCL-KR, MCL-PI, INF-VERT2
SAT-SolvingSteffen Hölldobler, Norbert Manthey2/2/0INF-VERT2, INF-PM-FOR, MCL-KR, MCL-PI

Wintersemester 2014

 

TitelDozentUmfang (SWS)Module
Description LogicAnni-Yasmin Turhan4/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, MCL-TCSL, MCL-PI, MCL-KR
Foundations of Constraint ProgrammingSebastian Rudolph1/1/0MCL-LCP, INF-VERT2
Foundations of Logic ProgrammingSebastian Rudolph2/1/0MCL-LCP, INF-BAS2
Informatik für BiologenMonika Sturm2/1/0
Introduction to Complexity TheoryRafael Peñaloza Nyssen2/1/0MCL-TCSL, MCL-PI, MCL-KR, MCL-MV, INF-B-510, INF-B-520, INF-BAS6, INF-VERT6
Introduction to Formal Concept AnalysisSebastian Rudolph2/2/0MCL-KR, MCL-PI, INF-BAS2
Project Group Computational LogicSebastian Rudolph0/0/4MCL-P
Science of Computational LogicSebastian Rudolph2/2/0
Seminar Abstract ArgumentationSarah Alice Gaggl0/2/0MCL-KR, MCL-PCS, APB-AQUA
Vorherige     Ergebnisse 51 – 74    Nächste        (20 | 50 | 100 | 250 | 500)