Benutzerbeiträge von „Alex Ivliev“
Aus International Center for Computational Logic
Für Alex Ivliev Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
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