Benutzerbeiträge von „Sebastian Rudolph“

20. Juni 2026

• 19:3219:32, 20. Jun. 2026 Unterschied Versionen +1.976 N Inproceedings3471 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nicholas |ErsterAutorNachname=Leisegang |FurtherAuthors=Thomas Meyer; Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=Standpoint Logics with Defeasible Beliefs |To appear=1 |Year=2026 |Booktitle=Proceedings of the 24th International Workshop on Non-Monotonic Reasoning (NMR 2025) |Editor=Ana Ozaki, Nico Potyka |Series=CEUR }} {{Publikation Details |Abstract=In this paper, we integrate the defeasible l…“ aktuell
• 19:3119:31, 20. Jun. 2026 Unterschied Versionen 0 N Datei:LeisegangMeyerRudolph-NMR2026.pdf Keine Bearbeitungszusammenfassung aktuell

17. Juni 2026

• 08:4108:41, 17. Jun. 2026 Unterschied Versionen +4 Article3118 Keine Bearbeitungszusammenfassung aktuell
• 08:3908:39, 17. Jun. 2026 Unterschied Versionen +39 Article3111 Keine Bearbeitungszusammenfassung aktuell
• 08:3108:31, 17. Jun. 2026 Unterschied Versionen +653 N Inproceedings3470 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sebastian |ErsterAutorNachname=Rudolph }} {{Inproceedings |Referiert=1 |Title=Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem) |To appear=1 |Year=2026 |Booktitle=The Third International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2026) |Publisher=Springer |Editor=Madalina Croitoru, Domingo López-Rodríguez, Gerd Stumme |Series=LNCS }} {{Pu…“ aktuell
• 08:2808:28, 17. Jun. 2026 Unterschied Versionen 0 N Datei:CONCEPTS2026-Rudolph-PCF.pdf Keine Bearbeitungszusammenfassung aktuell

17. Mai 2026

• 17:0017:00, 17. Mai 2026 Unterschied Versionen +80 Introduction to Existential Rules (SS2026) Keine Bearbeitungszusammenfassung aktuell
• 17:0017:00, 17. Mai 2026 Unterschied Versionen 0 N Datei:ER-Rudolph-Lecture04-SS26.pdf Keine Bearbeitungszusammenfassung aktuell
• 16:5816:58, 17. Mai 2026 Unterschied Versionen 0 N Datei:ER-Rudolph-Lecture03-SS26.pdf Keine Bearbeitungszusammenfassung aktuell

27. April 2026

• 11:4311:43, 27. Apr. 2026 Unterschied Versionen +40 Introduction to Existential Rules (SS2026) Keine Bearbeitungszusammenfassung
• 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

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