https://iccl.inf.tu-dresden.de/w/api.php?action=feedcontributions&feedformat=atom&user=Oliver+Fernandez+Gil 2026-04-19T00:36:39Z Benutzerbeiträge MediaWiki 1.43.1 https://iccl.inf.tu-dresden.de/w/index.php?title=Francesco_Kriegel&diff=39622 2024-04-26T09:15:15Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Francesco<br /> |Nachname=Kriegel<br /> |Akademischer Titel=Dr.-Ing.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Telefon=+49 351 463 38253<br /> |Email=francesco.kriegel@tu-dresden.de<br /> |Raum=APB 3022<br /> |Info=Für weitere aktuelle Informationen besuchen Sie bitte [https://tu-dresden.de/ing/informatik/thi/lat/die-professur/beschaeftigte/francesco-kriegel meine persönliche Webseite].<br /> |Info EN=Please visit [https://tu-dresden.de/ing/informatik/thi/lat/die-professur/beschaeftigte/francesco-kriegel my personal homepage] for further up-to-date information.<br /> |DBLP=http://dblp.uni-trier.de/pers/hd/k/Kriegel:Francesco<br /> |Google Scholar=https://scholar.google.com/citations?user=3JyorTIAAAAJ<br /> |Alternative URI=https://tu-dresden.de/ing/informatik/thi/lat/die-professur/beschaeftigte/francesco-kriegel<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=1<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Formale Begriffsanalyse<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Oliver_Fern%C3%A1ndez_Gil&diff=39621 2024-04-26T09:07:50Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Oliver<br /> |Nachname=Fernández Gil<br /> |Akademischer Titel=Dr.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=0<br /> |Email=oliver.fernandez@tu-dresden.de<br /> |Raum=APB 3029<br /> |Alternative URI=https://lat.inf.tu-dresden.de/~fernandez/<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=0<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Automatentheorie&diff=39617 2024-04-25T11:52:42Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Forschungsgruppe<br /> |Name EN=Automata Theory<br /> |Beschreibung DE=Herr Prof. Dr.-Ing. Franz Baader wurde 2002 auf die Professur für Automatentheorie berufen. Seine Professur bietet grundlegende und vertiefende Lehrveranstaltungen für verschiedene Studiengänge an, und forscht auf den Gebieten Deduktion, Wissensrepräsentation, sowie Rechnen mit Molekülen.<br /> |Beschreibung EN=Prof. Dr.-Ing. Franz Baader was appointed to the chair of automata theory in 2002. His chair offers basic and in-depth courses for various degree programmes, and conducts research in the areas of deduction, knowledge representation, as well as computing with molecules.<br /> |Forschungsgruppenleiter=Franz Baader<br /> |Sekretariat Mail=kerstin.achtruth@​tu-dresden.de<br /> |Bild=LAT group photo 2024.jpeg<br /> |Ehemalige Forschungsgruppe=0<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Datei:LAT_group_photo_2024.jpeg&diff=39616 2024-04-25T11:52:18Z

<p>Oliver Fernandez Gil: </p> <hr /> <div></div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Anni-Yasmin_Turhan&diff=39615 2024-04-25T11:23:48Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Anni-Yasmin<br /> |Nachname=Turhan<br /> |Akademischer Titel=PD Dr.-Ing. habil.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Akademische Rätin<br /> |Ehemaliger=1<br /> |Telefon=+49 (0) 351 463-39167<br /> |Fax=+49 (0) 351 463-37959<br /> |Email=Anni-Yasmin.Turhan@tu-dresden.de<br /> |Raum=APB 3022<br /> |Sprechstunde Tag=Mi<br /> |Sprechstunde Beginn=11:00<br /> |Sprechstunde Ende=12:00<br /> |Bild=Turhan-small.jpg<br /> |Info EN=I am a post-doc research and teaching fellow (with tenure position &quot;akademische Rätin&quot;) at the Chair for Automata Theory, in the Institute for Theoretical Computer Science at the TU Dresden.<br /> |DBLP=http://dblp.uni-trier.de/pers/hd/t/Turhan:Anni=Yasmin<br /> |Alternative URI=http://lat.inf.tu-dresden.de/~turhan/<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=0<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Satyadharma_Tirtarasa&diff=39614 2024-04-25T11:23:19Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Satyadharma<br /> |Nachname=Tirtarasa<br /> |Akademischer Titel=M.Sc.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=satyadharma.tirtarasa@tu-dresden.de<br /> |Raum=APB 3032<br /> |Bild=Satya-Tirtarasa.jpg<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=0<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Answer Set Programming<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Semantische Technologien<br /> }}<br /> {{Forschungsgebiet Auswahl<br /> |Forschungsgebiet=Beschreibungslogiken<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Adrian_Nuradiansyah&diff=39613 2024-04-25T11:21:28Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Mitarbeiter<br /> |Vorname=Adrian<br /> |Nachname=Nuradiansyah<br /> |Akademischer Titel=Dr.-Ing.<br /> |Forschungsgruppe=Automatentheorie<br /> |Stellung=Wissenschaftlicher Mitarbeiter<br /> |Ehemaliger=1<br /> |Email=adrian.nuradiansyah@tu-dresden.de<br /> |Raum=APB 3032<br /> |Alternative URI=https://lat.inf.tu-dresden.de/~adrian/<br /> |Publikationen anzeigen=1<br /> |Abschlussarbeiten anzeigen=0<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Seminar_Theoretical_Computer_Science_(WS2022)/en&diff=37350 2022-10-12T21:21:20Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Seminar Theoretical Computer Science (WS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Seminar_Theoretical_Computer_Science_(WS2022)&diff=37349 2022-10-12T21:21:20Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Theoretical Computer Science |Research group=Automatentheorie |Lecturers=Franz Baader; Anni-Yasmin Turhan |Term=WS |Year=2022 |Modul…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Seminar Theoretical Computer Science<br /> |Research group=Automatentheorie<br /> |Lecturers=Franz Baader; Anni-Yasmin Turhan<br /> |Term=WS<br /> |Year=2022<br /> |Module=CMS-LM-ADV, CMS-LM-AI, CMS-SEM, INF-04-HS, INF-AQUA, INF-D-940, MCL-PS<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/37126864902<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_%22Perlen_der_theoretischen_Informatik%22_(WS2022)&diff=37348 2022-10-12T21:12:44Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Proseminar &quot;Perlen der theoretischen Informatik&quot;<br /> |Research group=Automatentheorie<br /> |Lecturers=Anni-Yasmin Turhan; Patrick Koopmann<br /> |Term=WS<br /> |Year=2022<br /> |Module=INF-B-510, INF-B-520, INF‑B‑610, INF‑D‑520<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/37108219907<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_%22Perlen_der_theoretischen_Informatik%22_(WS2022)&diff=37347 2022-10-12T21:11:56Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Proseminar &quot;Perlen der theoretischen Informatik&quot;<br /> |Research group=Automatentheorie<br /> |Lecturers=Anni-Yasmin Turhan; Patrick Koopmann<br /> |Term=WS<br /> |Year=2022<br /> |Module=INF-B-510, INF-B-520<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/37108219907<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_Anwendungen_der_Logik_in_der_Informatik_(WS2022)&diff=37203 2022-09-29T09:59:50Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Proseminar Anwendungen der Logik in der Informatik<br /> |Research group=Automatentheorie<br /> |Lecturers=Patrick Koopmann<br /> |Term=WS<br /> |Year=2022<br /> |Module=INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36947263492<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_Anwendungen_der_Logik_in_der_Informatik_(WS2022)&diff=37202 2022-09-29T09:57:47Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Proseminar Anwendungen der Logik in der Informatik<br /> |Research group=Automatentheorie<br /> |Lecturers=Patrick Koopmann<br /> |Term=WS<br /> |Year=2022<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36947263492<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Formale_Systeme_(WS2022)&diff=37185 2022-09-25T22:01:42Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Formale Systeme<br /> |Research group=Automatentheorie<br /> |Lecturers=Franz Baader<br /> |Tutors=Anton Claußnitzer<br /> |Term=WS<br /> |Year=2022<br /> |Module=INF‑B‑270, INF‑B‑275, INF‑LE‑EUI, IST‑05‑PF‑HS<br /> |SWSLecture=4<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Klausur<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36483923969<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Formale_Systeme_(WS2022)/en&diff=37184 2022-09-25T21:59:18Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Formale Systeme (WS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Formale_Systeme_(WS2022)&diff=37183 2022-09-25T21:59:18Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Formale Systeme |Research group=Automatentheorie |Lecturers=Franz Baader |Term=WS |Year=2022 |SWSLecture=4 |SWSExercise=2 |SWSPractical=0 |E…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Formale Systeme<br /> |Research group=Automatentheorie<br /> |Lecturers=Franz Baader<br /> |Term=WS<br /> |Year=2022<br /> |SWSLecture=4<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Klausur<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36483923969<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Unification_in_Modal_and_Description_Logics_(WS2022)&diff=37161 2022-09-19T16:02:14Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Unification in Modal and Description Logics<br /> |Research group=Automatentheorie<br /> |Lecturers=Oliver Fernández Gil<br /> |Tutors=Oliver Fernández Gil<br /> |Term=WS<br /> |Year=2022<br /> |Module=CMS‑LM‑ADV, CMS‑LM‑AI, CMS‑LM‑MOC, INF‑B‑510, INF‑B‑520, INF‑BAS2, INF‑BAS6, INF‑PM‑FOR, INF‑VERT2, INF‑VERT6, MCL‑AI, MCL‑KR, MCL‑PI, MCL‑TCSL<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36743610380<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Unification_in_Modal_and_Description_Logics_(WS2022)/en&diff=37160 2022-09-19T16:01:21Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Unification in Modal and Description Logics (WS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Unification_in_Modal_and_Description_Logics_(WS2022)&diff=37159 2022-09-19T16:01:21Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Unification in Modal and Description Logics |Research group=Automatentheorie |Lecturers=Oliver Fernández Gil |Tutors=Oliver Fernández Gil…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Unification in Modal and Description Logics<br /> |Research group=Automatentheorie<br /> |Lecturers=Oliver Fernández Gil<br /> |Tutors=Oliver Fernández Gil<br /> |Term=WS<br /> |Year=2022<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36743610380<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Projects_Theoretical_Computer_Science_(WS2022)&diff=37057 2022-09-09T08:59:51Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Projects Theoretical Computer Science<br /> |Research group=Automatentheorie<br /> |Lecturers=Franz Baader; Anni-Yasmin Turhan; Stefan Borgwardt; Anton Claußnitzer<br /> |Term=WS<br /> |Year=2022<br /> |Module=INF-MA-PR, INF-PM-FPG, MCL-P, CMS-PRO<br /> |SWSLecture=0<br /> |SWSExercise=0<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=Projects at the Chair of Automata Theory. More information can be found [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23234641921 here].<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Projects_Theoretical_Computer_Science_(WS2022)&diff=37056 2022-09-09T08:58:51Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Projects Theoretical Computer Science<br /> |Research group=Automatentheorie<br /> |Lecturers=Franz Baader; Anni-Yasmin Turhan; Stefan Borgwardt<br /> |Term=WS<br /> |Year=2022<br /> |SWSLecture=0<br /> |SWSExercise=0<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=Projects at the Chair of Automata Theory. More information can be found [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23234641921 here].<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Fuzzy_Description_Logic_(WS2022)&diff=37050 2022-09-09T07:37:43Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Fuzzy Description Logic<br /> |Research group=Automatentheorie<br /> |Lecturers=Stefan Borgwardt<br /> |Tutors=Patrick Koopmann<br /> |Term=WS<br /> |Year=2022<br /> |Module=CMS‑LM‑ADV, CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS2, INF‑BAS6, INF‑PM‑FOR, INF‑VERT2, INF‑VERT6, MCL‑AI, MCL‑KR, MCL‑TCSL<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36709302272<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Fuzzy_Description_Logic_(WS2022)&diff=37041 2022-09-07T14:07:10Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Fuzzy Description Logic<br /> |Research group=Automatentheorie<br /> |Lecturers=Stefan Borgwardt<br /> |Tutors=Patrick Koopmann<br /> |Term=WS<br /> |Year=2022<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/36709302272<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Seminar_Theoretical_Computer_Science_%22Automata_for_Description_Logics%22_(WS2022)&diff=36313 2022-04-27T14:38:24Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Seminar Theoretical Computer Science &quot;Automata for Description Logics&quot;<br /> |Research group=Automatentheorie<br /> |Lecturers=Anni-Yasmin Turhan; Franz Baader<br /> |Term=WS<br /> |Year=2021<br /> |Module=CMS‑LM‑ADV, CMS‑LM‑AI, INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32049725454<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_Anwendungen_der_Logik_in_der_Informatik_(WS2022)&diff=36312 2022-04-27T14:38:09Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Proseminar Anwendungen der Logik in der Informatik<br /> |Research group=Automatentheorie<br /> |Lecturers=Patrick Koopmann<br /> |Term=WS<br /> |Year=2021<br /> |Module=INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32197214210<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_%22Perlen_der_theoretischen_Informatik%22_(WS2022)&diff=36311 2022-04-27T14:37:52Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Proseminar &quot;Perlen der theoretischen Informatik&quot;<br /> |Research group=Automatentheorie<br /> |Lecturers=Anni-Yasmin Turhan<br /> |Term=WS<br /> |Year=2021<br /> |Module=INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32144982022<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Term_Rewriting_Systems_(WS2022)&diff=36310 2022-04-27T14:37:40Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Term Rewriting Systems<br /> |Research group=Automatentheorie<br /> |Lecturers=Franz Baader<br /> |Tutors=Stefan Borgwardt<br /> |Term=WS<br /> |Year=2021<br /> |Module=CMS‑LM‑ADV, CMS‑LM‑MOC, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑AI, MCL‑PI, MCL‑TCSL<br /> |SWSLecture=4<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/31946539010<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Projects_Theoretical_Computer_Science_(WS2022)&diff=36309 2022-04-27T14:37:17Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Projects Theoretical Computer Science<br /> |Research group=Automatentheorie<br /> |Lecturers=Franz Baader; Anni-Yasmin Turhan; Stefan Borgwardt; Anton Claußnitzer<br /> |Term=WS<br /> |Year=2021<br /> |Module=INF‑MA‑PR, MCL‑P, INF‑PM‑FPG, CMS‑PRO<br /> |SWSLecture=0<br /> |SWSExercise=0<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=Projects at the Chair of Automata Theory. More information can be found [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23234641921 here].<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Introduction_to_Non-monotonic_Reasoning_(WS2022)&diff=36308 2022-04-27T14:36:59Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Introduction to Non-monotonic Reasoning<br /> |Research group=Automatentheorie<br /> |Lecturers=Anni-Yasmin Turhan<br /> |Tutors=Oliver Fernández Gil<br /> |Term=WS<br /> |Year=2021<br /> |Module=CMS‑LM‑ADV, CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑KR, MCL‑TCSL<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32144982024<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Fuzzy_Description_Logic_(WS2022)&diff=36307 2022-04-27T14:35:22Z

<p>Oliver Fernandez Gil: </p> <hr /> <div>{{Vorlesung<br /> |Title=Fuzzy Description Logic<br /> |Research group=Automatentheorie<br /> |Lecturers=Stefan Borgwardt<br /> |Tutors=Patrick Koopmann<br /> |Term=WS<br /> |Year=2021<br /> |Module=CMS‑LM‑ADV, CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑AI, MCL‑KR, MCL‑TCSL<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/31893815297<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Projects_Theoretical_Computer_Science_(WS2022)/en&diff=36125 2022-04-10T19:21:53Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Projects Theoretical Computer Science (WS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Projects_Theoretical_Computer_Science_(WS2022)&diff=36124 2022-04-10T19:21:53Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Projects Theoretical Computer Science |Research group=Automatentheorie |Lecturers=Franz Baader; Anni-Yasmin Turhan; Stefan Borgwardt; Anton…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Projects Theoretical Computer Science<br /> |Research group=Automatentheorie<br /> |Lecturers=Franz Baader; Anni-Yasmin Turhan; Stefan Borgwardt; Anton Claußnitzer<br /> |Term=WS<br /> |Year=2022<br /> |Module=INF‑MA‑PR, MCL‑P, INF‑PM‑FPG, CMS‑PRO<br /> |SWSLecture=0<br /> |SWSExercise=0<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=Projects at the Chair of Automata Theory. More information can be found [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23234641921 here].<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_Anwendungen_der_Logik_in_der_Informatik_(WS2022)/en&diff=36123 2022-04-10T19:19:02Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Proseminar Anwendungen der Logik in der Informatik (WS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_Anwendungen_der_Logik_in_der_Informatik_(WS2022)&diff=36122 2022-04-10T19:19:02Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar Anwendungen der Logik in der Informatik |Research group=Automatentheorie |Lecturers=Patrick Koopmann |Term=WS |Year=2022 |Module=…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Proseminar Anwendungen der Logik in der Informatik<br /> |Research group=Automatentheorie<br /> |Lecturers=Patrick Koopmann<br /> |Term=WS<br /> |Year=2022<br /> |Module=INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32197214210<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_%22Perlen_der_theoretischen_Informatik%22_(WS2022)/en&diff=36121 2022-04-10T19:17:38Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Proseminar &quot;Perlen der theoretischen Informatik&quot; (WS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_%22Perlen_der_theoretischen_Informatik%22_(WS2022)&diff=36120 2022-04-10T19:17:38Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar &quot;Perlen der theoretischen Informatik&quot; |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan |Term=WS |Year=2022 |Module=…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Proseminar &quot;Perlen der theoretischen Informatik&quot;<br /> |Research group=Automatentheorie<br /> |Lecturers=Anni-Yasmin Turhan<br /> |Term=WS<br /> |Year=2022<br /> |Module=INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32144982022<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Seminar_Theoretical_Computer_Science_%22Automata_for_Description_Logics%22_(WS2022)/en&diff=36119 2022-04-10T19:15:56Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Seminar Theoretical Computer Science &quot;Automata for Description Logics&quot; (WS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Seminar_Theoretical_Computer_Science_%22Automata_for_Description_Logics%22_(WS2022)&diff=36118 2022-04-10T19:15:56Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Theoretical Computer Science &quot;Automata for Description Logics&quot; |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan; Franz…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Seminar Theoretical Computer Science &quot;Automata for Description Logics&quot;<br /> |Research group=Automatentheorie<br /> |Lecturers=Anni-Yasmin Turhan; Franz Baader<br /> |Term=WS<br /> |Year=2022<br /> |Module=CMS‑LM‑ADV, CMS‑LM‑AI, INF‑04‑HS, INF‑AQUA, INF‑D‑940, MCL‑PS<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32049725454<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Introduction_to_Non-monotonic_Reasoning_(WS2022)/en&diff=36113 2022-04-10T18:36:15Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Introduction to Non-monotonic Reasoning (WS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Introduction_to_Non-monotonic_Reasoning_(WS2022)&diff=36112 2022-04-10T18:36:15Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Non-monotonic Reasoning |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan |Tutors=Oliver Fernández Gil |Term=W…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Introduction to Non-monotonic Reasoning<br /> |Research group=Automatentheorie<br /> |Lecturers=Anni-Yasmin Turhan<br /> |Tutors=Oliver Fernández Gil<br /> |Term=WS<br /> |Year=2022<br /> |Module=CMS‑LM‑ADV, CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑KR, MCL‑TCSL<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/32144982024<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Fuzzy_Description_Logic_(WS2022)/en&diff=36111 2022-04-10T18:34:47Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Fuzzy Description Logic (WS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Fuzzy_Description_Logic_(WS2022)&diff=36110 2022-04-10T18:34:47Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Fuzzy Description Logic |Research group=Automatentheorie |Lecturers=Stefan Borgwardt |Tutors=Patrick Koopmann |Term=WS |Year=2022 |Module=CM…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Fuzzy Description Logic<br /> |Research group=Automatentheorie<br /> |Lecturers=Stefan Borgwardt<br /> |Tutors=Patrick Koopmann<br /> |Term=WS<br /> |Year=2022<br /> |Module=CMS‑LM‑ADV, CMS‑LM‑AI, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑PM‑FOR, INF‑VERT6, MCL‑AI, MCL‑KR, MCL‑TCSL<br /> |SWSLecture=2<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/31893815297<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Term_Rewriting_Systems_(WS2022)/en&diff=36109 2022-04-10T18:32:39Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Term Rewriting Systems (WS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Term_Rewriting_Systems_(WS2022)&diff=36108 2022-04-10T18:32:39Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Term Rewriting Systems |Research group=Automatentheorie |Lecturers=Franz Baader |Tutors=Stefan Borgwardt |Term=WS |Year=2022 |Module=CMS‑L…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Term Rewriting Systems<br /> |Research group=Automatentheorie<br /> |Lecturers=Franz Baader<br /> |Tutors=Stefan Borgwardt<br /> |Term=WS<br /> |Year=2022<br /> |Module=CMS‑LM‑ADV, CMS‑LM‑MOC, INF‑B‑510, INF‑B‑520, INF‑BAS6, INF‑VERT6, MCL‑AI, MCL‑PI, MCL‑TCSL<br /> |SWSLecture=4<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=mündliche Prüfung<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/31946539010<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Projects_Theoretical_Computer_Science_(SS2022)/en&diff=36107 2022-04-10T18:27:51Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Projects Theoretical Computer Science (SS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Projects_Theoretical_Computer_Science_(SS2022)&diff=36106 2022-04-10T18:27:51Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Projects Theoretical Computer Science |Research group=Automatentheorie |Lecturers=Franz Baader; Anni-Yasmin Turhan; Patrick Koopmann; Anton…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Projects Theoretical Computer Science<br /> |Research group=Automatentheorie<br /> |Lecturers=Franz Baader; Anni-Yasmin Turhan; Patrick Koopmann; Anton Claußnitzer<br /> |Term=SS<br /> |Year=2022<br /> |Module=INF-MA-PR, INF-PM-FPG, MCL-P, CMS-PRO<br /> |SWSLecture=0<br /> |SWSExercise=0<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=Projects at the Chair of Automata Theory. More information can be found [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/23234641921 here].<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_Anwendungen_der_Logik_in_der_Informatik_(SS2022)/en&diff=36105 2022-04-10T18:23:16Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Proseminar Anwendungen der Logik in der Informatik (SS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_Anwendungen_der_Logik_in_der_Informatik_(SS2022)&diff=36104 2022-04-10T18:23:16Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar Anwendungen der Logik in der Informatik |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan; Patrick Koopmann |Term=SS…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Proseminar Anwendungen der Logik in der Informatik<br /> |Research group=Automatentheorie<br /> |Lecturers=Anni-Yasmin Turhan; Patrick Koopmann<br /> |Term=SS<br /> |Year=2022<br /> |Module=INF‑B‑510, INF‑B‑520, INF‑B‑610, INF‑D‑520<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/34390671363<br /> }}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_%22Perlen_der_theoretischen_Informatik%22_(SS2022)/en&diff=36103 2022-04-10T18:21:17Z

<p>Oliver Fernandez Gil: Page created automatically by parser function on page Proseminar &quot;Perlen der theoretischen Informatik&quot; (SS2022)</p> <hr /> <div>{{Vorlesung/en}}</div>

Oliver Fernandez Gil https://iccl.inf.tu-dresden.de/w/index.php?title=Proseminar_%22Perlen_der_theoretischen_Informatik%22_(SS2022)&diff=36102 2022-04-10T18:21:17Z

<p>Oliver Fernandez Gil: Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar &quot;Perlen der theoretischen Informatik&quot; |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan; Patrick Koopmann |Term=SS |…“</p> <hr /> <div>{{Vorlesung<br /> |Title=Proseminar &quot;Perlen der theoretischen Informatik&quot;<br /> |Research group=Automatentheorie<br /> |Lecturers=Anni-Yasmin Turhan; Patrick Koopmann<br /> |Term=SS<br /> |Year=2022<br /> |Module=INF‑B‑510, INF‑B‑520, INF‑B‑610<br /> |SWSLecture=0<br /> |SWSExercise=2<br /> |SWSPractical=0<br /> |Exam type=Hausarbeit, Referat<br /> |Description=https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/34568601608<br /> }}</div>

Oliver Fernandez Gil