Benutzerbeiträge von „Sebastian Rudolph“

17. Juli 2024

• 00:0000:00, 17. Jul. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3387/en ‎ Page created automatically by parser function on page Inproceedings3387 aktuell Markierung: Neue Weiterleitung
• 00:0000:00, 17. Jul. 2024 Unterschied Versionen +409 Bytes‎ N Inproceedings3387 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Piotr |ErsterAutorNachname=Ostropolski-Nalewaja |FurtherAuthors=Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules |To appear=1 |Year=2024 |Booktitle=Proceedings of KR 2024 }} {{Publikation Details |Projekt=DeciGUT |Forschungsgruppe=Computational Logic }}“ aktuell

14. Juli 2024

• 18:2718:27, 14. Jul. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3386/en ‎ Page created automatically by parser function on page Inproceedings3386 aktuell Markierung: Neue Weiterleitung
• 18:2718:27, 14. Jul. 2024 Unterschied Versionen +374 Bytes‎ N Inproceedings3386 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lucía |ErsterAutorNachname=Gómez Álvarez |FurtherAuthors=Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities |To appear=1 |Year=2024 |Booktitle=Proceedings of KR 2024 }} {{Publikation Details |Projekt=DeciGUT |Forschungsgruppe=Computational Logic }}“ aktuell

10. Juli 2024

• 10:2910:29, 10. Jul. 2024 Unterschied Versionen +144 Bytes‎ Sebastian Rudolph ‎Keine Bearbeitungszusammenfassung aktuell

2. Juli 2024

• 19:2719:27, 2. Jul. 2024 Unterschied Versionen +27 Bytes‎ Automatentheorie und formale Sprachen ‎Keine Bearbeitungszusammenfassung
• 19:2619:26, 2. Jul. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CPT-FSM-abcd.svg.png ‎Keine Bearbeitungszusammenfassung aktuell
• 19:1519:15, 2. Jul. 2024 Unterschied Versionen +86 Bytes‎ Inproceedings3375 ‎Keine Bearbeitungszusammenfassung aktuell
• 19:1419:14, 2. Jul. 2024 Unterschied Versionen +86 Bytes‎ Inproceedings3383 ‎Keine Bearbeitungszusammenfassung aktuell
• 19:1419:14, 2. Jul. 2024 Unterschied Versionen +86 Bytes‎ Inproceedings3373 ‎Keine Bearbeitungszusammenfassung aktuell
• 19:1319:13, 2. Jul. 2024 Unterschied Versionen +86 Bytes‎ Luisa Herrmann ‎Keine Bearbeitungszusammenfassung
• 10:4010:40, 2. Jul. 2024 Unterschied Versionen +86 Bytes‎ Sebastian Rudolph ‎Keine Bearbeitungszusammenfassung
• 10:3810:38, 2. Jul. 2024 Unterschied Versionen +23 Bytes‎ N Automatentheorie und formale Sprachen/en ‎ Page created automatically by parser function on page Automatentheorie und formale Sprachen aktuell
• 10:3810:38, 2. Jul. 2024 Unterschied Versionen +67 Bytes‎ N Automatentheorie und formale Sprachen ‎ Die Seite wurde neu angelegt: „{{Forschungsgebiet |Name EN=Automata Theory and Formal Languages }}“

1. Juli 2024

• 22:5822:58, 1. Jul. 2024 Unterschied Versionen −5 Bytes‎ Computational Logic ‎Keine Bearbeitungszusammenfassung aktuell
• 22:5722:57, 1. Jul. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CLG-zoom.png ‎Keine Bearbeitungszusammenfassung aktuell
• 21:5221:52, 1. Jul. 2024 Unterschied Versionen +2 Bytes‎ News100 ‎Keine Bearbeitungszusammenfassung
• 21:5021:50, 1. Jul. 2024 Unterschied Versionen +3 Bytes‎ News100 ‎Keine Bearbeitungszusammenfassung
• 21:4921:49, 1. Jul. 2024 Unterschied Versionen +16 Bytes‎ N News100/en ‎ Page created automatically by parser function on page News100 aktuell
• 21:4921:49, 1. Jul. 2024 Unterschied Versionen +1.733 Bytes‎ N News100 ‎ Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=CACM-Blogartikel über die Vereinbarkeit von Familie und Beruf in der akademischen von ICCL-Forscherin Luisa Herrmann |Titel EN=CACM blog article on work-family balance in academia by ICCL researcher Luisa Herrmann |Beschreibung DE=In Folge ihre Keynote auf dem diesjährigen Logic Mentoring Workshop ([https://logic-mentoring-workshop.github.io/csl24/ LMW 2024]) wurde unsere Kolegin Luisa Hermann, Mitarbeiterin in der Computatio…“
• 21:4021:40, 1. Jul. 2024 Unterschied Versionen 0 Bytes‎ N Datei:Familylifebalance.png ‎Keine Bearbeitungszusammenfassung aktuell

29. Juni 2024

• 10:0310:03, 29. Jun. 2024 Unterschied Versionen −340 Bytes‎ Introduction to Existential Rules (SS2024) ‎Keine Bearbeitungszusammenfassung aktuell
• 10:0110:01, 29. Jun. 2024 Unterschied Versionen 0 Bytes‎ Datei:ER-Rudolph-Lecture09.pdf ‎ Sebastian Rudolph lud eine neue Version von Datei:ER-Rudolph-Lecture09.pdf hoch aktuell

20. Juni 2024

• 11:0311:03, 20. Jun. 2024 Unterschied Versionen +20 Bytes‎ N A SHACL primer for KR researchers/en ‎ Page created automatically by parser function on page A SHACL primer for KR researchers aktuell
• 11:0311:03, 20. Jun. 2024 Unterschied Versionen +1.072 Bytes‎ N A SHACL primer for KR researchers ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=A SHACL primer for KR researchers |Beschreibung EN=The Shapes Constraint Language (SHACL) was recommended by the W3C in 2017 for describing constraints on RDF graphs and validating them. As it turns out, SHACL is closely related to Description Logics and to monadic Datalog, both familiar KR languages. Building on these connections, we introduce SHACL and its main reasoning problems in familiar KR terms. We discuss in particular…“ aktuell

31. Mai 2024

• 15:5015:50, 31. Mai 2024 Unterschied Versionen 0 Bytes‎ Simon Knäuer ‎Keine Bearbeitungszusammenfassung aktuell

15. Mai 2024

• 07:3407:34, 15. Mai 2024 Unterschied Versionen −11 Bytes‎ Sebastian Rudolph ‎Keine Bearbeitungszusammenfassung

16. April 2024

• 15:2415:24, 16. Apr. 2024 Unterschied Versionen +2 Bytes‎ Seminar Logic-Based Knowledge Representation (SS2024) ‎Keine Bearbeitungszusammenfassung aktuell
• 15:2415:24, 16. Apr. 2024 Unterschied Versionen 0 Bytes‎ N Datei:LBKR-2402-logicintro.pdf ‎Keine Bearbeitungszusammenfassung aktuell

15. April 2024

• 15:2515:25, 15. Apr. 2024 Unterschied Versionen +33 Bytes‎ Seminar Logic-Based Knowledge Representation (SS2024) ‎Keine Bearbeitungszusammenfassung
• 15:2515:25, 15. Apr. 2024 Unterschied Versionen 0 Bytes‎ N Datei:LBKR-24-logicintro.pdf ‎Keine Bearbeitungszusammenfassung aktuell

7. April 2024

• 12:3612:36, 7. Apr. 2024 Unterschied Versionen 0 Bytes‎ Datei:ER-Rudolph-Lecture01.pdf ‎ Sebastian Rudolph lud eine neue Version von Datei:ER-Rudolph-Lecture01.pdf hoch aktuell

24. März 2024

• 14:4014:40, 24. Mär. 2024 Unterschied Versionen 0 Bytes‎ Seminar Logic-Based Knowledge Representation (SS2024) ‎Keine Bearbeitungszusammenfassung
• 14:3914:39, 24. Mär. 2024 Unterschied Versionen +115 Bytes‎ Seminar Logic-Based Knowledge Representation (SS2024) ‎Keine Bearbeitungszusammenfassung
• 14:3714:37, 24. Mär. 2024 Unterschied Versionen 0 Bytes‎ Seminar Logic-Based Knowledge Representation (SS2024) ‎Keine Bearbeitungszusammenfassung
• 14:3514:35, 24. Mär. 2024 Unterschied Versionen 0 Bytes‎ Seminar Logic-Based Knowledge Representation (SS2024) ‎Keine Bearbeitungszusammenfassung
• 14:3114:31, 24. Mär. 2024 Unterschied Versionen 0 Bytes‎ N Datei:LBKR-2024-intro.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 14:2414:24, 24. Mär. 2024 Unterschied Versionen −30 Bytes‎ Seminar Logic-Based Knowledge Representation (SS2024) ‎Keine Bearbeitungszusammenfassung
• 13:5313:53, 24. Mär. 2024 Unterschied Versionen 0 Bytes‎ Seminar Logic-Based Knowledge Representation (SS2024) ‎Keine Bearbeitungszusammenfassung
• 13:5313:53, 24. Mär. 2024 Unterschied Versionen −1.107 Bytes‎ Seminar Logic-Based Knowledge Representation (SS2024) ‎Keine Bearbeitungszusammenfassung
• 13:5213:52, 24. Mär. 2024 Unterschied Versionen +16 Bytes‎ N Seminar Logic-Based Knowledge Representation (SS2024)/en ‎ Page created automatically by parser function on page Seminar Logic-Based Knowledge Representation (SS2024) aktuell
• 13:5213:52, 24. Mär. 2024 Unterschied Versionen +3.203 Bytes‎ N Seminar Logic-Based Knowledge Representation (SS2024) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Logic-Based Knowledge Representation |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Term=SS |Year=2024 |Module=CM…“
• 13:1513:15, 24. Mär. 2024 Unterschied Versionen +1.111 Bytes‎ Introduction to Existential Rules (SS2024) ‎Keine Bearbeitungszusammenfassung
• 13:0513:05, 24. Mär. 2024 Unterschied Versionen −119 Bytes‎ Introduction to Existential Rules (SS2024) ‎Keine Bearbeitungszusammenfassung
• 12:5212:52, 24. Mär. 2024 Unterschied Versionen −1 Byte‎ Introduction to Existential Rules (SS2024) ‎Keine Bearbeitungszusammenfassung
• 12:4512:45, 24. Mär. 2024 Unterschied Versionen +16 Bytes‎ N Introduction to Existential Rules (SS2024)/en ‎ Page created automatically by parser function on page Introduction to Existential Rules (SS2024) aktuell
• 12:4512:45, 24. Mär. 2024 Unterschied Versionen +3.140 Bytes‎ N Introduction to Existential Rules (SS2024) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Existential Rules |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Term=SS |Year=2024 |Module=CMS-LM-ADV, C…“

20. Februar 2024

• 13:3113:31, 20. Feb. 2024 Unterschied Versionen +381 Bytes‎ Inproceedings3375 ‎Keine Bearbeitungszusammenfassung

17. Januar 2024

• 11:5511:55, 17. Jan. 2024 Unterschied Versionen +9 Bytes‎ Inproceedings3375 ‎Keine Bearbeitungszusammenfassung

15. Januar 2024

• 23:5623:56, 15. Jan. 2024 Unterschied Versionen +1 Byte‎ Inproceedings3339 ‎Keine Bearbeitungszusammenfassung aktuell