Benutzerbeiträge von „Piotr Ostropolski-Nalewaja“

11. Dezember 2022

• 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