Benutzerbeiträge von „Stefan Borgwardt“

12. September 2022

• 10:5910:59, 12. Sep. 2022 Unterschied Versionen 0 Bytes‎ Stefan Borgwardt ‎Keine Bearbeitungszusammenfassung aktuell

8. April 2021

• 14:1614:16, 8. Apr. 2021 Unterschied Versionen −9 Bytes‎ Logic-Based Ontology Engineering (SS2021) ‎Keine Bearbeitungszusammenfassung aktuell

15. Oktober 2020

• 16:3516:35, 15. Okt. 2020 Unterschied Versionen +16 Bytes‎ N Automata and Logic (WS2020)/en ‎ Page created automatically by parser function on page Automata and Logic (WS2020) aktuell
• 16:3516:35, 15. Okt. 2020 Unterschied Versionen +945 Bytes‎ N Automata and Logic (WS2020) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Automata and Logic |Research group=Automatentheorie |Lecturers=Franz Baader |Tutors=Patrick Koopmann |Term=WS |Year=2020 |Module=INF‑B‑5…“ aktuell
• 16:3316:33, 15. Okt. 2020 Unterschied Versionen +16 Bytes‎ N Introduction to Automatic Structures (WS2020)/en ‎ Page created automatically by parser function on page Introduction to Automatic Structures (WS2020) aktuell
• 16:3316:33, 15. Okt. 2020 Unterschied Versionen +1.283 Bytes‎ N Introduction to Automatic Structures (WS2020) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Automatic Structures |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan |Term=WS |Year=2020 |Module=INF‑B‑51…“ aktuell
• 16:2616:26, 15. Okt. 2020 Unterschied Versionen +16 Bytes‎ N Fuzzy Description Logic (WS2020)/en ‎ Page created automatically by parser function on page Fuzzy Description Logic (WS2020) aktuell
• 16:2616:26, 15. Okt. 2020 Unterschied Versionen +895 Bytes‎ N Fuzzy Description Logic (WS2020) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Fuzzy Description Logic |Research group=Automatentheorie |Lecturers=Stefan Borgwardt |Tutors=Anton Claußnitzer |Term=WS |Year=2020 |Module=…“ aktuell
• 16:1916:19, 15. Okt. 2020 Unterschied Versionen 0 Bytes‎ Formale Systeme (WS2020) ‎Keine Bearbeitungszusammenfassung

24. März 2020

• 17:4917:49, 24. Mär. 2020 Unterschied Versionen +16 Bytes‎ N Logic-Based Ontology Engineering (SS2020)/en ‎ Page created automatically by parser function on page Logic-Based Ontology Engineering (SS2020) aktuell
• 17:4917:49, 24. Mär. 2020 Unterschied Versionen +401 Bytes‎ N Logic-Based Ontology Engineering (SS2020) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Logic-Based Ontology Engineering |Research group=Automatentheorie |Lecturers=Stefan Borgwardt |Tutors=Patrick Koopmann |Term=SS |Year=2020 |…“ aktuell

4. März 2019

• 12:3912:39, 4. Mär. 2019 Unterschied Versionen −2 Bytes‎ Logic-Based Ontology Engineering (SS2019) ‎Keine Bearbeitungszusammenfassung aktuell
• 12:3912:39, 4. Mär. 2019 Unterschied Versionen +6 Bytes‎ Logic-Based Ontology Engineering (SS2019) ‎Keine Bearbeitungszusammenfassung
• 12:3712:37, 4. Mär. 2019 Unterschied Versionen +16 Bytes‎ N Logic-Based Ontology Engineering (SS2019)/en ‎ Page created automatically by parser function on page Logic-Based Ontology Engineering (SS2019) aktuell
• 12:3712:37, 4. Mär. 2019 Unterschied Versionen +421 Bytes‎ N Logic-Based Ontology Engineering (SS2019) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Logic-Based Ontology Engineering |Research group=Automatentheorie |Lecturers=Stefan Borgwardt; |Tutors=Anni-Yasmin Turhan; |Term=SS |Year=…“

8. Oktober 2018

• 13:1713:17, 8. Okt. 2018 Unterschied Versionen +16 Bytes‎ N Project Group "Theoretical Computer Science" (WS2018)/en ‎ Page created automatically by parser function on page Project Group "Theoretical Computer Science" (WS2018) aktuell
• 13:1713:17, 8. Okt. 2018 Unterschied Versionen +399 Bytes‎ N Project Group "Theoretical Computer Science" (WS2018) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Project Group "Theoretical Computer Science" |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan; |Term=WS |Year=2018 |Module=MC…“ aktuell
• 13:1513:15, 8. Okt. 2018 Unterschied Versionen +16 Bytes‎ N Seminar "Learning in Description Logics" (WS2018)/en ‎ Page created automatically by parser function on page Seminar "Learning in Description Logics" (WS2018) aktuell
• 13:1513:15, 8. Okt. 2018 Unterschied Versionen +436 Bytes‎ N Seminar "Learning in Description Logics" (WS2018) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar "Learning in Description Logics" |Research group=Automatentheorie |Lecturers=Franz Baader; Anni-Yasmin Turhan; |Term=WS |Year=2018…“ aktuell
• 13:1313:13, 8. Okt. 2018 Unterschied Versionen +16 Bytes‎ N Automata and Logic (WS2018)/en ‎ Page created automatically by parser function on page Automata and Logic (WS2018) aktuell
• 13:1313:13, 8. Okt. 2018 Unterschied Versionen +428 Bytes‎ N Automata and Logic (WS2018) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Automata and Logic |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan; |Tutors=Francesco Kriegel; |Term=WS |Year=2018 |Module=…“ aktuell
• 13:1113:11, 8. Okt. 2018 Unterschied Versionen +16 Bytes‎ N Fuzzy Description Logic (WS2018)/en ‎ Page created automatically by parser function on page Fuzzy Description Logic (WS2018) aktuell
• 13:1113:11, 8. Okt. 2018 Unterschied Versionen +405 Bytes‎ N Fuzzy Description Logic (WS2018) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Fuzzy Description Logic |Research group=Automatentheorie |Lecturers=Stefan Borgwardt |Term=WS |Year=2018 |Module=INF-BAS6, INF-VERT6, INF-PM…“ aktuell

20. Juli 2018

• 12:3112:31, 20. Jul. 2018 Unterschied Versionen +77 Bytes‎ N Stefan Borgwardt/Abschlussarbeiten/en ‎ Page created automatically by parser function on page Stefan Borgwardt aktuell
• 12:3112:31, 20. Jul. 2018 Unterschied Versionen +59 Bytes‎ N Stefan Borgwardt/Abschlussarbeiten ‎ Page created automatically by parser function on page Stefan Borgwardt aktuell
• 12:3112:31, 20. Jul. 2018 Unterschied Versionen +58 Bytes‎ Stefan Borgwardt ‎Keine Bearbeitungszusammenfassung

2. Mai 2018

• 13:4313:43, 2. Mai 2018 Unterschied Versionen −250 Bytes‎ Theoretische Informatik und Logik (SS2018) ‎Keine Bearbeitungszusammenfassung

11. April 2018

• 07:4407:44, 11. Apr. 2018 Unterschied Versionen +249 Bytes‎ Theoretische Informatik und Logik (SS2018) ‎Keine Bearbeitungszusammenfassung

10. April 2018

• 09:0809:08, 10. Apr. 2018 Unterschied Versionen +223 Bytes‎ Theoretische Informatik und Logik (SS2017) ‎Keine Bearbeitungszusammenfassung

26. März 2018

• 10:0710:07, 26. Mär. 2018 Unterschied Versionen +16 Bytes‎ N Project Group "Theoretical Computer Science" (SS2018)/en ‎ Page created automatically by parser function on page Project Group "Theoretical Computer Science" (SS2018) aktuell
• 10:0710:07, 26. Mär. 2018 Unterschied Versionen +390 Bytes‎ N Project Group "Theoretical Computer Science" (SS2018) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Project Group "Theoretical Computer Science" |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan; |Term=SS |Year=2018 |Module=MC…“ aktuell
• 10:0510:05, 26. Mär. 2018 Unterschied Versionen +16 Bytes‎ N Term Rewriting Systems (SS2018)/en ‎ Page created automatically by parser function on page Term Rewriting Systems (SS2018) aktuell
• 10:0510:05, 26. Mär. 2018 Unterschied Versionen +432 Bytes‎ N Term Rewriting Systems (SS2018) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Term Rewriting Systems |Research group=Automatentheorie |Lecturers=Franz Baader; |Tutors=Francesco Kriegel; |Term=SS |Year=2018 |Module=MC…“ aktuell
• 10:0410:04, 26. Mär. 2018 Unterschied Versionen −129 Bytes‎ Logic-Based Ontology Engineering (SS2018) ‎Keine Bearbeitungszusammenfassung aktuell
• 10:0310:03, 26. Mär. 2018 Unterschied Versionen +16 Bytes‎ N Logic-Based Ontology Engineering (SS2018)/en ‎ Page created automatically by parser function on page Logic-Based Ontology Engineering (SS2018) aktuell
• 10:0310:03, 26. Mär. 2018 Unterschied Versionen +587 Bytes‎ N Logic-Based Ontology Engineering (SS2018) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Logic-Based Ontology Engineering |Research group=Automatentheorie |Lecturers=Stefan Borgwardt |Tutors=Anni-Yasmin Turhan; |Term=SS |Year=20…“

10. Januar 2018

• 17:2917:29, 10. Jan. 2018 Unterschied Versionen −24 Bytes‎ Theoretische Informatik und Logik (SS2017) ‎Keine Bearbeitungszusammenfassung

11. Oktober 2017

• 11:0611:06, 11. Okt. 2017 Unterschied Versionen −7 Bytes‎ Project Group Theoretical Computer Science (WS2017) ‎Keine Bearbeitungszusammenfassung aktuell

7. Oktober 2017

• 09:5009:50, 7. Okt. 2017 Unterschied Versionen +240 Bytes‎ Theoretische Informatik und Logik (SS2017) ‎Keine Bearbeitungszusammenfassung

28. September 2017

• 13:3713:37, 28. Sep. 2017 Unterschied Versionen −65 Bytes‎ Formale Systeme (WS2016) ‎Keine Bearbeitungszusammenfassung

18. September 2017

• 11:3611:36, 18. Sep. 2017 Unterschied Versionen +65 Bytes‎ Formale Systeme (WS2016) ‎Keine Bearbeitungszusammenfassung

7. September 2017

• 13:4013:40, 7. Sep. 2017 Unterschied Versionen +16 Bytes‎ N Seminar: Further Topics in Description Logics (WS2017)/en ‎ Page created automatically by parser function on page Seminar: Further Topics in Description Logics (WS2017) aktuell
• 13:4013:40, 7. Sep. 2017 Unterschied Versionen +394 Bytes‎ N Seminar: Further Topics in Description Logics (WS2017) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar: Further Topics in Description Logics |Research group=Automatentheorie |Lecturers=Franz Baader; Anni-Yasmin Turhan; |Term=WS |Year=…“ aktuell
• 13:3713:37, 7. Sep. 2017 Unterschied Versionen +16 Bytes‎ N Project Group Theoretical Computer Science (WS2017)/en ‎ Page created automatically by parser function on page Project Group Theoretical Computer Science (WS2017) aktuell
• 13:3713:37, 7. Sep. 2017 Unterschied Versionen +344 Bytes‎ N Project Group Theoretical Computer Science (WS2017) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Project Group Theoretical Computer Science |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan; |Term=WS |Year=2017 |Module=MCL-…“
• 13:3313:33, 7. Sep. 2017 Unterschied Versionen +16 Bytes‎ N Introduction to Non-monotonic Reasoning (WS2017)/en ‎ Page created automatically by parser function on page Introduction to Non-monotonic Reasoning (WS2017) aktuell
• 13:3313:33, 7. Sep. 2017 Unterschied Versionen +387 Bytes‎ N Introduction to Non-monotonic Reasoning (WS2017) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Non-monotonic Reasoning |Research group=Automatentheorie |Lecturers=Anni-Yasmin Turhan; |Term=WS |Year=2017 |Module=INF-B-5…“ aktuell
• 13:2913:29, 7. Sep. 2017 Unterschied Versionen +16 Bytes‎ N Description Logic (WS2017)/en ‎ Page created automatically by parser function on page Description Logic (WS2017) aktuell
• 13:2913:29, 7. Sep. 2017 Unterschied Versionen +381 Bytes‎ N Description Logic (WS2017) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Description Logic |Research group=Automatentheorie |Lecturers=Franz Baader; |Tutors=Stefan Borgwardt; |Term=WS |Year=2017 |Module=INF-B-51…“ aktuell

4. September 2017

• 11:3811:38, 4. Sep. 2017 Unterschied Versionen +5 Bytes‎ Formale Systeme (WS2016) ‎Keine Bearbeitungszusammenfassung