Benutzerbeiträge von „Sebastian Rudolph“
Aus International Center for Computational Logic
Für Sebastian Rudolph Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
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