Benutzerbeiträge von „Alex Ivliev“

20. Januar 2025

• 15:5015:50, 20. Jan. 2025 Unterschied Versionen +16 Bytes‎ News104 ‎Keine Bearbeitungszusammenfassung aktuell
• 15:4715:47, 20. Jan. 2025 Unterschied Versionen +16 Bytes‎ N News104/en ‎ Page created automatically by parser function on page News104 aktuell
• 15:4715:47, 20. Jan. 2025 Unterschied Versionen +4.974 Bytes‎ N News104 ‎ Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=ICCL Forschende tragen zur Lean-Standardbibliothek bei |Titel EN=ICCL Researchers Contribute to Lean Standard Library |Beschreibung DE=<p>Johannes Tantow (ehemaliger Student der Gruppe Wissensbasierte Systeme; jetzt wissenschaftlicher Mitarbeiter an der TU Chemnitz) und Lukas Gerlach (Wissenschaftlicher Mitarbeiter der Gruppe Wissensbasierte Systeme) haben kürzlich eine große Anzahl von Resultaten rund um Hash-Maps zur Standard…“
• 15:3715:37, 20. Jan. 2025 Unterschied Versionen +72 Bytes‎ N Datei:News Lean.png ‎ Lean code shown in the news item about Johannes' and Lukas' contribution aktuell

13. Dezember 2024

• 14:2314:23, 13. Dez. 2024 Unterschied Versionen +16 Bytes‎ N News103/en ‎ Page created automatically by parser function on page News103 aktuell
• 14:2314: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
• 14:1514: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

• 12:0712:07, 3. Dez. 2024 Unterschied Versionen +16 Bytes‎ N News102/en ‎ Page created automatically by parser function on page News102 aktuell
• 12:0712: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
• 11:5711: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

• 10:2610:26, 27. Nov. 2024 Unterschied Versionen +112 Bytes‎ Inproceedings3390 ‎Keine Bearbeitungszusammenfassung
• 10:2210:22, 27. Nov. 2024 Unterschied Versionen +97 Bytes‎ Inproceedings3390 ‎Keine Bearbeitungszusammenfassung
• 10:1810:18, 27. Nov. 2024 Unterschied Versionen +26 Bytes‎ Inproceedings3393 ‎Keine Bearbeitungszusammenfassung aktuell
• 10:1610:16, 27. Nov. 2024 Unterschied Versionen +16 Bytes‎ Inproceedings3393 ‎Keine Bearbeitungszusammenfassung
• 10:1410:14, 27. Nov. 2024 Unterschied Versionen 0 Bytes‎ Inproceedings3392 ‎Keine Bearbeitungszusammenfassung

21. Oktober 2024

• 16:0316:03, 21. Okt. 2024 Unterschied Versionen +42 Bytes‎ Inproceedings3393 ‎Keine Bearbeitungszusammenfassung
• 15:5815:58, 21. Okt. 2024 Unterschied Versionen +36 Bytes‎ Inproceedings3393 ‎Keine Bearbeitungszusammenfassung
• 15:5815: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
• 15:5215:52, 21. Okt. 2024 Unterschied Versionen +42 Bytes‎ Inproceedings3392 ‎Keine Bearbeitungszusammenfassung
• 15:4815:48, 21. Okt. 2024 Unterschied Versionen −1 Byte‎ Inproceedings3392 ‎Keine Bearbeitungszusammenfassung
• 15:4815:48, 21. Okt. 2024 Unterschied Versionen +129 Bytes‎ Inproceedings3392 ‎Keine Bearbeitungszusammenfassung
• 15:4315: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

• 15:5715:57, 13. Sep. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3393/en ‎ Page created automatically by parser function on page Inproceedings3393 aktuell Markierung: Neue Weiterleitung
• 15:5715: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 }} {…“
• 15:5715: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

• 11:0311:03, 2. Sep. 2024 Unterschied Versionen +39 Bytes‎ Inproceedings3392 ‎Keine Bearbeitungszusammenfassung
• 11:0311:03, 2. Sep. 2024 Unterschied Versionen +47 Bytes‎ N Datei:LPNMR2024-Küchenmeister.pdf ‎ Paper "Towards Mass Spectrum Analysis with ASP" aktuell
• 11:0111:01, 2. Sep. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3392/en ‎ Page created automatically by parser function on page Inproceedings3392 aktuell Markierung: Neue Weiterleitung
• 11:0111: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

• 10:1810:18, 16. Aug. 2024 Unterschied Versionen +33 Bytes‎ Inproceedings3390 ‎Keine Bearbeitungszusammenfassung
• 10:1710:17, 16. Aug. 2024 Unterschied Versionen +8 Bytes‎ Inproceedings3390 ‎Keine Bearbeitungszusammenfassung
• 10:1610:16, 16. Aug. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3390/en ‎ Page created automatically by parser function on page Inproceedings3390 aktuell Markierung: Neue Weiterleitung
• 10:1610: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…“
• 10:1410:14, 16. Aug. 2024 Unterschied Versionen +17 Bytes‎ N Datei:KR-2024-CR.pdf ‎ KR paper for Nemo aktuell

8. August 2024

• 13:0813:08, 8. Aug. 2024 Unterschied Versionen +30 Bytes‎ Multi-Cultural Commonsense Knowledge Base Construction ‎Keine Bearbeitungszusammenfassung aktuell
• 13:0713: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

• 16:4516:45, 3. Jul. 2024 Unterschied Versionen +10 Bytes‎ News100 ‎Keine Bearbeitungszusammenfassung aktuell
• 15:4615:46, 3. Jul. 2024 Unterschied Versionen +8 Bytes‎ News101 ‎Keine Bearbeitungszusammenfassung aktuell

2. Juli 2024

• 13:2513:25, 2. Jul. 2024 Unterschied Versionen +29 Bytes‎ Nemo: Your Friendly and Versatile Rule Reasoning Toolkit ‎Keine Bearbeitungszusammenfassung aktuell
• 13:2513: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

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