Benutzerbeiträge von „Piotr Ostropolski-Nalewaja“

17. Mai 2023

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

9. Mai 2023

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

6. Mai 2023

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

28. April 2023

• 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

13. April 2023

• 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

27. März 2023

• 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

20. März 2023

• 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

13. März 2023

• 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

3. März 2023

• 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

21. Februar 2023

• 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

1. Februar 2023

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

27. Januar 2023

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

16. Januar 2023

• 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

6. Januar 2023

• 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

11. Dezember 2022

• 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
• 19:0719:07, 11. Dez. 2022 Unterschied Versionen +1.223 Bytes‎ N Nested Sequents for First-Order Modal Logics via Reachability Rules ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Nested Sequents for First-Order Modal Logics via Reachability Rules |Beschreibung EN=In this talk, we present cut-free nested sequent…“ aktuell
• 12:4812:48, 11. Dez. 2022 Unterschied Versionen +20 Bytes‎ N The Relevance of Formal Logics for Cognitive Logics, and Vice Versa/en ‎ Page created automatically by parser function on page The Relevance of Formal Logics for Cognitive Logics, and Vice Versa aktuell
• 12:4812:48, 11. Dez. 2022 Unterschied Versionen +2.563 Bytes‎ N The Relevance of Formal Logics for Cognitive Logics, and Vice Versa ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=The Relevance of Formal Logics for Cognitive Logics, and Vice Versa |Beschreibung EN=Classical logics like propositional or predicate…“ aktuell

19. November 2022

• 13:5213:52, 19. Nov. 2022 Unterschied Versionen +20 Bytes‎ N IASCAR: Incremental Answer Set Counting by Anytime Refinement/en ‎ Page created automatically by parser function on page IASCAR: Incremental Answer Set Counting by Anytime Refinement aktuell
• 13:5213:52, 19. Nov. 2022 Unterschied Versionen +1.474 Bytes‎ N IASCAR: Incremental Answer Set Counting by Anytime Refinement ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=IASCAR: Incremental Answer Set Counting by Anytime Refinement |Beschreibung EN=Answer set programming (ASP) is a popular declarative…“ aktuell

14. November 2022

• 12:3912:39, 14. Nov. 2022 Unterschied Versionen +20 Bytes‎ N Normalisations of Existential Rules: Not so Innocuous!/en ‎ Page created automatically by parser function on page Normalisations of Existential Rules: Not so Innocuous! aktuell
• 12:3912:39, 14. Nov. 2022 Unterschied Versionen +1.124 Bytes‎ N Normalisations of Existential Rules: Not so Innocuous! ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Normalisations of Existential Rules: Not so Innocuous! |Beschreibung EN=Existential rules are an expressive knowledge representation…“ aktuell

7. November 2022

• 22:5122:51, 7. Nov. 2022 Unterschied Versionen +20 Bytes‎ N General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase/en ‎ Page created automatically by parser function on page General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase aktuell
• 22:5122:51, 7. Nov. 2022 Unterschied Versionen +781 Bytes‎ N General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase |Beschreibung EN=The disjunctive skolem chase is a sound, c…“ aktuell

31. Oktober 2022

• 16:0916:09, 31. Okt. 2022 Unterschied Versionen +20 Bytes‎ N Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying/en ‎ Page created automatically by parser function on page Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying aktuell
• 16:0916:09, 31. Okt. 2022 Unterschied Versionen +1.389 Bytes‎ N Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying |Beschreibung E…“ aktuell

17. Oktober 2022

• 11:4411:44, 17. Okt. 2022 Unterschied Versionen +20 Bytes‎ N How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic/en ‎ Page created automatically by parser function on page How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic aktuell
• 11:4411:44, 17. Okt. 2022 Unterschied Versionen +1.721 Bytes‎ N How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic |Beschreibung EN=The importance of taking individu…“ aktuell

4. Oktober 2022

• 13:2913:29, 4. Okt. 2022 Unterschied Versionen +20 Bytes‎ N Computability and Complexity of (Iterated) Belief Revision/en ‎ Page created automatically by parser function on page Computability and Complexity of (Iterated) Belief Revision aktuell
• 13:2913:29, 4. Okt. 2022 Unterschied Versionen +665 Bytes‎ N Computability and Complexity of (Iterated) Belief Revision ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Computability and Complexity of (Iterated) Belief Revision |Beschreibung EN=Belief revision denotes the process of the incorporation…“ aktuell

2. November 2021

• 12:4312:43, 2. Nov. 2021 Unterschied Versionen +31 Bytes‎ Datenbanktheorie ‎Keine Bearbeitungszusammenfassung
• 12:4312:43, 2. Nov. 2021 Unterschied Versionen 0 Bytes‎ N Datei:B580a1edad5449f19be96f462f9d43cd-0001.jpg ‎Keine Bearbeitungszusammenfassung aktuell
• 12:4212:42, 2. Nov. 2021 Unterschied Versionen 0 Bytes‎ N Datei:Figure2.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 12:3712:37, 2. Nov. 2021 Unterschied Versionen +779 Bytes‎ Datenbanktheorie ‎Keine Bearbeitungszusammenfassung
• 12:3512:35, 2. Nov. 2021 Unterschied Versionen 0 Bytes‎ N Datei:Figure.pdf ‎Keine Bearbeitungszusammenfassung aktuell

12. Oktober 2021

• 15:4715:47, 12. Okt. 2021 Unterschied Versionen +670 Bytes‎ Piotr Ostropolski-Nalewaja ‎Keine Bearbeitungszusammenfassung