Semantic search

From International Center for Computational Logic
The part "en" of the query was not understood. Results might not be as expected.

Wintersemester 2018

 

TitelDozentUmfang (SWS)Module
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

 

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
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