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
- 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