Benutzerbeiträge von „Stefan Borgwardt“

12. September 2022

• 09:5909:59, 12. Sep. 2022 Unterschied Versionen 0 Stefan Borgwardt Keine Bearbeitungszusammenfassung aktuell

8. April 2021

• 13:1613:16, 8. Apr. 2021 Unterschied Versionen −9 Logic-Based Ontology Engineering (SS2021) Keine Bearbeitungszusammenfassung aktuell

15. Oktober 2020

• 15:3515:35, 15. Okt. 2020 Unterschied Versionen +16 N Automata and Logic (WS2020)/en Page created automatically by parser function on page Automata and Logic (WS2020) aktuell
• 15:3515:35, 15. Okt. 2020 Unterschied Versionen +945 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
• 15:3315:33, 15. Okt. 2020 Unterschied Versionen +16 N Introduction to Automatic Structures (WS2020)/en Page created automatically by parser function on page Introduction to Automatic Structures (WS2020) aktuell
• 15:3315:33, 15. Okt. 2020 Unterschied Versionen +1.283 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
• 15:2615:26, 15. Okt. 2020 Unterschied Versionen +16 N Fuzzy Description Logic (WS2020)/en Page created automatically by parser function on page Fuzzy Description Logic (WS2020) aktuell
• 15:2615:26, 15. Okt. 2020 Unterschied Versionen +895 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
• 15:1915:19, 15. Okt. 2020 Unterschied Versionen 0 Formale Systeme (WS2020) Keine Bearbeitungszusammenfassung

24. März 2020

• 16:4916:49, 24. Mär. 2020 Unterschied Versionen +16 N Logic-Based Ontology Engineering (SS2020)/en Page created automatically by parser function on page Logic-Based Ontology Engineering (SS2020) aktuell
• 16:4916:49, 24. Mär. 2020 Unterschied Versionen +401 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

• 11:3911:39, 4. Mär. 2019 Unterschied Versionen −2 Logic-Based Ontology Engineering (SS2019) Keine Bearbeitungszusammenfassung aktuell
• 11:3911:39, 4. Mär. 2019 Unterschied Versionen +6 Logic-Based Ontology Engineering (SS2019) Keine Bearbeitungszusammenfassung
• 11:3711:37, 4. Mär. 2019 Unterschied Versionen +16 N Logic-Based Ontology Engineering (SS2019)/en Page created automatically by parser function on page Logic-Based Ontology Engineering (SS2019) aktuell
• 11:3711:37, 4. Mär. 2019 Unterschied Versionen +421 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

• 12:1712:17, 8. Okt. 2018 Unterschied Versionen +16 N Project Group "Theoretical Computer Science" (WS2018)/en Page created automatically by parser function on page Project Group "Theoretical Computer Science" (WS2018) aktuell
• 12:1712:17, 8. Okt. 2018 Unterschied Versionen +399 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
• 12:1512:15, 8. Okt. 2018 Unterschied Versionen +16 N Seminar "Learning in Description Logics" (WS2018)/en Page created automatically by parser function on page Seminar "Learning in Description Logics" (WS2018) aktuell
• 12:1512:15, 8. Okt. 2018 Unterschied Versionen +436 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
• 12:1312:13, 8. Okt. 2018 Unterschied Versionen +16 N Automata and Logic (WS2018)/en Page created automatically by parser function on page Automata and Logic (WS2018) aktuell
• 12:1312:13, 8. Okt. 2018 Unterschied Versionen +428 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
• 12:1112:11, 8. Okt. 2018 Unterschied Versionen +16 N Fuzzy Description Logic (WS2018)/en Page created automatically by parser function on page Fuzzy Description Logic (WS2018) aktuell
• 12:1112:11, 8. Okt. 2018 Unterschied Versionen +405 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

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

2. Mai 2018

• 12:4312:43, 2. Mai 2018 Unterschied Versionen −250 Theoretische Informatik und Logik (SS2018) Keine Bearbeitungszusammenfassung

11. April 2018

• 06:4406:44, 11. Apr. 2018 Unterschied Versionen +249 Theoretische Informatik und Logik (SS2018) Keine Bearbeitungszusammenfassung

10. April 2018

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

26. März 2018

• 09:0709:07, 26. Mär. 2018 Unterschied Versionen +16 N Project Group "Theoretical Computer Science" (SS2018)/en Page created automatically by parser function on page Project Group "Theoretical Computer Science" (SS2018) aktuell
• 09:0709:07, 26. Mär. 2018 Unterschied Versionen +390 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
• 09:0509:05, 26. Mär. 2018 Unterschied Versionen +16 N Term Rewriting Systems (SS2018)/en Page created automatically by parser function on page Term Rewriting Systems (SS2018) aktuell
• 09:0509:05, 26. Mär. 2018 Unterschied Versionen +432 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
• 09:0409:04, 26. Mär. 2018 Unterschied Versionen −129 Logic-Based Ontology Engineering (SS2018) Keine Bearbeitungszusammenfassung aktuell
• 09:0309:03, 26. Mär. 2018 Unterschied Versionen +16 N Logic-Based Ontology Engineering (SS2018)/en Page created automatically by parser function on page Logic-Based Ontology Engineering (SS2018) aktuell
• 09:0309:03, 26. Mär. 2018 Unterschied Versionen +587 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

• 16:2916:29, 10. Jan. 2018 Unterschied Versionen −24 Theoretische Informatik und Logik (SS2017) Keine Bearbeitungszusammenfassung

11. Oktober 2017

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

7. Oktober 2017

• 08:5008:50, 7. Okt. 2017 Unterschied Versionen +240 Theoretische Informatik und Logik (SS2017) Keine Bearbeitungszusammenfassung

28. September 2017

• 12:3712:37, 28. Sep. 2017 Unterschied Versionen −65 Formale Systeme (WS2016) Keine Bearbeitungszusammenfassung

18. September 2017

• 10:3610:36, 18. Sep. 2017 Unterschied Versionen +65 Formale Systeme (WS2016) Keine Bearbeitungszusammenfassung

7. September 2017

• 12:4012:40, 7. Sep. 2017 Unterschied Versionen +16 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
• 12:4012:40, 7. Sep. 2017 Unterschied Versionen +394 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
• 12:3712:37, 7. Sep. 2017 Unterschied Versionen +16 N Project Group Theoretical Computer Science (WS2017)/en Page created automatically by parser function on page Project Group Theoretical Computer Science (WS2017) aktuell
• 12:3712:37, 7. Sep. 2017 Unterschied Versionen +344 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-…“
• 12:3312:33, 7. Sep. 2017 Unterschied Versionen +16 N Introduction to Non-monotonic Reasoning (WS2017)/en Page created automatically by parser function on page Introduction to Non-monotonic Reasoning (WS2017) aktuell
• 12:3312:33, 7. Sep. 2017 Unterschied Versionen +387 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
• 12:2912:29, 7. Sep. 2017 Unterschied Versionen +16 N Description Logic (WS2017)/en Page created automatically by parser function on page Description Logic (WS2017) aktuell
• 12:2912:29, 7. Sep. 2017 Unterschied Versionen +381 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

• 10:3810:38, 4. Sep. 2017 Unterschied Versionen +5 Formale Systeme (WS2016) Keine Bearbeitungszusammenfassung