Benutzerbeiträge von „Alex Ivliev“

Aus International Center for Computational Logic
Ein Benutzer mit 154 Bearbeitungen. Das Konto wurde am 15. Dezember 2021 erstellt.
Wechseln zu:Navigation, Suche
Suche nach BenutzerbeiträgenAusklappenEinklappen
⧼contribs-top⧽
⧼contribs-date⧽
(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)

4. August 2026

31. Juli 2026

21. Juli 2026

  • 10:3310:33, 21. Jul. 2026 Unterschied Versionen +441 N Inproceedings3474 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Alex |ErsterAutorNachname=Ivliev |FurtherAuthors=Markus Krötzsch; Maximilian Marx }} {{Inproceedings |Referiert=1 |Title=Recovering Explanations from Transformed Rule-Based Ontologies |To appear=1 |Year=2026 |Booktitle=Proceedings of the 25th International Semantic Web Conference (ISWC 2026) }} {{Publikation Details |Projekt=CPEC, SECAI, ScaDS.AI |Forschungsgruppe=Wissensbasierte Systeme }}“

25. Juni 2026

18. Mai 2026

27. Februar 2026

26. Februar 2026

  • 14:0814:08, 26. Feb. 2026 Unterschied Versionen +1.154 N Inproceedings3462 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Raimund |ErsterAutorNachname=Dachselt |FurtherAuthors=Lukas Gerlach; Philipp Hanisch; Alex Ivliev; Markus Krötzsch; Maximilian Marx; Julián Méndez }} {{Inproceedings |Referiert=1 |Title=Declarative Debugging for Datalog with Aggregation |To appear=1 |Year=2026 |Booktitle=Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference (EDBT/ICDT-WS 2026), Tampere, Finland, March 24, 2026 |Publisher=CEUR…“
  • 14:0814:08, 26. Feb. 2026 Unterschied Versionen +84 N Datei:TGD2026.pdf Paper "Declarative Debugging for Datalog with Aggregation" for the TGD workshop 2026

25. Februar 2026

19. Februar 2026

13. Mai 2025

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

3. Dezember 2024

27. November 2024

21. Oktober 2024

(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)