Benutzerbeiträge von „Sebastian Rudolph“

27. April 2026

• 11:4311:43, 27. Apr. 2026 Unterschied Versionen +40 Introduction to Existential Rules (SS2026) Keine Bearbeitungszusammenfassung aktuell
• 11:4111:41, 27. Apr. 2026 Unterschied Versionen +40 Introduction to Existential Rules (SS2026) Keine Bearbeitungszusammenfassung
• 11:4111:41, 27. Apr. 2026 Unterschied Versionen 0 N Datei:ER-Rudolph-Lecture02-SS26.pdf Keine Bearbeitungszusammenfassung aktuell

26. April 2026

• 13:0613:06, 26. Apr. 2026 Unterschied Versionen +1.470 N Inproceedings3465 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sebastian |ErsterAutorNachname=Rudolph |FurtherAuthors=Kai Sauerwald }} {{Inproceedings |Referiert=1 |Title=Mutual Irreducibility of Revision and Multiple Revision |To appear=0 |Year=2026 |Booktitle=Foundations of Information and Knowledge Systems – 14th International Symposium (FoIKS 2026) |Pages=121-133 |Publisher=Springer |Editor=Anni-Yasmin Turhan, Jonni Virtema |Series=LNCS |Volume=16475 }} {{Publikati…“ aktuell
• 13:0613:06, 26. Apr. 2026 Unterschied Versionen 0 N Datei:Rudolph-Sauerwald-FOIKS2026.pdf Keine Bearbeitungszusammenfassung aktuell

12. April 2026

• 11:0911:09, 12. Apr. 2026 Unterschied Versionen −60 Introduction to Existential Rules (SS2026) Keine Bearbeitungszusammenfassung
• 11:0911:09, 12. Apr. 2026 Unterschied Versionen 0 N Datei:ER-Rudolph-Lecture01-SS26.pdf Keine Bearbeitungszusammenfassung aktuell
• 11:0611:06, 12. Apr. 2026 Unterschied Versionen +1.231 Introduction to Existential Rules (SS2026) Keine Bearbeitungszusammenfassung

11. April 2026

• 18:0018:00, 11. Apr. 2026 Unterschied Versionen −222 Introduction to Formal Concept Analysis (SS2026) Keine Bearbeitungszusammenfassung aktuell
• 18:0018:00, 11. Apr. 2026 Unterschied Versionen 0 N Datei:00 organization 26.pdf Keine Bearbeitungszusammenfassung aktuell
• 17:5917:59, 11. Apr. 2026 Unterschied Versionen +2.840 Introduction to Formal Concept Analysis (SS2026) Keine Bearbeitungszusammenfassung

9. April 2026

• 20:3220:32, 9. Apr. 2026 Unterschied Versionen −16 Introduction to Formal Concept Analysis (SS2026) Keine Bearbeitungszusammenfassung
• 20:3120:31, 9. Apr. 2026 Unterschied Versionen +1.683 N Introduction to Formal Concept Analysis (SS2026) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Formal Concept Analysis |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Term=SS |Year=2026 |Module=INF-BAS2, MCL-KR, MCL-PI, INF-E-3, CMS-LM-ADV, CMS-LM-AI |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=This course is an introduction into formal concept analysis (FCA), a mathematical theory oriented at applications in knowledge representation, knowledge acquisit…“
• 20:2820:28, 9. Apr. 2026 Unterschied Versionen +21 Introduction to Existential Rules (SS2026) Keine Bearbeitungszusammenfassung
• 20:2720:27, 9. Apr. 2026 Unterschied Versionen +1.270 N Introduction to Existential Rules (SS2026) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Existential Rules |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Term=SS |Year=2026 |Module=INF-BAS2, INF-VERT2 |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=Existential Rules are a knowledge representation formalism used in artificial intelligence and database theory. Their syntactic flexibility enables an easy integration of both semantic knowledge and datab…“

22. Februar 2026

• 17:4017:40, 22. Feb. 2026 Unterschied Versionen −6 SEMECO-Q2 Keine Bearbeitungszusammenfassung aktuell

13. Februar 2026

• 15:2115:21, 13. Feb. 2026 Unterschied Versionen +42 Article3118 Keine Bearbeitungszusammenfassung aktuell

11. Januar 2026

• 16:2516:25, 11. Jan. 2026 Unterschied Versionen 0 Inproceedings3450 Keine Bearbeitungszusammenfassung
• 16:1616:16, 11. Jan. 2026 Unterschied Versionen +28 Foundations of Knowledge Representation (WS2025) Keine Bearbeitungszusammenfassung aktuell
• 16:1616:16, 11. Jan. 2026 Unterschied Versionen 0 N Datei:Fkr-10-WS2025.pdf Keine Bearbeitungszusammenfassung aktuell

6. Januar 2026

• 11:5911:59, 6. Jan. 2026 Unterschied Versionen +465 Introduction to Existential Rules (WS2025) Keine Bearbeitungszusammenfassung aktuell
• 11:5811:58, 6. Jan. 2026 Unterschied Versionen 0 N Datei:ER-Rudolph-Lecture09-WS2025.pdf Keine Bearbeitungszusammenfassung aktuell
• 11:5811:58, 6. Jan. 2026 Unterschied Versionen 0 N Datei:ER-Rudolph-Lecture08-WS2025.pdf Keine Bearbeitungszusammenfassung aktuell
• 11:5611:56, 6. Jan. 2026 Unterschied Versionen 0 N Datei:ER-Rudolph-Lecture07-WS2025.pdf Keine Bearbeitungszusammenfassung aktuell

2. Januar 2026

• 15:4815:48, 2. Jan. 2026 Unterschied Versionen +8 DeciGUT Keine Bearbeitungszusammenfassung aktuell

27. Dezember 2025

• 18:0518:05, 27. Dez. 2025 Unterschied Versionen +28 Foundations of Knowledge Representation (WS2025) Keine Bearbeitungszusammenfassung
• 18:0518:05, 27. Dez. 2025 Unterschied Versionen 0 N Datei:Fkr-09-WS2025.pdf Keine Bearbeitungszusammenfassung aktuell
• 18:0418:04, 27. Dez. 2025 Unterschied Versionen +28 Foundations of Knowledge Representation (WS2025) Keine Bearbeitungszusammenfassung
• 17:5917:59, 27. Dez. 2025 Unterschied Versionen −238 Foundations of Knowledge Representation (WS2025) Keine Bearbeitungszusammenfassung
• 17:5517:55, 27. Dez. 2025 Unterschied Versionen +159 Introduction to Existential Rules (WS2025) Keine Bearbeitungszusammenfassung
• 17:5517:55, 27. Dez. 2025 Unterschied Versionen 0 N Datei:ER-Rudolph-Lecture06-WS2025.pdf Keine Bearbeitungszusammenfassung aktuell

22. Dezember 2025

• 09:2009:20, 22. Dez. 2025 Unterschied Versionen +3 Article3118 Keine Bearbeitungszusammenfassung

15. Dezember 2025

• 13:3613:36, 15. Dez. 2025 Unterschied Versionen 0 N Datei:Fkr-08-WS2025.pdf Keine Bearbeitungszusammenfassung aktuell

12. Dezember 2025

• 16:1716:17, 12. Dez. 2025 Unterschied Versionen +10 Article3118 Keine Bearbeitungszusammenfassung
• 16:1316:13, 12. Dez. 2025 Unterschied Versionen +6 Article3118 Keine Bearbeitungszusammenfassung
• 16:1016:10, 12. Dez. 2025 Unterschied Versionen 0 Article3118 Keine Bearbeitungszusammenfassung
• 16:0716:07, 12. Dez. 2025 Unterschied Versionen +67 Article3118 Keine Bearbeitungszusammenfassung
• 16:0616:06, 12. Dez. 2025 Unterschied Versionen 0 N Datei:3779418.pdf Keine Bearbeitungszusammenfassung aktuell

10. Dezember 2025

• 17:0417:04, 10. Dez. 2025 Unterschied Versionen +1.731 N Article3118 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Manuel |ErsterAutorNachname=Bodirsky |FurtherAuthors=Simon Knäuer; Sebastian Rudolph }} {{Article |Referiert=1 |Title=Datalog-Expressibility for Monadic and Guarded Second-Order Logic |To appear=1 |Year=2025 |Journal=ACM Transactions on Computational Logic |Publisher=ACM }} {{Publikation Details |Abstract=We characterise the sentences in Monadic Second-order Logic (MSO) that are over finite structures equiva…“

24. November 2025

• 13:3313:33, 24. Nov. 2025 Unterschied Versionen +113 Introduction to Existential Rules (WS2025) Keine Bearbeitungszusammenfassung

21. November 2025

• 22:0022:00, 21. Nov. 2025 Unterschied Versionen +56 Foundations of Knowledge Representation (WS2025) Keine Bearbeitungszusammenfassung
• 22:0022:00, 21. Nov. 2025 Unterschied Versionen 0 Datei:Fkr-07-WS2025.pdf Sebastian Rudolph lud eine neue Version von Datei:Fkr-07-WS2025.pdf hoch aktuell
• 21:5921:59, 21. Nov. 2025 Unterschied Versionen 0 N Datei:Fkr-06-WS2025.pdf Keine Bearbeitungszusammenfassung aktuell
• 21:5921:59, 21. Nov. 2025 Unterschied Versionen 0 N Datei:Fkr-07-WS2025.pdf Keine Bearbeitungszusammenfassung

17. November 2025

• 04:0304:03, 17. Nov. 2025 Unterschied Versionen +33 Inproceedings3421 Keine Bearbeitungszusammenfassung aktuell
• 04:0304:03, 17. Nov. 2025 Unterschied Versionen 0 N Datei:KR2025-Standpoint-C2.pdf Keine Bearbeitungszusammenfassung aktuell

16. November 2025

• 04:2504:25, 16. Nov. 2025 Unterschied Versionen +89 Inproceedings3449 Keine Bearbeitungszusammenfassung aktuell
• 04:2504:25, 16. Nov. 2025 Unterschied Versionen +30 Inproceedings3421 Keine Bearbeitungszusammenfassung
• 04:2004:20, 16. Nov. 2025 Unterschied Versionen +1.689 N Inproceedings3449 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Simon |ErsterAutorNachname=Hosemann |FurtherAuthors=Jean Christoph Jung; Carsten Lutz; Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=Fitting Ontologies and Constraints to Relational Structures |To appear=0 |Year=2025 |Booktitle=Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning |Pages=407–416 }} {{Publikation Details |Abstract=We study the pro…“
• 04:2004:20, 16. Nov. 2025 Unterschied Versionen 0 N Datei:Kr2025-0040-hosemann-et-al.pdf Keine Bearbeitungszusammenfassung aktuell