Benutzerbeiträge von „Piotr Ostropolski-Nalewaja“

25. März 2024

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

13. Februar 2024

• 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

2. Februar 2024

• 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

31. Januar 2024

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

29. Januar 2024

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

17. Januar 2024

• 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

9. Januar 2024

• 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

8. Dezember 2023

• 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

14. November 2023

• 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

7. November 2023

• 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

20. Oktober 2023

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

2. Oktober 2023

• 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

18. September 2023

• 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

11. September 2023

• 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

25. August 2023

• 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

21. August 2023

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

24. Juli 2023

• 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

10. Juli 2023

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

23. Juni 2023

• 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

13. Juni 2023

• 15:4515:45, 13. Jun. 2023 Unterschied Versionen +41 Bytes‎ Piotr Ostropolski-Nalewaja ‎Keine Bearbeitungszusammenfassung aktuell
• 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
• 15:3615:36, 13. Jun. 2023 Unterschied Versionen +31 Bytes‎ N Inproceedings3358/en ‎ Page created automatically by parser function on page Inproceedings3358 aktuell Markierung: Neue Weiterleitung
• 15:3615:36, 13. Jun. 2023 Unterschied Versionen +518 Bytes‎ N Inproceedings3358 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jarosław |ErsterAutorNachname=Kwiecień |FurtherAuthors=Piotr Ostropolski-Nalewaja }} {{Inproceedings |Referier…“
• 15:3215:32, 13. Jun. 2023 Unterschied Versionen +17 Bytes‎ Inproceedings3357 ‎Keine Bearbeitungszusammenfassung aktuell