Benutzerbeiträge von „Piotr Ostropolski-Nalewaja“

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
15:3215:32, 13. Jun. 2023 Unterschied Versionen +31 Bytes‎ N Inproceedings3357/en ‎ Page created automatically by parser function on page Inproceedings3357 aktuell Markierung: Neue Weiterleitung
15:3215:32, 13. Jun. 2023 Unterschied Versionen +521 Bytes‎ N Inproceedings3357 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Piotr |ErsterAutorNachname=Ostropolski-Nalewaja |FurtherAuthors=Bartosz Bednarczyk }} {{Inproceedings |Referiert…“
15:2715:27, 13. Jun. 2023 Unterschied Versionen −26 Bytes‎ Inproceedings3356 ‎Keine Bearbeitungszusammenfassung aktuell
15:2615:26, 13. Jun. 2023 Unterschied Versionen +87 Bytes‎ Inproceedings3356 ‎Keine Bearbeitungszusammenfassung
15:2415:24, 13. Jun. 2023 Unterschied Versionen +6 Bytes‎ Inproceedings3356 ‎Keine Bearbeitungszusammenfassung
15:2315:23, 13. Jun. 2023 Unterschied Versionen +31 Bytes‎ N Inproceedings3356/en ‎ Page created automatically by parser function on page Inproceedings3356 aktuell Markierung: Neue Weiterleitung
15:2315:23, 13. Jun. 2023 Unterschied Versionen +576 Bytes‎ N Inproceedings3356 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk |FurtherAuthors=Piotr Ostropolski-Nalewaja; Thomas Feller }} {{Inproceed…“
12:1812:18, 13. Jun. 2023 Unterschied Versionen +20 Bytes‎ N Navigating ASP Solution Spaces/en ‎ Page created automatically by parser function on page Navigating ASP Solution Spaces aktuell
12:1812:18, 13. Jun. 2023 Unterschied Versionen +1.576 Bytes‎ N Navigating ASP Solution Spaces ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Navigating ASP Solution Spaces |Beschreibung EN=Abstract: A wide range of combinatorial search problems can be modelled and solved wi…“
12:0012:00, 13. Jun. 2023 Unterschied Versionen +20 Bytes‎ N Deontic Explanations via Logical Argumentation./en ‎ Page created automatically by parser function on page Deontic Explanations via Logical Argumentation. aktuell
12:0012:00, 13. Jun. 2023 Unterschied Versionen +2.181 Bytes‎ N Deontic Explanations via Logical Argumentation. ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Deontic Explanations via Logical Argumentation. |Beschreibung EN=Abstract: In many normative reasoning contexts, one is not merely in…“ aktuell

13:2913:29, 5. Jun. 2023 Unterschied Versionen +20 Bytes‎ N Querying Wikidata with GraphQL/en ‎ Page created automatically by parser function on page Querying Wikidata with GraphQL aktuell
13:2913:29, 5. Jun. 2023 Unterschied Versionen +2.875 Bytes‎ N Querying Wikidata with GraphQL ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Querying Wikidata with GraphQL |Beschreibung EN=Abstract: Knowledge graphs like Wikidata are widely used in commercial and research…“ aktuell

16:3116:31, 29. Mai 2023 Unterschied Versionen +1 Byte‎ Database-Inspired Reasoning Problems in Description Logics With Path Expressions ‎Keine Bearbeitungszusammenfassung aktuell
16:3016:30, 29. Mai 2023 Unterschied Versionen +173 Bytes‎ Database-Inspired Reasoning Problems in Description Logics With Path Expressions ‎Keine Bearbeitungszusammenfassung

14:1014:10, 17. Mai 2023 Unterschied Versionen −42 Bytes‎ Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures ‎Keine Bearbeitungszusammenfassung aktuell
14:0914:09, 17. Mai 2023 Unterschied Versionen −237 Bytes‎ Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures ‎Keine Bearbeitungszusammenfassung
14:0914:09, 17. Mai 2023 Unterschied Versionen +20 Bytes‎ N Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures/en ‎ Page created automatically by parser function on page Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures aktuell
14:0914:09, 17. Mai 2023 Unterschied Versionen +1.860 Bytes‎ N Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Str…“
14:0314:03, 17. Mai 2023 Unterschied Versionen +311 Bytes‎ Database-Inspired Reasoning Problems in Description Logics With Path Expressions ‎Keine Bearbeitungszusammenfassung
14:0214:02, 17. Mai 2023 Unterschied Versionen +20 Bytes‎ N Database-Inspired Reasoning Problems in Description Logics With Path Expressions/en ‎ Page created automatically by parser function on page Database-Inspired Reasoning Problems in Description Logics With Path Expressions aktuell
14:0214:02, 17. Mai 2023 Unterschied Versionen +320 Bytes‎ N Database-Inspired Reasoning Problems in Description Logics With Path Expressions ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Database-Inspired Reasoning Problems in Description Logics With Path Expressions |Beschreibung DE=To be announced. |Veranstaltungsart…“

13:3013:30, 9. Mai 2023 Unterschied Versionen 0 Bytes‎ Discrete Linear Dynamical Systems: The Introduction. ‎Keine Bearbeitungszusammenfassung aktuell

21:1121:11, 6. Mai 2023 Unterschied Versionen +20 Bytes‎ N Discrete Linear Dynamical Systems: The Introduction./en ‎ Page created automatically by parser function on page Discrete Linear Dynamical Systems: The Introduction. aktuell
21:1121:11, 6. Mai 2023 Unterschied Versionen +1.140 Bytes‎ N Discrete Linear Dynamical Systems: The Introduction. ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Discrete Linear Dynamical Systems: The Introduction. |Beschreibung EN=Abstract: Linear Dynamical systems are a fundamental modelling…“

15:1215:12, 28. Apr. 2023 Unterschied Versionen +20 Bytes‎ N Can AI explanations skew our causal intuitions about the world? If so, can we correct for that?/en ‎ Page created automatically by parser function on page Can AI explanations skew our causal intuitions about the world? If so, can we correct for that? aktuell
15:1215:12, 28. Apr. 2023 Unterschied Versionen +1.588 Bytes‎ N Can AI explanations skew our causal intuitions about the world? If so, can we correct for that? ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Can AI explanations skew our causal intuitions about the world? If so, can we correct for that? |Beschreibung EN=Abstract: Explainabl…“ aktuell

15:5215:52, 13. Apr. 2023 Unterschied Versionen +20 Bytes‎ N A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment/en ‎ Page created automatically by parser function on page A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment aktuell
15:5215:52, 13. Apr. 2023 Unterschied Versionen +1.347 Bytes‎ N A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=A Pitch Rich with Width-Witchcraft – Model-Theoretic Criteria for Decidable Query Entailment |Beschreibung EN=Abstract: Decidabilit…“ aktuell

23:1423:14, 27. Mär. 2023 Unterschied Versionen +20 Bytes‎ N Adventures in Computer Science -- Grades 1 & 2/en ‎ Page created automatically by parser function on page Adventures in Computer Science -- Grades 1 & 2 aktuell
23:1423:14, 27. Mär. 2023 Unterschied Versionen +1.657 Bytes‎ N Adventures in Computer Science -- Grades 1 & 2 ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Adventures in Computer Science -- Grades 1 & 2 |Beschreibung EN=Have you sorted you toys at home by color or by size? Have you ever…“ aktuell

13:2113:21, 20. Mär. 2023 Unterschied Versionen +20 Bytes‎ N Static Program Analysis in Datalog/en ‎ Page created automatically by parser function on page Static Program Analysis in Datalog aktuell
13:2113:21, 20. Mär. 2023 Unterschied Versionen +1.138 Bytes‎ N Static Program Analysis in Datalog ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Static Program Analysis in Datalog |Beschreibung EN=Abstract: Doop is a framework for Program Analysis of Java code. It utilizes the…“ aktuell

20:2820:28, 13. Mär. 2023 Unterschied Versionen +20 Bytes‎ N Relating Description Complexity to Entropy/en ‎ Page created automatically by parser function on page Relating Description Complexity to Entropy aktuell
20:2820:28, 13. Mär. 2023 Unterschied Versionen +1.701 Bytes‎ N Relating Description Complexity to Entropy ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Relating Description Complexity to Entropy |Beschreibung EN=We demonstrate some novel links between entropy and description complexit…“ aktuell

22:2022:20, 3. Mär. 2023 Unterschied Versionen +20 Bytes‎ N From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals/en ‎ Page created automatically by parser function on page From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals aktuell
22:2022:20, 3. Mär. 2023 Unterschied Versionen +2.280 Bytes‎ N From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals |Beschreibung EN=Abstract: It is well known that…“ aktuell

19:2619:26, 21. Feb. 2023 Unterschied Versionen +20 Bytes‎ N Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy/en ‎ Page created automatically by parser function on page Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy aktuell
19:2619:26, 21. Feb. 2023 Unterschied Versionen +1.873 Bytes‎ N Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Tunas - Fishing for Diverse Answer Sets: A Multi-Shot Trade up Strategy |Beschreibung EN=Abstract: Answer set programming (ASP) solve…“ aktuell

12:1512:15, 1. Feb. 2023 Unterschied Versionen −1 Byte‎ Multilinguality in Knowledge Graphs ‎Keine Bearbeitungszusammenfassung

16:3316:33, 27. Jan. 2023 Unterschied Versionen +20 Bytes‎ N Multilinguality in Knowledge Graphs/en ‎ Page created automatically by parser function on page Multilinguality in Knowledge Graphs aktuell
16:3316:33, 27. Jan. 2023 Unterschied Versionen +1.177 Bytes‎ N Multilinguality in Knowledge Graphs ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Multilinguality in Knowledge Graphs |Beschreibung EN=Abstract: In this talk, I will give an overview of my work in the domain of mul…“

23:0823:08, 16. Jan. 2023 Unterschied Versionen +20 Bytes‎ N Strong Equivalence in Non-monotonic Reasoning/en ‎ Page created automatically by parser function on page Strong Equivalence in Non-monotonic Reasoning aktuell
23:0823:08, 16. Jan. 2023 Unterschied Versionen +1.201 Bytes‎ N Strong Equivalence in Non-monotonic Reasoning ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Strong Equivalence in Non-monotonic Reasoning |Beschreibung EN=Abstract: In classical logic, when two theories have the same models,…“ aktuell

13:3313:33, 6. Jan. 2023 Unterschied Versionen +20 Bytes‎ N Efficient Dependency Analysis for Rule-Based Ontologies/en ‎ Page created automatically by parser function on page Efficient Dependency Analysis for Rule-Based Ontologies aktuell
13:3313:33, 6. Jan. 2023 Unterschied Versionen +1.207 Bytes‎ N Efficient Dependency Analysis for Rule-Based Ontologies ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Efficient Dependency Analysis for Rule-Based Ontologies |Beschreibung EN=Several types of dependencies have been proposed for the sta…“ aktuell

19:0719:07, 11. Dez. 2022 Unterschied Versionen +20 Bytes‎ N Nested Sequents for First-Order Modal Logics via Reachability Rules/en ‎ Page created automatically by parser function on page Nested Sequents for First-Order Modal Logics via Reachability Rules aktuell

Benutzerbeiträge von „Piotr Ostropolski-Nalewaja“

13. Juni 2023

5. Juni 2023

29. Mai 2023

17. Mai 2023

9. Mai 2023

6. Mai 2023

28. April 2023

13. April 2023

27. März 2023

20. März 2023

13. März 2023

3. März 2023

21. Februar 2023

1. Februar 2023

27. Januar 2023

16. Januar 2023

6. Januar 2023

11. Dezember 2022