Benutzerbeiträge von „Sebastian Rudolph“

6. Oktober 2026

• 15:1215:12, 6. Okt. 2026 Unterschied Versionen +42 Foundations of Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung aktuell
• 15:1215:12, 6. Okt. 2026 Unterschied Versionen 0 N Datei:FKR-2026-lecture-2-Logic4KR.pdf Keine Bearbeitungszusammenfassung aktuell
• 11:5011:50, 6. Okt. 2026 Unterschied Versionen +46 Foundations of Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 11:5011:50, 6. Okt. 2026 Unterschied Versionen 0 N Datei:FKR-2026-lecture-1-Introduction.pdf Keine Bearbeitungszusammenfassung aktuell

4. Oktober 2026

• 13:5813:58, 4. Okt. 2026 Unterschied Versionen −1 Foundations of Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 13:5513:55, 4. Okt. 2026 Unterschied Versionen −28 Foundations of Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 13:5413:54, 4. Okt. 2026 Unterschied Versionen 0 Foundations of Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 13:5313:53, 4. Okt. 2026 Unterschied Versionen +2 Foundations of Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 13:5213:52, 4. Okt. 2026 Unterschied Versionen +3.758 N Foundations of Knowledge Representation (WS2026) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Foundations of Knowledge Representation |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Tutors=Sebastian Rudolph |Term=WS |Year=2026 |Module=INF-25-Ma-FTK-KR |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=== Beginning of Semester === The first lecture will take place on Monday 12 October in room APB E005 at 9:20 (DS2). === Synopsis === In this lecture, we will review the mos…“
• 13:1213:12, 4. Okt. 2026 Unterschied Versionen +11 Seminar Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung aktuell
• 13:1113:11, 4. Okt. 2026 Unterschied Versionen −2 Seminar Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 13:1013:10, 4. Okt. 2026 Unterschied Versionen +292 Seminar Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung

27. September 2026

• 17:2217:22, 27. Sep. 2026 Unterschied Versionen 0 Seminar Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung

26. September 2026

• 09:5609:56, 26. Sep. 2026 Unterschied Versionen +173 Seminar Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 09:5609:56, 26. Sep. 2026 Unterschied Versionen 0 N Datei:KRR Seminar Talk Outlines and Bibliography.pdf Keine Bearbeitungszusammenfassung aktuell

25. September 2026

• 14:0214:02, 25. Sep. 2026 Unterschied Versionen +2 Inproceedings3475 Keine Bearbeitungszusammenfassung aktuell Markierung: Manuelle Zurücksetzung
• 14:0014:00, 25. Sep. 2026 Unterschied Versionen +14 Inproceedings3475 Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt
• 13:5813:58, 25. Sep. 2026 Unterschied Versionen −16 Inproceedings3475 Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt
• 13:4813:48, 25. Sep. 2026 Unterschied Versionen +20 Jonas Karge Keine Bearbeitungszusammenfassung aktuell
• 10:3210:32, 25. Sep. 2026 Unterschied Versionen +13 Inproceedings3471 Keine Bearbeitungszusammenfassung aktuell
• 10:2610:26, 25. Sep. 2026 Unterschied Versionen +12 Inproceedings3475 Keine Bearbeitungszusammenfassung

23. September 2026

• 19:0819:08, 23. Sep. 2026 Unterschied Versionen −44 Seminar Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 19:0119:01, 23. Sep. 2026 Unterschied Versionen −3 Seminar Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 19:0019:00, 23. Sep. 2026 Unterschied Versionen −331 Seminar Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 19:0019:00, 23. Sep. 2026 Unterschied Versionen −645 Seminar Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 18:5518:55, 23. Sep. 2026 Unterschied Versionen −222 Seminar Knowledge Representation (WS2026) Keine Bearbeitungszusammenfassung
• 13:5513:55, 23. Sep. 2026 Unterschied Versionen +2.809 N Seminar Knowledge Representation (WS2026) Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar „Knowledge Representation“ |Title_EN=Seminar “Knowledge Representation” |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Language=EN |Term=WS |Year=2026 |Module=INF-25-Ma-FTK-Sem |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Description= {{MissingTranslation|Language=de}} The topic of this seminar are === Anmeldung === Für die Teilnahme ist eine Registrierung via Opal bis zum 19. Oktober erforderlic…“

10. August 2026

• 13:0713:07, 10. Aug. 2026 Unterschied Versionen −1 Inproceedings3475 Keine Bearbeitungszusammenfassung
• 13:0613:06, 10. Aug. 2026 Unterschied Versionen +127 Inproceedings3475 Keine Bearbeitungszusammenfassung

5. August 2026

• 13:3213:32, 5. Aug. 2026 Unterschied Versionen +2 Inproceedings3475 Keine Bearbeitungszusammenfassung
• 13:3213:32, 5. Aug. 2026 Unterschied Versionen −3 Inproceedings3475 Keine Bearbeitungszusammenfassung
• 13:3113:31, 5. Aug. 2026 Unterschied Versionen −1 Inproceedings3475 Keine Bearbeitungszusammenfassung
• 00:1100:11, 5. Aug. 2026 Unterschied Versionen +30 Inproceedings3475 Keine Bearbeitungszusammenfassung
• 00:1100:11, 5. Aug. 2026 Unterschied Versionen 0 N Datei:SR-Concepts2026.pdf Keine Bearbeitungszusammenfassung aktuell
• 00:1000:10, 5. Aug. 2026 Unterschied Versionen −8 Inproceedings3475 Keine Bearbeitungszusammenfassung
• 00:0900:09, 5. Aug. 2026 Unterschied Versionen −3 Inproceedings3475 Keine Bearbeitungszusammenfassung
• 00:0900:09, 5. Aug. 2026 Unterschied Versionen +1.157 N Inproceedings3475 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sebastian |ErsterAutorNachname=Rudolph }} {{Inproceedings |Referiert=1 |Title=Pseudo-Closed Family Veri�fication is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem) |To appear=1 |Year=2026 |Booktitle=Conceptual Knowledge Structures |Publisher=Springer |Series=LNCS |Volume=16811 }} {{Publikation Details |Abstract=Every closure operator on a finite set admits a canonical minimum implication bas…“

1. August 2026

• 12:5512:55, 1. Aug. 2026 Unterschied Versionen −1 Sebastian Rudolph Keine Bearbeitungszusammenfassung aktuell
• 12:5312:53, 1. Aug. 2026 Unterschied Versionen +657 Sebastian Rudolph Keine Bearbeitungszusammenfassung

28. Juli 2026

• 14:4014:40, 28. Jul. 2026 Unterschied Versionen +40 CPEC Keine Bearbeitungszusammenfassung aktuell

15. Juli 2026

• 15:2815:28, 15. Jul. 2026 Unterschied Versionen +78 News112 Keine Bearbeitungszusammenfassung aktuell

25. Juni 2026

• 07:5307:53, 25. Jun. 2026 Unterschied Versionen +173 Computational Logic Keine Bearbeitungszusammenfassung aktuell

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…“
• 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: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