Benutzerbeiträge von „Alex Ivliev“

18. Juni 2024

• 09:0609:06, 18. Jun. 2024 Unterschied Versionen +30 Bytes‎ Nemo: Your Friendly and Versatile Rule Reasoning Toolkit ‎Keine Bearbeitungszusammenfassung aktuell
• 09:0509:05, 18. Jun. 2024 Unterschied Versionen +20 Bytes‎ N Nemo: Your Friendly and Versatile Rule Reasoning Toolkit/en ‎ Page created automatically by parser function on page Nemo: Your Friendly and Versatile Rule Reasoning Toolkit aktuell
• 09:0509:05, 18. Jun. 2024 Unterschied Versionen +904 Bytes‎ N Nemo: Your Friendly and Versatile Rule Reasoning Toolkit ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Nemo: Your Friendly and Versatile Rule Reasoning Toolkit |Beschreibung EN=I give a short introduction to Nemo, a toolkit for rule-based reasoning and data processing that emphasises robustness and ease of use. Nemo is a scalable and efficient main-memory reasoner that supports an expressive extension of Datalog with support for datatypes, existential rules, aggregates, and (stratified) negation. Built around this core is a ver…“

14. Juni 2024

• 23:5623:56, 14. Jun. 2024 Unterschied Versionen +1 Byte‎ News99 ‎Keine Bearbeitungszusammenfassung
• 23:5523:55, 14. Jun. 2024 Unterschied Versionen +18 Bytes‎ News99 ‎Keine Bearbeitungszusammenfassung
• 23:5423:54, 14. Jun. 2024 Unterschied Versionen +42 Bytes‎ News98 ‎Keine Bearbeitungszusammenfassung
• 23:5123:51, 14. Jun. 2024 Unterschied Versionen −9 Bytes‎ News98 ‎Keine Bearbeitungszusammenfassung
• 23:4923:49, 14. Jun. 2024 Unterschied Versionen +8 Bytes‎ News98 ‎Keine Bearbeitungszusammenfassung
• 23:4923:49, 14. Jun. 2024 Unterschied Versionen +12 Bytes‎ News98 ‎Keine Bearbeitungszusammenfassung

6. Juni 2024

• 10:4710:47, 6. Jun. 2024 Unterschied Versionen −4 Bytes‎ News97 ‎Keine Bearbeitungszusammenfassung
• 09:1209:12, 6. Jun. 2024 Unterschied Versionen +16 Bytes‎ N News97/en ‎ Page created automatically by parser function on page News97 aktuell
• 09:1209:12, 6. Jun. 2024 Unterschied Versionen +2.732 Bytes‎ N News97 ‎ Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Forschende der ICCL mit Best Paper Award ausgezeichnet |Titel EN=HSCC 2024 Awards Best Paper to ICCL-Researchers |Beschreibung DE=<p>Das Paper [https://dl.acm.org/doi/10.1145/3641513.3650173 "Linear Dynamical Systems with Continuous Weight Functions"] von Rajab Aghamov, Christel Baier, Toghrul Karimov, Joel Ouaknine and Jakob Piribauer erhielt den Best Paper Award auf der [https://hscc.acm.org/2024/ HSCC 2024]. Die Forschungs…“

19. April 2024

• 09:4909:49, 19. Apr. 2024 Unterschied Versionen 0 Bytes‎ News96 ‎Keine Bearbeitungszusammenfassung aktuell
• 09:4609:46, 19. Apr. 2024 Unterschied Versionen 0 Bytes‎ News96 ‎Keine Bearbeitungszusammenfassung

18. April 2024

• 16:1416:14, 18. Apr. 2024 Unterschied Versionen −8 Bytes‎ News95 ‎Keine Bearbeitungszusammenfassung

24. Juli 2023

• 13:2313:23, 24. Jul. 2023 Unterschied Versionen 0 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung

21. Juli 2023

• 15:5015:50, 21. Jul. 2023 Unterschied Versionen −1 Byte‎ News88 ‎Keine Bearbeitungszusammenfassung
• 15:5015:50, 21. Jul. 2023 Unterschied Versionen −9 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 15:4815:48, 21. Jul. 2023 Unterschied Versionen +2 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 15:4815:48, 21. Jul. 2023 Unterschied Versionen 0 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 15:4715:47, 21. Jul. 2023 Unterschied Versionen 0 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 15:4615:46, 21. Jul. 2023 Unterschied Versionen 0 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 15:3515:35, 21. Jul. 2023 Unterschied Versionen +19 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 15:3415:34, 21. Jul. 2023 Unterschied Versionen −8 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 15:1615:16, 21. Jul. 2023 Unterschied Versionen −20 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 15:1515:15, 21. Jul. 2023 Unterschied Versionen −268 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 15:1315:13, 21. Jul. 2023 Unterschied Versionen +195 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 10:5610:56, 21. Jul. 2023 Unterschied Versionen −12 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 10:5510:55, 21. Jul. 2023 Unterschied Versionen 0 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 10:5010:50, 21. Jul. 2023 Unterschied Versionen −85 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung

3. Juli 2023

• 15:4315:43, 3. Jul. 2023 Unterschied Versionen −56 Bytes‎ News87 ‎Keine Bearbeitungszusammenfassung aktuell
• 15:2015:20, 3. Jul. 2023 Unterschied Versionen +47 Bytes‎ News87 ‎Keine Bearbeitungszusammenfassung
• 14:4714:47, 3. Jul. 2023 Unterschied Versionen +34 Bytes‎ News87 ‎Keine Bearbeitungszusammenfassung
• 14:0914:09, 3. Jul. 2023 Unterschied Versionen +3 Bytes‎ News87 ‎Keine Bearbeitungszusammenfassung

26. Juni 2023

• 15:3515:35, 26. Jun. 2023 Unterschied Versionen −4 Bytes‎ News86 ‎Keine Bearbeitungszusammenfassung
• 15:3315:33, 26. Jun. 2023 Unterschied Versionen +3 Bytes‎ News86 ‎Keine Bearbeitungszusammenfassung
• 15:3115:31, 26. Jun. 2023 Unterschied Versionen −16 Bytes‎ News86 ‎Keine Bearbeitungszusammenfassung
• 15:3015:30, 26. Jun. 2023 Unterschied Versionen −5 Bytes‎ News86 ‎Keine Bearbeitungszusammenfassung
• 15:2915:29, 26. Jun. 2023 Unterschied Versionen +4 Bytes‎ News86 ‎Keine Bearbeitungszusammenfassung
• 15:2915:29, 26. Jun. 2023 Unterschied Versionen −6 Bytes‎ News86 ‎Keine Bearbeitungszusammenfassung
• 15:0915:09, 26. Jun. 2023 Unterschied Versionen −1 Byte‎ News86 ‎Keine Bearbeitungszusammenfassung

7. Juni 2023

• 14:1414:14, 7. Jun. 2023 Unterschied Versionen +17 Bytes‎ Inproceedings3354 ‎Keine Bearbeitungszusammenfassung
• 14:1014:10, 7. Jun. 2023 Unterschied Versionen +33 Bytes‎ Inproceedings3354 ‎Keine Bearbeitungszusammenfassung
• 14:0814:08, 7. Jun. 2023 Unterschied Versionen −9 Bytes‎ Inproceedings3354 ‎Keine Bearbeitungszusammenfassung
• 14:0714:07, 7. Jun. 2023 Unterschied Versionen +31 Bytes‎ N Inproceedings3354/en ‎ Page created automatically by parser function on page Inproceedings3354 aktuell Markierung: Neue Weiterleitung
• 14:0714:07, 7. Jun. 2023 Unterschied Versionen +1.021 Bytes‎ N Inproceedings3354 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Alex |ErsterAutorNachname=Ivliev |FurtherAuthors=Stefan Ellmauthaler; Lukas Gerlach; Maximilian Marx; Markus Kr…“

9. Februar 2023

• 16:3616:36, 9. Feb. 2023 Unterschied Versionen −5 Bytes‎ News85 ‎Keine Bearbeitungszusammenfassung
• 12:5012:50, 9. Feb. 2023 Unterschied Versionen +16 Bytes‎ N News85/en ‎ Page created automatically by parser function on page News85 aktuell
• 12:5012:50, 9. Feb. 2023 Unterschied Versionen +5.069 Bytes‎ N News85 ‎ Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Philipp Hanisch erhält Georg-Helm-Preis |Titel EN=Philipp Hanisch Receives Georg Helm Prize |Beschreibung DE=<p>Der Verein zur Förderun…“

28. Oktober 2022

• 10:3610:36, 28. Okt. 2022 Unterschied Versionen −4 Bytes‎ News82 ‎Keine Bearbeitungszusammenfassung