Benutzerbeiträge von „Piotr Ostropolski-Nalewaja“

15:1015:10, 19. Jul. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3388/en ‎ Page created automatically by parser function on page Inproceedings3388 aktuell Markierung: Neue Weiterleitung
15:1015: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…“
15:1015:10, 19. Jul. 2024 Unterschied Versionen 0 Bytes‎ N Datei:KR 2024 Characterization of Decidability for RPQs Under TGDs-iccl.pdf ‎Keine Bearbeitungszusammenfassung aktuell

16:2616: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
16:2616: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…“

21:0721: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
21:0721: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

17:5617: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
17:5617: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

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

16:2816:28, 29. Jan. 2024 Unterschied Versionen 0 Bytes‎ ASYDE: An Argumentation-based System for classifYing Driving bEhaviors ‎Keine Bearbeitungszusammenfassung
15:5715: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
15:5715: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…“

15:3415: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
15:3415: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

21:4621: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
21:4621: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

20:1520: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
20:1520: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

09:1909: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
09:1909: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

13:4213: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
13:4213: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

13:4313:43, 20. Okt. 2023 Unterschied Versionen 0 Bytes‎ Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying ‎Keine Bearbeitungszusammenfassung aktuell
13:2813: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
13:2813: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:…“

16:0716: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
16:0716: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

15:0915:09, 18. Sep. 2023 Unterschied Versionen +1 Byte‎ Temporal reasoning with DatalogMTL ‎Keine Bearbeitungszusammenfassung aktuell
15:0815:08, 18. Sep. 2023 Unterschied Versionen +163 Bytes‎ Temporal reasoning with DatalogMTL ‎Keine Bearbeitungszusammenfassung
15:0515:05, 18. Sep. 2023 Unterschied Versionen 0 Bytes‎ Temporal reasoning with DatalogMTL ‎Keine Bearbeitungszusammenfassung

17:1517: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
17:1517: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

17:5017: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
17:5017: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

12:4112: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
12:4112: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
12:2012: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
12:2012: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…“

19:2419: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
19:2419: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

11:4811: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
11:4811: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…“

17:1717: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
17:1717: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

15:4515:45, 13. Jun. 2023 Unterschied Versionen +41 Bytes‎ Piotr Ostropolski-Nalewaja ‎Keine Bearbeitungszusammenfassung
15:4115:41, 13. Jun. 2023 Unterschied Versionen +32 Bytes‎ Article3094 ‎Keine Bearbeitungszusammenfassung aktuell
15:4015:40, 13. Jun. 2023 Unterschied Versionen +25 Bytes‎ N Article3094/en ‎ Page created automatically by parser function on page Article3094 aktuell Markierung: Neue Weiterleitung
15:4015: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…“
15:3615:36, 13. Jun. 2023 Unterschied Versionen +20 Bytes‎ Inproceedings3358 ‎Keine Bearbeitungszusammenfassung aktuell

Benutzerbeiträge von „Piotr Ostropolski-Nalewaja“

19. Juli 2024

25. März 2024

13. Februar 2024

2. Februar 2024

31. Januar 2024

29. Januar 2024

17. Januar 2024

9. Januar 2024

8. Dezember 2023

14. November 2023

7. November 2023

20. Oktober 2023

2. Oktober 2023

18. September 2023

11. September 2023

25. August 2023

21. August 2023

24. Juli 2023

10. Juli 2023

23. Juni 2023

13. Juni 2023