Moduldetails

M1101-CMS74  Advanced Logical Modeling

Modulverantwortlich: Prof. Dr. rer. pol. Markus Krötzsch
Anzeige im Stundenplan: CMS-LM-ADV
Dauer: 1
Anzahl Wahlkurse: 0
Credits: 10,0
Startsemester: SoSe 2024
Verantwortliche:r Dozent:in Prof. Dr. Markus Krötzsch
markus.kroetzsch@tu-dresden.de
Qualifikationsziele Die Studierenden verfügen über vertieftes und spezialisiertes Wissen im Bereich Logical Modeling, welches insbesondere die in den Modulen „Models of Computation“ und „Artificial Intelligence“ erworbenen Fertigkeiten erweitert und zusätzliche Qualifikationen aus diesen Gebieten umfasst. Sie sind in der Lage, für neue Aufgaben aus diesen Bereichen geeignete Lösungsmethoden auszuwählen und bestehende Methoden weiterzuentwickeln.
Inhalte Das Modul umfasst vertiefende Inhalte aus spezialisierten Forschungs- und Anwendungsfeldern, welche zusätzliche fortgeschrittene Inhalte der Module CMS-LM-MOC und CMS-LM-AI beinhalten. Die Inhalte umfassen spezialisierte und weiterführende Angebote, die sich mit in den Modulbeschreibungen der Module CMS-LM-MOC und CMS-LM-AI genannten Themen befassen. Die angebotenen Inhalte ermöglichen es dadurch den Studierenden, einen oder mehrere weitere Schwerpunktthemen dieser umfangreichen Bereiche zu vertiefen.
Lehr- und Lernformen Das Modul umfasst Vorlesung, Übung, Seminar, Tutorien, Praktikum und Projektbearbeitung im Umfang von 8 SWS sowie Selbststudium. Die Lehrveranstaltungen sind im angegebenen Umfang aus dem Katalog CMS-LM-ADV zu wählen; dieser wird inklusive der Lehrveranstaltungssprache, der jeweils erforderlichen Prüfungsleistungen und Gewichte der Noten zu Semesterbeginn wie an der Fakultät Informatik üblich bekannt gegeben.
Voraussetzungen für die Teilnahme Es werden keine besonderen Kenntnisse vorausgesetzt.
Verwendbarkeit Das Modul ist im Masterstudiengang Computational Modeling and Simulation neben CMS-LM-TEA eines von zwei Wahlpflichtmodulen für Studierende des Tracks Logical Modeling im zweiten Fachsemester.
Voraussetzungen für Vergabe von Leistungspunkten Die Leistungspunkte werden erworben, wenn die Modulprüfung bestanden ist. Die Modulprüfung besteht aus den gemäß Katalog CMS-LM-ADV vorgegebenen Prüfungsleistungen.
Leistungspunkte und Noten Durch das Modul können 10 Leistungspunkte erworben werden. Die Modulnote ergibt sich aus dem gemäß Katalog CMS-LM-ADV gewichteten Durchschnitt der Noten der Prüfungsleistungen.
Häufigkeit des Moduls Das Modul wird jedes Sommersemester angeboten.
Arbeitsaufwand Der Arbeitsaufwand beträgt insgesamt 300 Stunden.
Dauer des Moduls Das Modul umfasst ein Semester.
Modulnummer Modulhandbuch TU Dresden CMS-LM-ADV

Anmeldefristen

Phase Block Anmeldung von | bis Ende Abmeldung
Ohne Auswahlverfahren Vorlesungszeit 04.04.2024 00:00 | 15.06.2024 00:00 13.07.2024 00:00

Kurse
Nummer Name Semester  
DK1100-CMS28X Dummykurs CMS 2 SWS  
DK1100-CMS29X Dummykurs CMS 4 SWS  
DK1100-MA002X Dummykurs CMS 2 SWS  
DK1100-MA002X Dummykurs CMS 2 SWS SoSe 2024
DK1100-MA004X Dummykurs CMS 4 SWS  
DK1100-MA004X Introduction to Existential Rules (V+Ü) SoSe 2024
DK1100-MA012X Dummykurs CMS 2 SWS  
DK1100-MA012X First-Order Logic – Semantic and Computational Properties (V) SoSe 2024
DK1100-MA013X Dummykurs CMS 3 SWS  
DK1100-MA014X Dummykurs CMS 4 SWS  
DK1100-MA014X Dummykurs CMS 4 SWS SoSe 2024
DK1100-MA016X Dummykurs 6 SWS  
DK1100-MA018X Dummykurs CMS 8 SWS  
DK1100-MA018X Dummykurs CMS 8 SWS SoSe 2024
DK1100-MA022X Dummykurs CMS 2 SWS  
DK1100-MA024X Dummykurs CMS 4 SWS  
DK1100-MA034X Dummykurs CMS 4 SWS  
DK1100-MA058X Dummykurs CMS 8 SWS  
K1101-BA0470V Unification in Modal and Description Logics (V)  
K1101-BA0470Ü Unification in Modal and Description Logics (Ü)  
K1101-MA0001V Fuzzy Description Logic (V)  
K1101-MA0001Ü Fuzzy Description Logic (Ü)  
K1101-MA0002V Advanced Logics (V)  
K1101-MA0002V Advanced Logics (V) SoSe 2024
K1101-MA0002Ü Advanced Logics (Ü)  
K1101-MA0002Ü Advanced Logics (Ü) SoSe 2024
K1101-MA0003V Automata and Logic (V)  
K1101-MA0003Ü Automata and Logic (Ü)  
K1101-MA0008V Concurrency Theory (V)  
K1101-MA0008V Concurrency Theory (V) SoSe 2024
K1101-MA0008Ü Concurrency Theory (Ü)  
K1101-MA0008Ü Concurrency Theory (Ü) SoSe 2024
K1101-MA0013S Seminar Theoretical Computer Science (S)  
K1101-MA0013S Seminar Theoretical Computer Science (S) SoSe 2024
K1101-MA0014V Introduction to Non-monotonic Reasoning (V)  
K1101-MA0014Ü Introduction to Non-monotonic Reasoning (Ü)  
K1101-MA0015V Introduction to Automatic Structures (V)  
K1101-MA0015Ü Introduction to Automatic Structures (Ü)  
K1101-MA0016V Description Logic (V)  
K1101-MA0016V Description Logic (V) SoSe 2024
K1101-MA0016Ü Description Logic (Ü)  
K1101-MA0016Ü Description Logic (Ü) SoSe 2024
K1101-MA0018V Logic based Ontology Engineering (V)  
K1101-MA0018Ü Logic based Ontology Engineering (Ü)  
K1101-MA0019V Model Checking (V)  
K1101-MA0019Ü Model Checking (Ü)  
K1101-MA0020Ü Lab Course Modeling and Automated Verification (Ü)  
K1101-MA0020Ü Lab Course Modeling and Automated Verification (Ü) SoSe 2024
K1101-MA0021S Seminar Selected Topics in Logic and Verification (S)  
K1101-MA0021S Seminar Selected Topics in Logic and Verification (S) SoSe 2024
K1101-MA0022V Complexity Theory (V)  
K1101-MA0022Ü Complexity Theory (Ü)  
K1101-MA0025V Term Rewriting Systems (V)  
K1101-MA0025Ü Term Rewriting Systems (Ü)  
K1101-MA0052V Building and Maintaining Ontologies in the Description Logic (V)  
K1101-MA0052V Building and Maintaining Ontologies in the Description Logic (V) SoSe 2024
K1101-MA0052Ü Building and Maintaining Ontologies in the Description Logic (Ü)  
K1101-MA0052Ü Building and Maintaining Ontologies in the Description Logic (Ü) SoSe 2024
K1107-M0070V Human Reasoning and the Weak Completion Semantics 2 (V)  
K1107-M0070Ü Human Reasoning and the Weak Completion Semantics 2 (Ü)  
K1107-MA0003V Introduction to Existential Rules (V)  
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)  
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S) SoSe 2024
K1107-MA0005V Foundations of Semantic Web Technologies (V)  
K1107-MA0005Ü Foundations of Semantic Web Technologies (Ü)  
K1107-MA0011V Linear Programming (V)  
K1107-MA0011Ü Linear Programming (Ü)  
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (V)  
K1107-MA0012Ü Human Reasoning and the Weak Completion Semantics 1 (Ü)  
K1107-MA0013V Formal Argumentation and Artifical Intelligence (V)  
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (Ü)  
K1107-MA0018V Database Theory (V)  
K1107-MA0018Ü Database Theory (Ü)  
K1107-MA0019V Finite and Algorithmic Model Theory (V)  
K1107-MA0019Ü Finite and Algorithmic Model Theory (Ü)  
K1107-MA0022V Integer Programming (V)  
K1107-MA0022Ü Integer Programming (Ü)  
K1107-MA0028V Quotation in Formal Logics (V)  
K1107-MA0028Ü Quotation in Formal Logics (Ü)  
K1107-MA0033V Proof Theory and Sequent Systems (V)  
K1107-MA0033V Proof Theory and Sequent Systems (V) SoSe 2024
K1107-MA0055V Introduction to Formal Concept Analysis (V)  
K1107-MA0055Ü Introduction to Formal Concept Analysis (Ü)  
K1107-MA0058V Algorithmic Game Theory (V)  
K1107-MA0058V Algorithmic Game Theory (V) SoSe 2024
K1107-MA0058Ü Algorithmic Game Theory (Ü)  
K1107-MA0058Ü Algorithmic Game Theory (Ü) SoSe 2024

Bestehensregeln
Kontext Name Beschreibung
Global * Informationen zur Modulprüfung siehe Modulbeschreibung
Global *

Leistungen
Kurs / Modulabschluss­leistungen Leistungen Bestehens­pflicht Gewichtung
DK1100-CMS28X Dummykurs CMS 2 SWS Seminararbeit DK1100-CMS28X Nein 1
Präsentation DK1100-CMS28X Nein 1
DK1100-CMS29X Dummykurs CMS 4 SWS Seminararbeit DK1100-CMS29X Nein 2
Präsentation DK1100-CMS29X Nein 2
DK1100-MA002X Dummykurs CMS 2 SWS Prüfungsleistung 2 SWS DK1100-MA002X Nein 2
DK1100-MA004X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA004X Nein 4
DK1100-MA012X Dummykurs CMS 2 SWS Prüfungsleistung 2 SWS DK1100-MA012X Nein 2
DK1100-MA013X Dummykurs CMS 3 SWS Prüfungsleistung 3 SWS Nein 3
DK1100-MA014X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA014X Nein 4
DK1100-MA016X Dummykurs 6 SWS Prüfungsleistung DK1100-MA016X Teilleistung 1 Nein 3
Prüfungsleistung DK1100-MA016X Teilleistung 2 Nein 3
DK1100-MA018X Dummykurs CMS 8 SWS Prüfungsleistung 8 SWS Nein 8
DK1100-MA022X Dummykurs CMS 2 SWS Prüfungsleistung 2 SWS DK1100-MA022X Nein 2
DK1100-MA024X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA024X Nein 4
DK1100-MA034X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA034X Nein 4
DK1100-MA058X Dummykurs CMS 8 SWS Prüfungsleistung DK1100-MA058X Teilleistung 3 Nein 4
Prüfungsleistung DK1100-MA058X Teilleistung 4 Nein 4
K1101-BA0470V Unification in Modal and Description Logics (V) Mündliche Prüfungsleistung Unification in Modal and Description Logics Nein 4
K1101-MA0001V Fuzzy Description Logic (V) Mündliche Prüfungsleistung Fuzzy Description Logic Nein 4
K1101-MA0002V Advanced Logics (V) Mündliche Prüfungsleistung Advanced Logics Nein 6
K1101-MA0003V Automata and Logic (V) Mündliche Prüfungsleistung Automata and Logic Nein 6
K1101-MA0008V Concurrency Theory (V) Mündliche Prüfungsleistung Concurrency Theory Nein 4
K1101-MA0013S Seminar Theoretical Computer Science (S) Seminararbeit inklusive Präsentation Theoretical Computer Science Nein 2
K1101-MA0014V Introduction to Non-monotonic Reasoning (V) Mündliche Prüfungsleistung Introduction to Non-monotonic Reasoning Nein 4
K1101-MA0015V Introduction to Automatic Structures (V) Mündliche Prüfungsleistung Introduction to Automatic Structures Nein 4
K1101-MA0016V Description Logic (V) Mündliche Prüfungsleistung Description Logic Nein 6
K1101-MA0018V Logic based Ontology Engineering (V) Mündliche Prüfungsleistung Logic Based Ontology Engineering Nein 4
K1101-MA0019V Model Checking (V) Mündliche Prüfungsleistung Model Checking Nein 8
K1101-MA0020Ü Lab Course Modeling and Automated Verification (Ü) Projektarbeit Modeling and Automated Verification Nein 2
K1101-MA0021S Seminar Selected Topics in Logic and Verification (S) Seminararbeit inklusive Präsentation Selected Topics in Logic and Verification Nein 2
K1101-MA0022V Complexity Theory (V) Mündliche Prüfungsleistung Complexity Theory Nein 6
K1101-MA0025V Term Rewriting Systems (V) Mündliche Prüfungsleistung Term Rewriting Systems Nein 6
K1101-MA0052V Building and Maintaining Ontologies in the Description Logic (V) Mündliche Prüfungsleistung Building and Maintaining Ontologies in the Description Logic Nein 4
K1107-M0070V Human Reasoning and the Weak Completion Semantics 2 (V) Mündliche Prüfungsleistung Human Reasoning and the Weak Completion Semantics 2 Nein 6
K1107-MA0003V Introduction to Existential Rules (V) Mündliche Prüfungsleistung Introduction to Existential Rules Nein 2
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S) Seminararbeit inklusive Präsentation Knowledge Representation and Reasoning Nein 2
K1107-MA0005V Foundations of Semantic Web Technologies (V) Mündliche Prüfungsleistung Foundations of Semantic Web Technologies Nein 4
K1107-MA0011V Linear Programming (V) Mündliche Prüfungsleistung Linear Programming Nein 4
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (V) Mündliche Prüfungsleistung Human Reasoning and the Weak Completion Semantics 1 Nein 6
K1107-MA0013V Formal Argumentation and Artifical Intelligence (V) Mündliche Prüfungsleistung Formal Argumentation for Artifical Intelligence Nein 4
K1107-MA0018V Database Theory (V) Mündliche Prüfungsleistung Database Theory Nein 6
K1107-MA0019V Finite and Algorithmic Model Theory (V) Mündliche Prüfungsleistung Finite and Algorithmic Model Theory Nein 4
K1107-MA0022V Integer Programming (V) Klausurarbeit Integer Programming Nein 4
K1107-MA0028V Quotation in Formal Logics (V) Mündliche Prüfungsleistung Quotation in Formal Logics Nein 4
K1107-MA0033V Proof Theory and Sequent Systems (V) Mündliche Prüfungsleistung Proof Theory and Sequent Systems Nein 2
K1107-MA0055V Introduction to Formal Concept Analysis (V) Mündliche Prüfungsleistung Introduction to Formal Concept Analysis Nein 4
K1107-MA0058V Algorithmic Game Theory (V) Mündliche Prüfungsleistung Algorithmische Spieltheorie Nein 4