Benutzerbeiträge von „Piotr Ostropolski-Nalewaja“

19. Juli 2024

• 14:1014:10, 19. Jul. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3388/en ‎ Page created automatically by parser function on page Inproceedings3388 aktuell Markierung: Neue Weiterleitung
• 14:1014:10, 19. Jul. 2024 Unterschied Versionen +583 Bytes‎ N Inproceedings3388 ‎ 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 |Month=November |Booktitle=The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules }} {{Publikation Details |Download=KR…“
• 14:1014:10, 19. Jul. 2024 Unterschied Versionen 0 Bytes‎ N Datei:KR 2024 Characterization of Decidability for RPQs Under TGDs-iccl.pdf ‎Keine Bearbeitungszusammenfassung aktuell

25. März 2024

• 15:2615:26, 25. Mär. 2024 Unterschied Versionen +20 Bytes‎ N Generating molecule graphs from mass spectrometry results using Answer-Set-Programming/en ‎ Page created automatically by parser function on page Generating molecule graphs from mass spectrometry results using Answer-Set-Programming aktuell
• 15:2615:26, 25. Mär. 2024 Unterschied Versionen +1.344 Bytes‎ N Generating molecule graphs from mass spectrometry results using Answer-Set-Programming ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Generating molecule graphs from mass spectrometry results using Answer-Set-Programming |Beschreibung EN=Abstract: Mass spectrometry i…“

13. Februar 2024

• 20:0720:07, 13. Feb. 2024 Unterschied Versionen +20 Bytes‎ N Answer Set Navigation alongside Quantitative Reasoning/en ‎ Page created automatically by parser function on page Answer Set Navigation alongside Quantitative Reasoning aktuell
• 20:0720:07, 13. Feb. 2024 Unterschied Versionen +835 Bytes‎ N Answer Set Navigation alongside Quantitative Reasoning ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Answer Set Navigation alongside Quantitative Reasoning |Beschreibung EN=Abstract: This is a so called status talk of PhD student Domi…“ aktuell

2. Februar 2024

• 16:5616:56, 2. Feb. 2024 Unterschied Versionen +20 Bytes‎ N SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer)/en ‎ Page created automatically by parser function on page SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer) aktuell
• 16:5616:56, 2. Feb. 2024 Unterschied Versionen +1.462 Bytes‎ N SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer) ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer) |Beschreibung EN=Abstract…“ aktuell

31. Januar 2024

• 19:0719:07, 31. Jan. 2024 Unterschied Versionen 0 Bytes‎ ASYDE: An Argumentation-based System for classifYing Driving bEhaviors ‎Keine Bearbeitungszusammenfassung aktuell

29. Januar 2024

• 15:2815:28, 29. Jan. 2024 Unterschied Versionen 0 Bytes‎ ASYDE: An Argumentation-based System for classifYing Driving bEhaviors ‎Keine Bearbeitungszusammenfassung
• 14:5714:57, 29. Jan. 2024 Unterschied Versionen +20 Bytes‎ N ASYDE: An Argumentation-based System for classifYing Driving bEhaviors/en ‎ Page created automatically by parser function on page ASYDE: An Argumentation-based System for classifYing Driving bEhaviors aktuell
• 14:5714:57, 29. Jan. 2024 Unterschied Versionen +2.472 Bytes‎ N ASYDE: An Argumentation-based System for classifYing Driving bEhaviors ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=ASYDE: An Argumentation-based System for classifYing Driving bEhaviors |Beschreibung EN=Abstract: Examining the influence of human…“

17. Januar 2024

• 14:3414:34, 17. Jan. 2024 Unterschied Versionen +20 Bytes‎ N A Logic-based Reasoning Framework for Graph Databases/en ‎ Page created automatically by parser function on page A Logic-based Reasoning Framework for Graph Databases aktuell
• 14:3414:34, 17. Jan. 2024 Unterschied Versionen +1.076 Bytes‎ N A Logic-based Reasoning Framework for Graph Databases ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=A Logic-based Reasoning Framework for Graph Databases |Beschreibung EN=In many scientific and industrial applications, graph database…“ aktuell

9. Januar 2024

• 20:4620:46, 9. Jan. 2024 Unterschied Versionen +20 Bytes‎ N PAC Completion of Description Logic TBoxes/en ‎ Page created automatically by parser function on page PAC Completion of Description Logic TBoxes aktuell
• 20:4620:46, 9. Jan. 2024 Unterschied Versionen +1.274 Bytes‎ N PAC Completion of Description Logic TBoxes ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=PAC Completion of Description Logic TBoxes |Beschreibung EN=Abstract: In description logic knowledge bases, there may be a need to en…“ aktuell

8. Dezember 2023

• 19:1519:15, 8. Dez. 2023 Unterschied Versionen +20 Bytes‎ N Logik geht durch den Magen -- modeling interesting phenomena in (not only) food computing/en ‎ Page created automatically by parser function on page Logik geht durch den Magen -- modeling interesting phenomena in (not only) food computing aktuell
• 19:1519:15, 8. Dez. 2023 Unterschied Versionen +3.262 Bytes‎ N Logik geht durch den Magen -- modeling interesting phenomena in (not only) food computing ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Logik geht durch den Magen -- modeling interesting phenomena in (not only) food computing |Beschreibung EN=Abstract: The emerging fie…“ aktuell

14. November 2023

• 08:1908:19, 14. Nov. 2023 Unterschied Versionen +20 Bytes‎ N Notation3 as an Existential Rule Language/en ‎ Page created automatically by parser function on page Notation3 as an Existential Rule Language aktuell
• 08:1908:19, 14. Nov. 2023 Unterschied Versionen +1.937 Bytes‎ N Notation3 as an Existential Rule Language ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Notation3 as an Existential Rule Language |Beschreibung EN=Abstract: Notation3 Logic (N3) is an extension of RDF that allows the user…“ aktuell

7. November 2023

• 12:4212:42, 7. Nov. 2023 Unterschied Versionen +20 Bytes‎ N Abstract Domains for Database Manipulating Processes/en ‎ Page created automatically by parser function on page Abstract Domains for Database Manipulating Processes aktuell
• 12:4212:42, 7. Nov. 2023 Unterschied Versionen +1.910 Bytes‎ N Abstract Domains for Database Manipulating Processes ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Abstract Domains for Database Manipulating Processes |Beschreibung EN=Database manipulating systems (DMS) formalize operations on rel…“ aktuell

20. Oktober 2023

• 12:4312:43, 20. Okt. 2023 Unterschied Versionen 0 Bytes‎ Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying ‎Keine Bearbeitungszusammenfassung aktuell
• 12:2812:28, 20. Okt. 2023 Unterschied Versionen +20 Bytes‎ N Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying/en ‎ Page created automatically by parser function on page Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying aktuell
• 12:2812:28, 20. Okt. 2023 Unterschied Versionen +2.181 Bytes‎ N Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying |Beschreibung EN=Abstract:…“

2. Oktober 2023

• 15:0715:07, 2. Okt. 2023 Unterschied Versionen +20 Bytes‎ N Knowledge graphs: description, validation and subsetting/en ‎ Page created automatically by parser function on page Knowledge graphs: description, validation and subsetting aktuell
• 15:0715:07, 2. Okt. 2023 Unterschied Versionen +1.359 Bytes‎ N Knowledge graphs: description, validation and subsetting ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Knowledge graphs: description, validation and subsetting |Beschreibung EN=Abstract: Knowledge graphs like Wikidata have reached great…“ aktuell

18. September 2023

• 14:0914:09, 18. Sep. 2023 Unterschied Versionen +1 Byte‎ Temporal reasoning with DatalogMTL ‎Keine Bearbeitungszusammenfassung aktuell
• 14:0814:08, 18. Sep. 2023 Unterschied Versionen +163 Bytes‎ Temporal reasoning with DatalogMTL ‎Keine Bearbeitungszusammenfassung
• 14:0514:05, 18. Sep. 2023 Unterschied Versionen 0 Bytes‎ Temporal reasoning with DatalogMTL ‎Keine Bearbeitungszusammenfassung

11. September 2023

• 16:1516:15, 11. Sep. 2023 Unterschied Versionen +20 Bytes‎ N Representative Answer Sets: Collecting Something of Everything/en ‎ Page created automatically by parser function on page Representative Answer Sets: Collecting Something of Everything aktuell
• 16:1516:15, 11. Sep. 2023 Unterschied Versionen +1.207 Bytes‎ N Representative Answer Sets: Collecting Something of Everything ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Representative Answer Sets: Collecting Something of Everything |Beschreibung EN=Title: Representative Answer Sets: Collecting Somethi…“ aktuell

25. August 2023

• 16:5016:50, 25. Aug. 2023 Unterschied Versionen +20 Bytes‎ N Formalizing "Formale Systeme"/en ‎ Page created automatically by parser function on page Formalizing "Formale Systeme" aktuell
• 16:5016:50, 25. Aug. 2023 Unterschied Versionen +2.088 Bytes‎ N Formalizing "Formale Systeme" ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Formalizing "Formale Systeme" |Beschreibung EN=Abstract: In undergraduate theoretical computer science courses, students encounter m…“ aktuell

21. August 2023

• 11:4111:41, 21. Aug. 2023 Unterschied Versionen +20 Bytes‎ N On the Abstract Expressive Power of Description Logics with Concrete Domains/en ‎ Page created automatically by parser function on page On the Abstract Expressive Power of Description Logics with Concrete Domains aktuell
• 11:4111:41, 21. Aug. 2023 Unterschied Versionen +2.598 Bytes‎ N On the Abstract Expressive Power of Description Logics with Concrete Domains ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=On the Abstract Expressive Power of Description Logics with Concrete Domains |Beschreibung EN=The talk will take place in a hybrid fa…“ aktuell
• 11:2011:20, 21. Aug. 2023 Unterschied Versionen +20 Bytes‎ N Temporal reasoning with DatalogMTL/en ‎ Page created automatically by parser function on page Temporal reasoning with DatalogMTL aktuell
• 11:2011:20, 21. Aug. 2023 Unterschied Versionen +1.045 Bytes‎ N Temporal reasoning with DatalogMTL ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Temporal reasoning with DatalogMTL |Beschreibung EN=During the talk, I will present DatalogMTL – an extension of Datalog with oper…“

24. Juli 2023

• 18:2418:24, 24. Jul. 2023 Unterschied Versionen +20 Bytes‎ N Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination/en ‎ Page created automatically by parser function on page Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination aktuell
• 18:2418:24, 24. Jul. 2023 Unterschied Versionen +1.253 Bytes‎ N Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination |Beschreibung EN=Abstract: The disjuncti…“ aktuell

10. Juli 2023

• 10:4810:48, 10. Jul. 2023 Unterschied Versionen +20 Bytes‎ N How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions./en ‎ Page created automatically by parser function on page How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. aktuell
• 10:4810:48, 10. Jul. 2023 Unterschied Versionen +1.302 Bytes‎ N How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. |Beschreibung EN…“

23. Juni 2023

• 16:1716:17, 23. Jun. 2023 Unterschied Versionen +20 Bytes‎ N To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence/en ‎ Page created automatically by parser function on page To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence aktuell
• 16:1716:17, 23. Jun. 2023 Unterschied Versionen +1.558 Bytes‎ N To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence |Beschreibung EN=Abstract: Aggregating pieces of informat…“ aktuell

13. Juni 2023

• 14:4514:45, 13. Jun. 2023 Unterschied Versionen +41 Bytes‎ Piotr Ostropolski-Nalewaja ‎Keine Bearbeitungszusammenfassung
• 14:4114:41, 13. Jun. 2023 Unterschied Versionen +32 Bytes‎ Article3094 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:4014:40, 13. Jun. 2023 Unterschied Versionen +25 Bytes‎ N Article3094/en ‎ Page created automatically by parser function on page Article3094 aktuell Markierung: Neue Weiterleitung
• 14:4014:40, 13. Jun. 2023 Unterschied Versionen +419 Bytes‎ N Article3094 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Michael |ErsterAutorNachname=Benedikt |FurtherAuthors=Piotr Ostropolski-Nalewaja }} {{Article |Referiert=0 |Titl…“
• 14:3614:36, 13. Jun. 2023 Unterschied Versionen +20 Bytes‎ Inproceedings3358 ‎Keine Bearbeitungszusammenfassung aktuell