Benutzerbeiträge von „Stefan Borgwardt“
Aus International Center for Computational Logic
Für Stefan Borgwardt Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
12. September 2022
- 11:5911:59, 12. Sep. 2022 Unterschied Versionen 0 Bytes Stefan Borgwardt Keine Bearbeitungszusammenfassung aktuell
8. April 2021
- 15:1615:16, 8. Apr. 2021 Unterschied Versionen −9 Bytes Logic-Based Ontology Engineering (SS2021) Keine Bearbeitungszusammenfassung aktuell
15. Oktober 2020
- 17:3517: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
- 17:3517: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
- 17:3317: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
- 17:3317: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
- 17:2617: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
- 17:2617: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
- 17:1917:19, 15. Okt. 2020 Unterschied Versionen 0 Bytes Formale Systeme (WS2020) Keine Bearbeitungszusammenfassung
24. März 2020
- 18:4918: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
- 18:4918: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
- 13:3913:39, 4. Mär. 2019 Unterschied Versionen −2 Bytes Logic-Based Ontology Engineering (SS2019) Keine Bearbeitungszusammenfassung aktuell
- 13:3913:39, 4. Mär. 2019 Unterschied Versionen +6 Bytes Logic-Based Ontology Engineering (SS2019) Keine Bearbeitungszusammenfassung
- 13:3713: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
- 13:3713: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
- 14:1714: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
- 14:1714: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
- 14:1514: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
- 14:1514: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
- 14:1314: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
- 14:1314: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
- 14:1114: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
- 14:1114: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
- 13:3113:31, 20. Jul. 2018 Unterschied Versionen +77 Bytes N Stefan Borgwardt/Abschlussarbeiten/en Page created automatically by parser function on page Stefan Borgwardt aktuell
- 13:3113:31, 20. Jul. 2018 Unterschied Versionen +59 Bytes N Stefan Borgwardt/Abschlussarbeiten Page created automatically by parser function on page Stefan Borgwardt aktuell
- 13:3113:31, 20. Jul. 2018 Unterschied Versionen +58 Bytes Stefan Borgwardt Keine Bearbeitungszusammenfassung
2. Mai 2018
- 14:4314:43, 2. Mai 2018 Unterschied Versionen −250 Bytes Theoretische Informatik und Logik (SS2018) Keine Bearbeitungszusammenfassung
11. April 2018
- 08:4408:44, 11. Apr. 2018 Unterschied Versionen +249 Bytes Theoretische Informatik und Logik (SS2018) Keine Bearbeitungszusammenfassung
10. April 2018
- 10:0810:08, 10. Apr. 2018 Unterschied Versionen +223 Bytes Theoretische Informatik und Logik (SS2017) Keine Bearbeitungszusammenfassung
26. März 2018
- 11:0711: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
- 11:0711: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
- 11:0511: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
- 11:0511: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
- 11:0411:04, 26. Mär. 2018 Unterschied Versionen −129 Bytes Logic-Based Ontology Engineering (SS2018) Keine Bearbeitungszusammenfassung aktuell
- 11:0311: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
- 11:0311: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
- 18:2918:29, 10. Jan. 2018 Unterschied Versionen −24 Bytes Theoretische Informatik und Logik (SS2017) Keine Bearbeitungszusammenfassung
11. Oktober 2017
- 12:0612:06, 11. Okt. 2017 Unterschied Versionen −7 Bytes Project Group Theoretical Computer Science (WS2017) Keine Bearbeitungszusammenfassung aktuell
7. Oktober 2017
- 10:5010:50, 7. Okt. 2017 Unterschied Versionen +240 Bytes Theoretische Informatik und Logik (SS2017) Keine Bearbeitungszusammenfassung
28. September 2017
- 14:3714:37, 28. Sep. 2017 Unterschied Versionen −65 Bytes Formale Systeme (WS2016) Keine Bearbeitungszusammenfassung
18. September 2017
- 12:3612:36, 18. Sep. 2017 Unterschied Versionen +65 Bytes Formale Systeme (WS2016) Keine Bearbeitungszusammenfassung
7. September 2017
- 14:4014: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
- 14:4014: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
- 14:3714: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
- 14:3714: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-…“
- 14:3314: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
- 14:3314: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
- 14:2914: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
- 14:2914: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
- 12:3812:38, 4. Sep. 2017 Unterschied Versionen +5 Bytes Formale Systeme (WS2016) Keine Bearbeitungszusammenfassung