Benutzerbeiträge von „Alex Ivliev“

13. Dezember 2024

• 13:2313:23, 13. Dez. 2024 Unterschied Versionen +16 Bytes‎ N News103/en ‎ Page created automatically by parser function on page News103 aktuell
• 13:2313:23, 13. Dez. 2024 Unterschied Versionen +3.821 Bytes‎ N News103 ‎ Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24 |Titel EN=Jonas Karge Wins Student Best Paper Award at PRIMA24 |Beschreibung DE=<p>Jonas Karge, Doktorand am Lehrstuhl für Computational Logic am Institut für Theoretische Informatik der TU Dresden, wurde auf der diesjährigen [https://sites.google.com/view/prima-2024/ International Conference on Principles and Practice of Multi-Agent Systems (PRIMA24)] in Kyoto,…“ aktuell
• 13:1513:15, 13. Dez. 2024 Unterschied Versionen +47 Bytes‎ N Datei:BestPaper Jonas Kyoto.jpeg ‎ Bild zeigt Jonas Karge mit dem Best Paper Award aktuell

3. Dezember 2024

• 11:0711:07, 3. Dez. 2024 Unterschied Versionen +16 Bytes‎ N News102/en ‎ Page created automatically by parser function on page News102 aktuell
• 11:0711:07, 3. Dez. 2024 Unterschied Versionen +4.034 Bytes‎ N News102 ‎ Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Best Paper Award für Nemo |Titel EN=Best Paper Award for Nemo |Beschreibung DE=<p>Forschende der Professur Wissensbasierte Systeme am Institut für Theoretische Informatik der TU Dresden wurden auf der renommierten [https://kr.org/KR2024/ KR-Konferenz 2024] in Hanoi, Vietnam mit dem Best-Paper-Award im Track "KR in the Wild" geehrt. Die Autoren Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg und Marku…“ aktuell
• 10:5710:57, 3. Dez. 2024 Unterschied Versionen +77 Bytes‎ N Datei:Best paper nemo.jpeg ‎ Photo of Lukas, Alex, Markus holding the best paper award KR'2024 In-the-wild aktuell

27. November 2024

• 09:2609:26, 27. Nov. 2024 Unterschied Versionen +112 Bytes‎ Inproceedings3390 ‎Keine Bearbeitungszusammenfassung aktuell
• 09:2209:22, 27. Nov. 2024 Unterschied Versionen +97 Bytes‎ Inproceedings3390 ‎Keine Bearbeitungszusammenfassung
• 09:1809:18, 27. Nov. 2024 Unterschied Versionen +26 Bytes‎ Inproceedings3393 ‎Keine Bearbeitungszusammenfassung aktuell
• 09:1609:16, 27. Nov. 2024 Unterschied Versionen +16 Bytes‎ Inproceedings3393 ‎Keine Bearbeitungszusammenfassung
• 09:1409:14, 27. Nov. 2024 Unterschied Versionen 0 Bytes‎ Inproceedings3392 ‎Keine Bearbeitungszusammenfassung aktuell

21. Oktober 2024

• 15:0315:03, 21. Okt. 2024 Unterschied Versionen +42 Bytes‎ Inproceedings3393 ‎Keine Bearbeitungszusammenfassung
• 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
• 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