Semantic search

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

Sommersemester 2020

 

TitelDozentUmfang (SWS)Module
Academic Skills in Computer ScienceSebastian Rudolph2/2/0INF-AQUA, MCL-CS, INF-B510, INF-B520, INF-B530, INF-B540
Database TheoryDavid Carral4/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
Knowledge Representation and Reasoning SeminarSteffen Hölldobler, Johannes Fichte0/2/0INF-AQUA, INF-BAS2, MCL-PI, MCL-KR, MCL-PCS, EMCL-A-KR, EMCL-PI, EMCL-PCS, INF-04-HS, INF-D-940
Logic-Based Ontology EngineeringStefan Borgwardt2/2/0INF-B-510, INF-B-520, INF-BAS6, INF-VERT6, INF-PM-FOR, MCL-ILS
Parameterized Algorithms and Implementations for SAT and GeneralizationsJohannes Fichte2/1/2MCL-PI, MCL-KR, INF-VERT2, INF-PM-FOR, INF-E-3, INF-BAS3
Problem Solving and Search in Artificial IntelligenceSarah Alice Gaggl2/2/2INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI
Seminar: Logical ModellingSebastian Rudolph, Lukas Schweizer0/2/0INF-BAS2, INF-VERT2, MCL-PS

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/2/0INF-BAS2, MCL-PI, MCL-KR, INF-VERT2, MCL-AI
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