Benutzerbeiträge von „Alex Ivliev“

13. Mai 2025

• 07:5107:51, 13. Mai 2025 Unterschied Versionen −4 News105 Keine Bearbeitungszusammenfassung
• 07:5007:50, 13. Mai 2025 Unterschied Versionen +16 N News105/en Page created automatically by parser function on page News105 aktuell
• 07:5007:50, 13. Mai 2025 Unterschied Versionen +2.364 N News105 Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Franz Baader und Renata Wassermann gewinnen Ray Reiter Best Paper Award bei der KR 2024 |Titel EN=Franz Baader and Renata Wassermann Win Ray Reiter Best Paper Award at KR 2024 |Beschreibung DE=<p>Die renommierten Informatiker Franz Baader (Technische Universität Dresden) und Renata Wassermann (Universidade de São Paulo) wurden auf der [https://kr.org/KR2024 "21. International Conference on Principles of Knowledge Representation…“
• 07:4407:44, 13. Mai 2025 Unterschied Versionen 0 N Datei:KR2024 BestPaperAward Ceremony.jpg Keine Bearbeitungszusammenfassung aktuell

20. Januar 2025

• 13:5013:50, 20. Jan. 2025 Unterschied Versionen +16 News104 Keine Bearbeitungszusammenfassung aktuell
• 13:4713:47, 20. Jan. 2025 Unterschied Versionen +16 N News104/en Page created automatically by parser function on page News104 aktuell
• 13:4713:47, 20. Jan. 2025 Unterschied Versionen +4.974 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…“
• 13:3713:37, 20. Jan. 2025 Unterschied Versionen +72 N Datei:News Lean.png Lean code shown in the news item about Johannes' and Lukas' contribution aktuell

13. Dezember 2024

• 12:2312:23, 13. Dez. 2024 Unterschied Versionen +16 N News103/en Page created automatically by parser function on page News103 aktuell
• 12:2312:23, 13. Dez. 2024 Unterschied Versionen +3.821 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
• 12:1512:15, 13. Dez. 2024 Unterschied Versionen +47 N Datei:BestPaper Jonas Kyoto.jpeg Bild zeigt Jonas Karge mit dem Best Paper Award aktuell

3. Dezember 2024

• 10:0710:07, 3. Dez. 2024 Unterschied Versionen +16 N News102/en Page created automatically by parser function on page News102 aktuell
• 10:0710:07, 3. Dez. 2024 Unterschied Versionen +4.034 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
• 09:5709:57, 3. Dez. 2024 Unterschied Versionen +77 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

• 08:2608:26, 27. Nov. 2024 Unterschied Versionen +112 Inproceedings3390 Keine Bearbeitungszusammenfassung
• 08:2208:22, 27. Nov. 2024 Unterschied Versionen +97 Inproceedings3390 Keine Bearbeitungszusammenfassung
• 08:1808:18, 27. Nov. 2024 Unterschied Versionen +26 Inproceedings3393 Keine Bearbeitungszusammenfassung aktuell
• 08:1608:16, 27. Nov. 2024 Unterschied Versionen +16 Inproceedings3393 Keine Bearbeitungszusammenfassung
• 08:1408:14, 27. Nov. 2024 Unterschied Versionen 0 Inproceedings3392 Keine Bearbeitungszusammenfassung

21. Oktober 2024

• 14:0314:03, 21. Okt. 2024 Unterschied Versionen +42 Inproceedings3393 Keine Bearbeitungszusammenfassung
• 13:5813:58, 21. Okt. 2024 Unterschied Versionen +36 Inproceedings3393 Keine Bearbeitungszusammenfassung
• 13:5813:58, 21. Okt. 2024 Unterschied Versionen +64 N Datei:Datalog20 Ivliev Slides.pdf Slides for the presentation of Nemo at Datalog 2.0 workshop 2024 aktuell
• 13:5213:52, 21. Okt. 2024 Unterschied Versionen +42 Inproceedings3392 Keine Bearbeitungszusammenfassung
• 13:4813:48, 21. Okt. 2024 Unterschied Versionen −1 Inproceedings3392 Keine Bearbeitungszusammenfassung
• 13:4813:48, 21. Okt. 2024 Unterschied Versionen +129 Inproceedings3392 Keine Bearbeitungszusammenfassung
• 13:4313:43, 21. Okt. 2024 Unterschied Versionen +63 N Datei:LPNMR2024 Kuechenmeister Slides.pdf Slides for the presentation of the LPNMR2024 paper about Genmol aktuell

13. September 2024

• 13:5713:57, 13. Sep. 2024 Unterschied Versionen +31 N Inproceedings3393/en Page created automatically by parser function on page Inproceedings3393 aktuell Markierung: Neue Weiterleitung
• 13:5713:57, 13. Sep. 2024 Unterschied Versionen +1.278 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 }} {…“
• 13:5713:57, 13. Sep. 2024 Unterschied Versionen +33 N Datei:Ivliev-Datalog20-2024.pdf Datalog 2.0 2024 paper about Nemo aktuell

2. September 2024

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

• 08:1808:18, 16. Aug. 2024 Unterschied Versionen +33 Inproceedings3390 Keine Bearbeitungszusammenfassung
• 08:1708:17, 16. Aug. 2024 Unterschied Versionen +8 Inproceedings3390 Keine Bearbeitungszusammenfassung
• 08:1608:16, 16. Aug. 2024 Unterschied Versionen +31 N Inproceedings3390/en Page created automatically by parser function on page Inproceedings3390 aktuell Markierung: Neue Weiterleitung
• 08:1608:16, 16. Aug. 2024 Unterschied Versionen +1.576 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…“
• 08:1408:14, 16. Aug. 2024 Unterschied Versionen +17 N Datei:KR-2024-CR.pdf KR paper for Nemo aktuell

8. August 2024

• 11:0811:08, 8. Aug. 2024 Unterschied Versionen +30 Multi-Cultural Commonsense Knowledge Base Construction Keine Bearbeitungszusammenfassung aktuell
• 11:0711:07, 8. Aug. 2024 Unterschied Versionen +99 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

• 14:4514:45, 3. Jul. 2024 Unterschied Versionen +10 News100 Keine Bearbeitungszusammenfassung aktuell
• 13:4613:46, 3. Jul. 2024 Unterschied Versionen +8 News101 Keine Bearbeitungszusammenfassung aktuell

2. Juli 2024

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

18. Juni 2024

• 07:0607:06, 18. Jun. 2024 Unterschied Versionen +30 Nemo: Your Friendly and Versatile Rule Reasoning Toolkit Keine Bearbeitungszusammenfassung
• 07:0507:05, 18. Jun. 2024 Unterschied Versionen +20 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
• 07:0507:05, 18. Jun. 2024 Unterschied Versionen +904 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

• 21:5621:56, 14. Jun. 2024 Unterschied Versionen +1 News99 Keine Bearbeitungszusammenfassung
• 21:5521:55, 14. Jun. 2024 Unterschied Versionen +18 News99 Keine Bearbeitungszusammenfassung
• 21:5421:54, 14. Jun. 2024 Unterschied Versionen +42 News98 Keine Bearbeitungszusammenfassung