Benutzerbeiträge von „Oliver Fernandez Gil“
Aus International Center for Computational Logic
26. April 2024
- 10:1510:15, 26. Apr. 2024 Unterschied Versionen 0 Bytes Francesco Kriegel Keine Bearbeitungszusammenfassung aktuell
- 10:0710:07, 26. Apr. 2024 Unterschied Versionen 0 Bytes Oliver Fernández Gil Keine Bearbeitungszusammenfassung aktuell
25. April 2024
- 12:5212:52, 25. Apr. 2024 Unterschied Versionen −2 Bytes Automatentheorie Keine Bearbeitungszusammenfassung aktuell
- 12:5212:52, 25. Apr. 2024 Unterschied Versionen 0 Bytes N Datei:LAT group photo 2024.jpeg Keine Bearbeitungszusammenfassung aktuell
- 12:2312:23, 25. Apr. 2024 Unterschied Versionen 0 Bytes Anni-Yasmin Turhan Keine Bearbeitungszusammenfassung aktuell
- 12:2312:23, 25. Apr. 2024 Unterschied Versionen 0 Bytes Satyadharma Tirtarasa Keine Bearbeitungszusammenfassung aktuell
- 12:2112:21, 25. Apr. 2024 Unterschied Versionen 0 Bytes Adrian Nuradiansyah Keine Bearbeitungszusammenfassung aktuell
12. Oktober 2022
- 22:2122:21, 12. Okt. 2022 Unterschied Versionen +16 Bytes N Seminar Theoretical Computer Science (WS2022)/en Page created automatically by parser function on page Seminar Theoretical Computer Science (WS2022) aktuell
- 22:2122:21, 12. Okt. 2022 Unterschied Versionen +395 Bytes 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
- 22:1222:12, 12. Okt. 2022 Unterschied Versionen +30 Bytes Proseminar "Perlen der theoretischen Informatik" (WS2022) Keine Bearbeitungszusammenfassung aktuell
- 22:1122:11, 12. Okt. 2022 Unterschied Versionen −20 Bytes Proseminar "Perlen der theoretischen Informatik" (WS2022) Keine Bearbeitungszusammenfassung
29. September 2022
- 10:5910:59, 29. Sep. 2022 Unterschied Versionen +67 Bytes Proseminar Anwendungen der Logik in der Informatik (WS2022) Keine Bearbeitungszusammenfassung aktuell
- 10:5710:57, 29. Sep. 2022 Unterschied Versionen −67 Bytes Proseminar Anwendungen der Logik in der Informatik (WS2022) Keine Bearbeitungszusammenfassung
25. September 2022
- 23:0123:01, 25. Sep. 2022 Unterschied Versionen +100 Bytes Formale Systeme (WS2022) Keine Bearbeitungszusammenfassung aktuell
- 22:5922:59, 25. Sep. 2022 Unterschied Versionen +16 Bytes N Formale Systeme (WS2022)/en Page created automatically by parser function on page Formale Systeme (WS2022) aktuell
- 22:5922:59, 25. Sep. 2022 Unterschied Versionen +263 Bytes 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
- 17:0217:02, 19. Sep. 2022 Unterschied Versionen +192 Bytes Unification in Modal and Description Logics (WS2022) Keine Bearbeitungszusammenfassung aktuell
- 17:0117:01, 19. Sep. 2022 Unterschied Versionen +16 Bytes 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
- 17:0117:01, 19. Sep. 2022 Unterschied Versionen +342 Bytes 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
- 09:5909:59, 9. Sep. 2022 Unterschied Versionen +66 Bytes Projects Theoretical Computer Science (WS2022) Keine Bearbeitungszusammenfassung aktuell
- 09:5809:58, 9. Sep. 2022 Unterschied Versionen −78 Bytes Projects Theoretical Computer Science (WS2022) Keine Bearbeitungszusammenfassung
- 08:3708:37, 9. Sep. 2022 Unterschied Versionen +166 Bytes Fuzzy Description Logic (WS2022) Keine Bearbeitungszusammenfassung aktuell
7. September 2022
- 15:0715:07, 7. Sep. 2022 Unterschied Versionen −141 Bytes Fuzzy Description Logic (WS2022) Keine Bearbeitungszusammenfassung
27. April 2022
- 15:3815:38, 27. Apr. 2022 Unterschied Versionen 0 Bytes Seminar Theoretical Computer Science "Automata for Description Logics" (WS2022) Keine Bearbeitungszusammenfassung aktuell
- 15:3815:38, 27. Apr. 2022 Unterschied Versionen 0 Bytes Proseminar Anwendungen der Logik in der Informatik (WS2022) Keine Bearbeitungszusammenfassung
- 15:3715:37, 27. Apr. 2022 Unterschied Versionen 0 Bytes Proseminar "Perlen der theoretischen Informatik" (WS2022) Keine Bearbeitungszusammenfassung
- 15:3715:37, 27. Apr. 2022 Unterschied Versionen 0 Bytes Term Rewriting Systems (WS2022) Keine Bearbeitungszusammenfassung aktuell
- 15:3715:37, 27. Apr. 2022 Unterschied Versionen 0 Bytes Projects Theoretical Computer Science (WS2022) Keine Bearbeitungszusammenfassung
- 15:3615:36, 27. Apr. 2022 Unterschied Versionen 0 Bytes Introduction to Non-monotonic Reasoning (WS2022) Keine Bearbeitungszusammenfassung aktuell
- 15:3515:35, 27. Apr. 2022 Unterschied Versionen 0 Bytes Fuzzy Description Logic (WS2022) Keine Bearbeitungszusammenfassung
10. April 2022
- 20:2120:21, 10. Apr. 2022 Unterschied Versionen +16 Bytes N Projects Theoretical Computer Science (WS2022)/en Page created automatically by parser function on page Projects Theoretical Computer Science (WS2022) aktuell
- 20:2120:21, 10. Apr. 2022 Unterschied Versionen +493 Bytes 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…“
- 20:1920:19, 10. Apr. 2022 Unterschied Versionen +16 Bytes 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
- 20:1920:19, 10. Apr. 2022 Unterschied Versionen +381 Bytes 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=…“
- 20:1720:17, 10. Apr. 2022 Unterschied Versionen +16 Bytes N Proseminar "Perlen der theoretischen Informatik" (WS2022)/en Page created automatically by parser function on page Proseminar "Perlen der theoretischen Informatik" (WS2022) aktuell
- 20:1720:17, 10. Apr. 2022 Unterschied Versionen +381 Bytes 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=…“
- 20:1520:15, 10. Apr. 2022 Unterschied Versionen +16 Bytes 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
- 20:1520:15, 10. Apr. 2022 Unterschied Versionen +440 Bytes 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…“
- 19:3619:36, 10. Apr. 2022 Unterschied Versionen +16 Bytes N Introduction to Non-monotonic Reasoning (WS2022)/en Page created automatically by parser function on page Introduction to Non-monotonic Reasoning (WS2022) aktuell
- 19:3619:36, 10. Apr. 2022 Unterschied Versionen +466 Bytes 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…“
- 19:3419:34, 10. Apr. 2022 Unterschied Versionen +16 Bytes N Fuzzy Description Logic (WS2022)/en Page created automatically by parser function on page Fuzzy Description Logic (WS2022) aktuell
- 19:3419:34, 10. Apr. 2022 Unterschied Versionen +453 Bytes 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…“
- 19:3219:32, 10. Apr. 2022 Unterschied Versionen +16 Bytes N Term Rewriting Systems (WS2022)/en Page created automatically by parser function on page Term Rewriting Systems (WS2022) aktuell
- 19:3219:32, 10. Apr. 2022 Unterschied Versionen +433 Bytes 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…“
- 19:2719:27, 10. Apr. 2022 Unterschied Versionen +16 Bytes N Projects Theoretical Computer Science (SS2022)/en Page created automatically by parser function on page Projects Theoretical Computer Science (SS2022) aktuell
- 19:2719:27, 10. Apr. 2022 Unterschied Versionen +481 Bytes 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
- 19:2319:23, 10. Apr. 2022 Unterschied Versionen +16 Bytes 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
- 19:2319:23, 10. Apr. 2022 Unterschied Versionen +401 Bytes 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
- 19:2119:21, 10. Apr. 2022 Unterschied Versionen +16 Bytes N Proseminar "Perlen der theoretischen Informatik" (SS2022)/en Page created automatically by parser function on page Proseminar "Perlen der theoretischen Informatik" (SS2022) aktuell
- 19:2119:21, 10. Apr. 2022 Unterschied Versionen +384 Bytes 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