Benutzerbeiträge
Aus International Center for Computational Logic
- 22: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: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:12, 12. Okt. 2022 Unterschied Versionen +30 Bytes Proseminar "Perlen der theoretischen Informatik" (WS2022) aktuell
- 22:11, 12. Okt. 2022 Unterschied Versionen -20 Bytes Proseminar "Perlen der theoretischen Informatik" (WS2022)
- 10:59, 29. Sep. 2022 Unterschied Versionen +67 Bytes Proseminar Anwendungen der Logik in der Informatik (WS2022) aktuell
- 10:57, 29. Sep. 2022 Unterschied Versionen -67 Bytes Proseminar Anwendungen der Logik in der Informatik (WS2022)
- 23:01, 25. Sep. 2022 Unterschied Versionen +100 Bytes Formale Systeme (WS2022) aktuell
- 22: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: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…“
- 17:02, 19. Sep. 2022 Unterschied Versionen +192 Bytes Unification in Modal and Description Logics (WS2022) aktuell
- 17: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: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…“
- 09:59, 9. Sep. 2022 Unterschied Versionen +66 Bytes Projects Theoretical Computer Science (WS2022) aktuell
- 09:58, 9. Sep. 2022 Unterschied Versionen -78 Bytes Projects Theoretical Computer Science (WS2022)
- 08:37, 9. Sep. 2022 Unterschied Versionen +166 Bytes Fuzzy Description Logic (WS2022) aktuell
- 15:07, 7. Sep. 2022 Unterschied Versionen -141 Bytes Fuzzy Description Logic (WS2022)
- 15:38, 27. Apr. 2022 Unterschied Versionen 0 Bytes Seminar Theoretical Computer Science "Automata for Description Logics" (WS2022) aktuell
- 15:38, 27. Apr. 2022 Unterschied Versionen 0 Bytes Proseminar Anwendungen der Logik in der Informatik (WS2022)
- 15:37, 27. Apr. 2022 Unterschied Versionen 0 Bytes Proseminar "Perlen der theoretischen Informatik" (WS2022)
- 15:37, 27. Apr. 2022 Unterschied Versionen 0 Bytes Term Rewriting Systems (WS2022) aktuell
- 15:37, 27. Apr. 2022 Unterschied Versionen 0 Bytes Projects Theoretical Computer Science (WS2022)
- 15:36, 27. Apr. 2022 Unterschied Versionen 0 Bytes Introduction to Non-monotonic Reasoning (WS2022) aktuell
- 15:35, 27. Apr. 2022 Unterschied Versionen 0 Bytes Fuzzy Description Logic (WS2022)
- 20: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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
- 19:18, 10. Apr. 2022 Unterschied Versionen +16 Bytes N Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting" (SS2022)/en Page created automatically by parser function on page Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting" (SS2022) aktuell
- 19:18, 10. Apr. 2022 Unterschied Versionen +453 Bytes N Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting" (SS2022) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Theoretical Computer Science "Advanced Topics in Term Rewriting" |Research group=Automatentheorie |Lecturers=Franz Baader; Anni-Yasm…“ aktuell
- 18:21, 10. Apr. 2022 Unterschied Versionen +16 Bytes N Einführung in die (theoretische) Informatik (SS2022)/en Page created automatically by parser function on page Einführung in die (theoretische) Informatik (SS2022) aktuell
- 18:21, 10. Apr. 2022 Unterschied Versionen +481 Bytes N Einführung in die (theoretische) Informatik (SS2022) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Einführung in die (theoretische) Informatik |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan |Tutors=Anton Claußnitzer |Term…“ aktuell
- 00:29, 9. Apr. 2022 Unterschied Versionen +16 Bytes N Logic-Based Ontology Engineering (SS2022)/en Page created automatically by parser function on page Logic-Based Ontology Engineering (SS2022) aktuell
- 00:29, 9. Apr. 2022 Unterschied Versionen +466 Bytes N Logic-Based Ontology Engineering (SS2022) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Logic-Based Ontology Engineering |Research group=Automatentheorie |Lecturers=Patrick Koopmann |Tutors=Stefan Borgwardt |Term=SS |Year=2022 |…“ aktuell
- 23:59, 8. Apr. 2022 Unterschied Versionen +16 Bytes N Description Logic (SS2022)/en Page created automatically by parser function on page Description Logic (SS2022) aktuell