Benutzerbeiträge von „Alex Ivliev“

21. Oktober 2024

• 15:0315:03, 21. Okt. 2024 Unterschied Versionen +42 Bytes‎ Inproceedings3393 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:5814:58, 21. Okt. 2024 Unterschied Versionen +36 Bytes‎ Inproceedings3393 ‎Keine Bearbeitungszusammenfassung
• 14:5814:58, 21. Okt. 2024 Unterschied Versionen +64 Bytes‎ N Datei:Datalog20 Ivliev Slides.pdf ‎ Slides for the presentation of Nemo at Datalog 2.0 workshop 2024 aktuell
• 14:5214:52, 21. Okt. 2024 Unterschied Versionen +42 Bytes‎ Inproceedings3392 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:4814:48, 21. Okt. 2024 Unterschied Versionen −1 Byte‎ Inproceedings3392 ‎Keine Bearbeitungszusammenfassung
• 14:4814:48, 21. Okt. 2024 Unterschied Versionen +129 Bytes‎ Inproceedings3392 ‎Keine Bearbeitungszusammenfassung
• 14:4314:43, 21. Okt. 2024 Unterschied Versionen +63 Bytes‎ N Datei:LPNMR2024 Kuechenmeister Slides.pdf ‎ Slides for the presentation of the LPNMR2024 paper about Genmol aktuell

13. September 2024

• 14:5714:57, 13. Sep. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3393/en ‎ Page created automatically by parser function on page Inproceedings3393 aktuell Markierung: Neue Weiterleitung
• 14:5714:57, 13. Sep. 2024 Unterschied Versionen +1.278 Bytes‎ N Inproceedings3393 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Alex |ErsterAutorNachname=Ivliev |FurtherAuthors=Lukas Gerlach; Simon Meusel; Jakob Steinberg; Markus Krötzsch }} {{Inproceedings |Referiert=0 |Title=Nemo: A Scalable and Versatile Datalog Engine |To appear=1 |Year=2024 |Booktitle=Proceedings of the 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2024) |Publisher=CEUR-WS.org |Series=CEUR Workshop Proceedings }} {…“
• 14:5714:57, 13. Sep. 2024 Unterschied Versionen +33 Bytes‎ N Datei:Ivliev-Datalog20-2024.pdf ‎ Datalog 2.0 2024 paper about Nemo aktuell

2. September 2024

• 10:0310:03, 2. Sep. 2024 Unterschied Versionen +39 Bytes‎ Inproceedings3392 ‎Keine Bearbeitungszusammenfassung
• 10:0310:03, 2. Sep. 2024 Unterschied Versionen +47 Bytes‎ N Datei:LPNMR2024-Küchenmeister.pdf ‎ Paper "Towards Mass Spectrum Analysis with ASP" aktuell
• 10:0110:01, 2. Sep. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3392/en ‎ Page created automatically by parser function on page Inproceedings3392 aktuell Markierung: Neue Weiterleitung
• 10:0110:01, 2. Sep. 2024 Unterschied Versionen +1.239 Bytes‎ N Inproceedings3392 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister |FurtherAuthors=Alex Ivliev; Markus Krötzsch }} {{Inproceedings |Referiert=0 |Title=Towards Mass Spectrum Analysis with ASP |To appear=1 |Year=2024 |Month=Dezember |Booktitle=Logic Programming and Nonmonotonic Reasoning |Publisher=Springer |Editor=Carmine Dodaro, Gopal Gupta, Maria Vanina Martinez |Series=Lecture Notes in Computer Science |Volume=15245 }} {{Publikatio…“

16. August 2024

• 09:1809:18, 16. Aug. 2024 Unterschied Versionen +33 Bytes‎ Inproceedings3390 ‎Keine Bearbeitungszusammenfassung
• 09:1709:17, 16. Aug. 2024 Unterschied Versionen +8 Bytes‎ Inproceedings3390 ‎Keine Bearbeitungszusammenfassung
• 09:1609:16, 16. Aug. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3390/en ‎ Page created automatically by parser function on page Inproceedings3390 aktuell Markierung: Neue Weiterleitung
• 09:1609:16, 16. Aug. 2024 Unterschied Versionen +1.576 Bytes‎ N Inproceedings3390 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Alex |ErsterAutorNachname=Ivliev |FurtherAuthors=Lukas Gerlach; Simon Meusel; Jakob Steinberg; Markus Krötzsch }} {{Inproceedings |Referiert=0 |Title=Nemo: Your Friendly and Versatile Rule Reasoning Toolkit |To appear=1 |Year=2024 |Booktitle=Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) |Publisher=International Joint Conferences on Artifici…“
• 09:1409:14, 16. Aug. 2024 Unterschied Versionen +17 Bytes‎ N Datei:KR-2024-CR.pdf ‎ KR paper for Nemo aktuell

8. August 2024

• 12:0812:08, 8. Aug. 2024 Unterschied Versionen +30 Bytes‎ Multi-Cultural Commonsense Knowledge Base Construction ‎Keine Bearbeitungszusammenfassung aktuell
• 12:0712:07, 8. Aug. 2024 Unterschied Versionen +99 Bytes‎ N Datei:KBS Seminar 20240808.pdf ‎ Slides for the presentation by Simon Razniewski given in the KBS seminar on the 8th of August 2024. aktuell

3. Juli 2024

• 15:4515:45, 3. Jul. 2024 Unterschied Versionen +10 Bytes‎ News100 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:4614:46, 3. Jul. 2024 Unterschied Versionen +8 Bytes‎ News101 ‎Keine Bearbeitungszusammenfassung aktuell

2. Juli 2024

• 12:2512:25, 2. Jul. 2024 Unterschied Versionen +29 Bytes‎ Nemo: Your Friendly and Versatile Rule Reasoning Toolkit ‎Keine Bearbeitungszusammenfassung aktuell
• 12:2512:25, 2. Jul. 2024 Unterschied Versionen +44 Bytes‎ N Datei:Slides-Seminar-Nemo.pdf ‎ Slides for the first seminar talk about nemo aktuell

18. Juni 2024

• 08:0608:06, 18. Jun. 2024 Unterschied Versionen +30 Bytes‎ Nemo: Your Friendly and Versatile Rule Reasoning Toolkit ‎Keine Bearbeitungszusammenfassung
• 08:0508: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
• 08:0508: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

• 22:5622:56, 14. Jun. 2024 Unterschied Versionen +1 Byte‎ News99 ‎Keine Bearbeitungszusammenfassung
• 22:5522:55, 14. Jun. 2024 Unterschied Versionen +18 Bytes‎ News99 ‎Keine Bearbeitungszusammenfassung
• 22:5422:54, 14. Jun. 2024 Unterschied Versionen +42 Bytes‎ News98 ‎Keine Bearbeitungszusammenfassung
• 22:5122:51, 14. Jun. 2024 Unterschied Versionen −9 Bytes‎ News98 ‎Keine Bearbeitungszusammenfassung
• 22:4922:49, 14. Jun. 2024 Unterschied Versionen +8 Bytes‎ News98 ‎Keine Bearbeitungszusammenfassung
• 22:4922:49, 14. Jun. 2024 Unterschied Versionen +12 Bytes‎ News98 ‎Keine Bearbeitungszusammenfassung

6. Juni 2024

• 09:4709:47, 6. Jun. 2024 Unterschied Versionen −4 Bytes‎ News97 ‎Keine Bearbeitungszusammenfassung
• 08:1208:12, 6. Jun. 2024 Unterschied Versionen +16 Bytes‎ N News97/en ‎ Page created automatically by parser function on page News97 aktuell
• 08:1208: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

• 08:4908:49, 19. Apr. 2024 Unterschied Versionen 0 Bytes‎ News96 ‎Keine Bearbeitungszusammenfassung aktuell
• 08:4608:46, 19. Apr. 2024 Unterschied Versionen 0 Bytes‎ News96 ‎Keine Bearbeitungszusammenfassung

18. April 2024

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

24. Juli 2023

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

21. Juli 2023

• 14:5014:50, 21. Jul. 2023 Unterschied Versionen −1 Byte‎ News88 ‎Keine Bearbeitungszusammenfassung
• 14:5014:50, 21. Jul. 2023 Unterschied Versionen −9 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 14:4814:48, 21. Jul. 2023 Unterschied Versionen +2 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 14:4814:48, 21. Jul. 2023 Unterschied Versionen 0 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 14:4714:47, 21. Jul. 2023 Unterschied Versionen 0 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 14:4614:46, 21. Jul. 2023 Unterschied Versionen 0 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 14:3514:35, 21. Jul. 2023 Unterschied Versionen +19 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 14:3414:34, 21. Jul. 2023 Unterschied Versionen −8 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung
• 14:1614:16, 21. Jul. 2023 Unterschied Versionen −20 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung