Benutzerbeiträge von „Oliver Fernandez Gil“

26. April 2024

• 09:1509:15, 26. Apr. 2024 Unterschied Versionen 0 Francesco Kriegel Keine Bearbeitungszusammenfassung aktuell
• 09:0709:07, 26. Apr. 2024 Unterschied Versionen 0 Oliver Fernández Gil Keine Bearbeitungszusammenfassung aktuell

25. April 2024

• 11:5211:52, 25. Apr. 2024 Unterschied Versionen −2 Automatentheorie Keine Bearbeitungszusammenfassung
• 11:5211:52, 25. Apr. 2024 Unterschied Versionen 0 N Datei:LAT group photo 2024.jpeg Keine Bearbeitungszusammenfassung aktuell
• 11:2311:23, 25. Apr. 2024 Unterschied Versionen 0 Anni-Yasmin Turhan Keine Bearbeitungszusammenfassung aktuell
• 11:2311:23, 25. Apr. 2024 Unterschied Versionen 0 Satyadharma Tirtarasa Keine Bearbeitungszusammenfassung aktuell
• 11:2111:21, 25. Apr. 2024 Unterschied Versionen 0 Adrian Nuradiansyah Keine Bearbeitungszusammenfassung aktuell

12. Oktober 2022

• 21:2121:21, 12. Okt. 2022 Unterschied Versionen +16 N Seminar Theoretical Computer Science (WS2022)/en Page created automatically by parser function on page Seminar Theoretical Computer Science (WS2022) aktuell
• 21:2121:21, 12. Okt. 2022 Unterschied Versionen +395 N Seminar Theoretical Computer Science (WS2022) 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…“ aktuell
• 21:1221:12, 12. Okt. 2022 Unterschied Versionen +30 Proseminar "Perlen der theoretischen Informatik" (WS2022) Keine Bearbeitungszusammenfassung aktuell
• 21:1121:11, 12. Okt. 2022 Unterschied Versionen −20 Proseminar "Perlen der theoretischen Informatik" (WS2022) Keine Bearbeitungszusammenfassung

29. September 2022

• 09:5909:59, 29. Sep. 2022 Unterschied Versionen +67 Proseminar Anwendungen der Logik in der Informatik (WS2022) Keine Bearbeitungszusammenfassung aktuell
• 09:5709:57, 29. Sep. 2022 Unterschied Versionen −67 Proseminar Anwendungen der Logik in der Informatik (WS2022) Keine Bearbeitungszusammenfassung

25. September 2022

• 22:0122:01, 25. Sep. 2022 Unterschied Versionen +100 Formale Systeme (WS2022) Keine Bearbeitungszusammenfassung aktuell
• 21:5921:59, 25. Sep. 2022 Unterschied Versionen +16 N Formale Systeme (WS2022)/en Page created automatically by parser function on page Formale Systeme (WS2022) aktuell
• 21:5921:59, 25. Sep. 2022 Unterschied Versionen +263 N Formale Systeme (WS2022) 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…“

19. September 2022

• 16:0216:02, 19. Sep. 2022 Unterschied Versionen +192 Unification in Modal and Description Logics (WS2022) Keine Bearbeitungszusammenfassung aktuell
• 16:0116:01, 19. Sep. 2022 Unterschied Versionen +16 N Unification in Modal and Description Logics (WS2022)/en Page created automatically by parser function on page Unification in Modal and Description Logics (WS2022) aktuell
• 16:0116:01, 19. Sep. 2022 Unterschied Versionen +342 N Unification in Modal and Description Logics (WS2022) 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…“

9. September 2022

• 08:5908:59, 9. Sep. 2022 Unterschied Versionen +66 Projects Theoretical Computer Science (WS2022) Keine Bearbeitungszusammenfassung aktuell
• 08:5808:58, 9. Sep. 2022 Unterschied Versionen −78 Projects Theoretical Computer Science (WS2022) Keine Bearbeitungszusammenfassung
• 07:3707:37, 9. Sep. 2022 Unterschied Versionen +166 Fuzzy Description Logic (WS2022) Keine Bearbeitungszusammenfassung aktuell

7. September 2022

• 14:0714:07, 7. Sep. 2022 Unterschied Versionen −141 Fuzzy Description Logic (WS2022) Keine Bearbeitungszusammenfassung

27. April 2022

• 14:3814:38, 27. Apr. 2022 Unterschied Versionen 0 Seminar Theoretical Computer Science "Automata for Description Logics" (WS2022) Keine Bearbeitungszusammenfassung aktuell
• 14:3814:38, 27. Apr. 2022 Unterschied Versionen 0 Proseminar Anwendungen der Logik in der Informatik (WS2022) Keine Bearbeitungszusammenfassung
• 14:3714:37, 27. Apr. 2022 Unterschied Versionen 0 Proseminar "Perlen der theoretischen Informatik" (WS2022) Keine Bearbeitungszusammenfassung
• 14:3714:37, 27. Apr. 2022 Unterschied Versionen 0 Term Rewriting Systems (WS2022) Keine Bearbeitungszusammenfassung aktuell
• 14:3714:37, 27. Apr. 2022 Unterschied Versionen 0 Projects Theoretical Computer Science (WS2022) Keine Bearbeitungszusammenfassung
• 14:3614:36, 27. Apr. 2022 Unterschied Versionen 0 Introduction to Non-monotonic Reasoning (WS2022) Keine Bearbeitungszusammenfassung aktuell
• 14:3514:35, 27. Apr. 2022 Unterschied Versionen 0 Fuzzy Description Logic (WS2022) Keine Bearbeitungszusammenfassung

10. April 2022

• 19:2119:21, 10. Apr. 2022 Unterschied Versionen +16 N Projects Theoretical Computer Science (WS2022)/en Page created automatically by parser function on page Projects Theoretical Computer Science (WS2022) aktuell
• 19:2119:21, 10. Apr. 2022 Unterschied Versionen +493 N Projects Theoretical Computer Science (WS2022) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Projects Theoretical Computer Science |Research group=Automatentheorie |Lecturers=Franz Baader; Anni-Yasmin Turhan; Stefan Borgwardt; Anton…“
• 19:1919:19, 10. Apr. 2022 Unterschied Versionen +16 N Proseminar Anwendungen der Logik in der Informatik (WS2022)/en Page created automatically by parser function on page Proseminar Anwendungen der Logik in der Informatik (WS2022) aktuell
• 19:1919:19, 10. Apr. 2022 Unterschied Versionen +381 N Proseminar Anwendungen der Logik in der Informatik (WS2022) 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=…“
• 19:1719:17, 10. Apr. 2022 Unterschied Versionen +16 N Proseminar "Perlen der theoretischen Informatik" (WS2022)/en Page created automatically by parser function on page Proseminar "Perlen der theoretischen Informatik" (WS2022) aktuell
• 19:1719:17, 10. Apr. 2022 Unterschied Versionen +381 N Proseminar "Perlen der theoretischen Informatik" (WS2022) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar "Perlen der theoretischen Informatik" |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan |Term=WS |Year=2022 |Module=…“
• 19:1519:15, 10. Apr. 2022 Unterschied Versionen +16 N Seminar Theoretical Computer Science "Automata for Description Logics" (WS2022)/en Page created automatically by parser function on page Seminar Theoretical Computer Science "Automata for Description Logics" (WS2022) aktuell
• 19:1519:15, 10. Apr. 2022 Unterschied Versionen +440 N Seminar Theoretical Computer Science "Automata for Description Logics" (WS2022) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Theoretical Computer Science "Automata for Description Logics" |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan; Franz…“
• 18:3618:36, 10. Apr. 2022 Unterschied Versionen +16 N Introduction to Non-monotonic Reasoning (WS2022)/en Page created automatically by parser function on page Introduction to Non-monotonic Reasoning (WS2022) aktuell
• 18:3618:36, 10. Apr. 2022 Unterschied Versionen +466 N Introduction to Non-monotonic Reasoning (WS2022) 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…“
• 18:3418:34, 10. Apr. 2022 Unterschied Versionen +16 N Fuzzy Description Logic (WS2022)/en Page created automatically by parser function on page Fuzzy Description Logic (WS2022) aktuell
• 18:3418:34, 10. Apr. 2022 Unterschied Versionen +453 N Fuzzy Description Logic (WS2022) 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…“
• 18:3218:32, 10. Apr. 2022 Unterschied Versionen +16 N Term Rewriting Systems (WS2022)/en Page created automatically by parser function on page Term Rewriting Systems (WS2022) aktuell
• 18:3218:32, 10. Apr. 2022 Unterschied Versionen +433 N Term Rewriting Systems (WS2022) 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…“
• 18:2718:27, 10. Apr. 2022 Unterschied Versionen +16 N Projects Theoretical Computer Science (SS2022)/en Page created automatically by parser function on page Projects Theoretical Computer Science (SS2022) aktuell
• 18:2718:27, 10. Apr. 2022 Unterschied Versionen +481 N Projects Theoretical Computer Science (SS2022) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Projects Theoretical Computer Science |Research group=Automatentheorie |Lecturers=Franz Baader; Anni-Yasmin Turhan; Patrick Koopmann; Anton…“ aktuell
• 18:2318:23, 10. Apr. 2022 Unterschied Versionen +16 N Proseminar Anwendungen der Logik in der Informatik (SS2022)/en Page created automatically by parser function on page Proseminar Anwendungen der Logik in der Informatik (SS2022) aktuell
• 18:2318:23, 10. Apr. 2022 Unterschied Versionen +401 N Proseminar Anwendungen der Logik in der Informatik (SS2022) 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…“ aktuell
• 18:2118:21, 10. Apr. 2022 Unterschied Versionen +16 N Proseminar "Perlen der theoretischen Informatik" (SS2022)/en Page created automatically by parser function on page Proseminar "Perlen der theoretischen Informatik" (SS2022) aktuell
• 18:2118:21, 10. Apr. 2022 Unterschied Versionen +384 N Proseminar "Perlen der theoretischen Informatik" (SS2022) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar "Perlen der theoretischen Informatik" |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan; Patrick Koopmann |Term=SS |…“ aktuell