Account
Edit tools
Intern
SucheSearch
English

Benutzerbeiträge von „Lukas Gerlach“

Aus International Center for Computational Logic
Ergebnisse für Lukas Gerlach Diskussion Sperr-Logbuch hochgeladene Dateien Logbücher
Ein Benutzer mit 433 Bearbeitungen. Das Konto wurde am 1. Oktober 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)

24. November 2025

2. Oktober 2025

25. September 2025

23. September 2025

  • 06:1606:16, 23. Sep. 2025 Unterschied Versionen +1.178 N Inproceedings3434 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach |FurtherAuthors=Lucas Larroque; Jerzy Marcinkowski; Piotr Ostropolski-Nalewaja }} {{Inproceedings |Referiert=1 |Title=About the Multi-Head Linear Restricted Chase Termination |To appear=1 |Year=2025 |Month=November |Booktitle=KR 2025 }} {{Publikation Details |Abstract=The chase is a ubiquitous algorithm in database theory. However, for existential rules (aka tuple-generating…“
  • 06:1506:15, 23. Sep. 2025 Unterschied Versionen 0 N Datei:KR-2025-Linear-Multi-Head-Termination.pdf Keine Bearbeitungszusammenfassung aktuell
  • 05:1905:19, 23. Sep. 2025 Unterschied Versionen +1.140 N Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes |Beschreibung EN=We propose the Riskman ontology and shapes for representing and analysing information about risk management for medical devices. Risk management is concerned with taking necessary precautions to ensure that a medical device does not cause harms for users or the environment. To date, risk management documentation is submitted to not…“ aktuell

16. September 2025

  • 04:4204:42, 16. Sep. 2025 Unterschied Versionen +1.897 N Reliance-based Static Analysis of Existential Rules Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Reliance-based Static Analysis of Existential Rules |Beschreibung EN=Cores are universal models of existential rules knowledge bases that have no redundant facts. They can be determined with the core chase, but this is expensive. Recent work suggested special positive and restraint reliance relations between rules to assess whether applying a rule can activate another and whether a rule should be preferred over another to avoid i…“ aktuell

9. September 2025

1. September 2025

  • 06:5206:52, 1. Sep. 2025 Unterschied Versionen +1.424 N Inproceedings3430 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=David |ErsterAutorNachname=Carral |FurtherAuthors=Lukas Gerlach; Lucas Larroque; Michaël Thomazo }} {{Inproceedings |Referiert=1 |Title=Restricted Chase Termination: You Want More than Fairness (Extended Abstract) |To appear=1 |Year=2025 |Month=September |Booktitle=DL Workshop 2025 }} {{Publikation Details |Abstract=The chase is a fundamental algorithm with ubiquitous uses in database theory. Given a databas…“ aktuell
  • 06:5206:52, 1. Sep. 2025 Unterschied Versionen 0 N Datei:2025-DL-Presentation-Paper-5.pdf Keine Bearbeitungszusammenfassung aktuell
  • 06:4306:43, 1. Sep. 2025 Unterschied Versionen 0 N Datei:DL-2025-Camera-Ready-5.pdf Keine Bearbeitungszusammenfassung aktuell
  • 06:3806:38, 1. Sep. 2025 Unterschied Versionen +1.523 N Inproceedings3429 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Johannes |ErsterAutorNachname=Tantow |FurtherAuthors=Lukas Gerlach; Stephan Mennicke; Markus Krötzsch }} {{Inproceedings |Referiert=1 |Title=Verifying Datalog Reasoning with Lean (Extended Abstract) |To appear=1 |Year=2025 |Month=November |Booktitle=KR 2025 - Recently Published Research Track }} {{Publikation Details |Abstract=Datalog is an essential logical rule language with many applications and modern ru…“
  • 06:3706:37, 1. Sep. 2025 Unterschied Versionen 0 N Datei:KR-2025-Camera-Ready-389.pdf Keine Bearbeitungszusammenfassung aktuell

20. August 2025

  • 05:5705:57, 20. Aug. 2025 Unterschied Versionen +1.198 N A Crash Course in Determinacy Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=A Crash Course in Determinacy |Beschreibung EN=This talk offers a (short) crash course in Determinacy - a classical problem in database theory, and with multiple connections to KR. At its core, the determinacy problem asks: given a query Q and a set of queries {V_1, V_2, ..., V_n}, can the answer to Q(D) be recovered solely from the answers to V_1(D), V_2(D), ..., V_n(D) no matter the database D? We will explore the p…“ aktuell

28. Juli 2025

25. Juli 2025

21. Juli 2025

16. Juli 2025

14. Juli 2025

10. Juli 2025

9. Juli 2025

8. Juli 2025

1. Juli 2025

26. Juni 2025

24. Juni 2025

20. Juni 2025

  • 05:1905:19, 20. Jun. 2025 Unterschied Versionen +322 N LogAI-Seminar-2025-08-14 Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=LogAI-Seminar-2025-08-14 |Beschreibung EN=TBA (Jonas' PhD Status Talk) |Veranstaltungsart=Vortrag |Start=2025-08-14 11:00:00 |Ende=2025-08-14 12:00:00 |Raum=APB 3027 |Vortragender=Jonas Karge |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“
  • 05:1805:18, 20. Jun. 2025 Unterschied Versionen +300 N LogAI-Seminar-2025-07-03 Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=LogAI-Seminar-2025-07-03 |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2025-07-03 11:00:00 |Ende=2025-07-03 12:00:00 |Raum=APB 3027 |Vortragender=Piotr Gorczyca |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“
  • 05:1605:16, 20. Jun. 2025 Unterschied Versionen +1.704 LogAI-Seminar-2025-06-26 Keine Bearbeitungszusammenfassung aktuell

17. Juni 2025

(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)
Abgerufen von „https://iccl.inf.tu-dresden.de/web/Spezial:Beiträge/Lukas_Gerlach“