Benutzerbeiträge von „Lukas Gerlach“

16. April 2025

• 07:3207:32, 16. Apr. 2025 Unterschied Versionen 0 Bytes‎ Database Theory (SS2025) ‎Keine Bearbeitungszusammenfassung aktuell
• 07:3007:30, 16. Apr. 2025 Unterschied Versionen +3.738 Bytes‎ Database Theory (SS2025) ‎Keine Bearbeitungszusammenfassung
• 07:1907:19, 16. Apr. 2025 Unterschied Versionen +869 Bytes‎ Database Theory (SS2025) ‎Keine Bearbeitungszusammenfassung
• 07:1607:16, 16. Apr. 2025 Unterschied Versionen 0 Bytes‎ N Datei:DBT-2025-Exercise-02.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 07:1607:16, 16. Apr. 2025 Unterschied Versionen 0 Bytes‎ N Datei:DBT-2025-Exercise-01-Slides.pdf ‎Keine Bearbeitungszusammenfassung aktuell

14. April 2025

• 08:0008:00, 14. Apr. 2025 Unterschied Versionen 0 Bytes‎ Datei:2025-04-Gerlach-DL-Seminar.pdf ‎ Lukas Gerlach lud eine neue Version von Datei:2025-04-Gerlach-DL-Seminar.pdf hoch aktuell

11. April 2025

• 14:4614:46, 11. Apr. 2025 Unterschied Versionen +22 Bytes‎ N Misc3085/en ‎ Page created automatically by parser function on page Misc3085 aktuell Markierung: Neue Weiterleitung
• 14:4614:46, 11. Apr. 2025 Unterschied Versionen +1.301 Bytes‎ N Misc3085 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach }} {{Misc |Title=Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions |Year=2025 |Month=April |Howpublished=Talk at Description Logics Seminar }} {{Publikation Details |Abstract=In this talk, I'll be giving an overview of my recent and ongoing works revolving around chase termination. The chase is a fundamental algorithm for reasoning with ontologies…“ aktuell
• 14:4514:45, 11. Apr. 2025 Unterschied Versionen 0 Bytes‎ N Datei:2025-04-Gerlach-DL-Seminar.pdf ‎Keine Bearbeitungszusammenfassung

9. April 2025

• 07:4907:49, 9. Apr. 2025 Unterschied Versionen +9 Bytes‎ Database Theory (SS2025) ‎Keine Bearbeitungszusammenfassung
• 07:4807:48, 9. Apr. 2025 Unterschied Versionen 0 Bytes‎ N Datei:DBT-2025-Exercise-01.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 07:4007:40, 9. Apr. 2025 Unterschied Versionen +26 Bytes‎ Database Theory (SS2025) ‎Keine Bearbeitungszusammenfassung

8. April 2025

• 07:4707:47, 8. Apr. 2025 Unterschied Versionen 0 Bytes‎ Article3105 ‎Keine Bearbeitungszusammenfassung aktuell
• 07:4607:46, 8. Apr. 2025 Unterschied Versionen +25 Bytes‎ N Article3105/en ‎ Page created automatically by parser function on page Article3105 aktuell Markierung: Neue Weiterleitung
• 07:4607:46, 8. Apr. 2025 Unterschied Versionen +1.547 Bytes‎ N Article3105 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=David |ErsterAutorNachname=Carral |FurtherAuthors=Lukas Gerlach; Lucas Larroque; Michaël Thomazo }} {{Article |Referiert=1 |Title=Restricted Chase Termination: You Want More than Fairness |To appear=1 |Year=2025 |Month=Juni |Journal=Proc. ACM Manag. Data |Volume=3 |Number=2 (PODS) |Publisher=ACM }} {{Publikation Details |Abstract=The chase is a fundamental algorithm with ubiquitous uses in database theory. G…“
• 07:4407:44, 8. Apr. 2025 Unterschied Versionen 0 Bytes‎ N Datei:2025-PODS-Carral-Gerlach-Larroque-Thomazo-Technical-Report.pdf ‎Keine Bearbeitungszusammenfassung aktuell

1. April 2025

• 07:3107:31, 1. Apr. 2025 Unterschied Versionen +20 Bytes‎ N On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic/en ‎ Page created automatically by parser function on page On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic aktuell
• 07:3107:31, 1. Apr. 2025 Unterschied Versionen +1.020 Bytes‎ N On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic |Beschreibung EN=Propositional dynamic logic (PDL) is an important modal logic used to specify and reason about the behavior of programs. A challenging problem in the context of PDL is solving fixed-point equations, i.e., formulae of the form x ≡ ϕ(x) such that x is a propositional variable and ϕ(x) is a formula containing x. A solution to such an e…“ aktuell

27. März 2025

• 14:5914:59, 27. Mär. 2025 Unterschied Versionen +245 Bytes‎ Lukas Gerlach ‎Keine Bearbeitungszusammenfassung aktuell
• 14:5114:51, 27. Mär. 2025 Unterschied Versionen +1.051 Bytes‎ Database Theory (SS2025) ‎Keine Bearbeitungszusammenfassung
• 14:4114:41, 27. Mär. 2025 Unterschied Versionen 0 Bytes‎ Database Theory (SS2025) ‎Keine Bearbeitungszusammenfassung
• 14:4014:40, 27. Mär. 2025 Unterschied Versionen +16 Bytes‎ N Database Theory (SS2025)/en ‎ Page created automatically by parser function on page Database Theory (SS2025) aktuell
• 14:4014:40, 27. Mär. 2025 Unterschied Versionen +4.040 Bytes‎ N Database Theory (SS2025) ‎ Die Seite wurde neu angelegt: „{{Vorlesung |Title=Database Theory |Research group=Wissensbasierte Systeme |Lecturers=Markus Krötzsch |Tutors=Lukas Gerlach |Term=SS |Year=2025 |Lecture series=Database Theory |Matrix=#dbt2025:tu-dresden.de |Module=CMS-LM-ADV, CMS-LM-MOC, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL |SWSLecture=4 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=Databases are a key technology in computer science…“
• 14:2514:25, 27. Mär. 2025 Unterschied Versionen −5 Bytes‎ Misc3084 ‎Keine Bearbeitungszusammenfassung aktuell
• 14:2414:24, 27. Mär. 2025 Unterschied Versionen −3 Bytes‎ Misc3084 ‎Keine Bearbeitungszusammenfassung
• 14:2414:24, 27. Mär. 2025 Unterschied Versionen +22 Bytes‎ N Misc3084/en ‎ Page created automatically by parser function on page Misc3084 aktuell Markierung: Neue Weiterleitung
• 14:2414:24, 27. Mär. 2025 Unterschied Versionen +1.068 Bytes‎ N Misc3084 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach }} {{Misc |Title=For­mal­iz­ing Pos­si­bly In­fi­nite Trees of Bound­ed De­gree |Year=2025 |Month=März |Howpublished=Talk at Workshop: Leaning In! 2025 }} {{Publikation Details |Abstract=As Lean does not sup­port coin­duc­tive types di­rect­ly, for­mal­iz­ing in­fi­nite lists and in­fi­nite trees re­quires some "cre­ativ­i­ty". As a byprod­uct of o…“
• 14:2314:23, 27. Mär. 2025 Unterschied Versionen 0 Bytes‎ N Datei:Gerlach-Leaning-In-2025-Talk-Slides.pdf ‎Keine Bearbeitungszusammenfassung aktuell

28. Februar 2025

• 12:0212:02, 28. Feb. 2025 Unterschied Versionen +20 Bytes‎ N Formalizing Possibly Infinite Trees of Bounded Degree/en ‎ Page created automatically by parser function on page Formalizing Possibly Infinite Trees of Bounded Degree aktuell
• 12:0212:02, 28. Feb. 2025 Unterschied Versionen +1.011 Bytes‎ N Formalizing Possibly Infinite Trees of Bounded Degree ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Formalizing Possibly Infinite Trees of Bounded Degree |Beschreibung EN=As Lean does not sup­port coin­duc­tive types di­rect­ly, for­mal­iz­ing in­fi­nite lists and in­fi­nite trees re­quires some "cre­ativ­i­ty". As a byprod­uct of one of our on­go­ing works, we for­mal­ized pos­si­bly in­fi­nite trees of bound­ed de­gree in Lean. In this work­shop, we will re­pro­duce this idea and present the de­…“ aktuell
• 11:5511:55, 28. Feb. 2025 Unterschied Versionen +20 Bytes‎ N For­mal­iz­ing Pos­si­bly In­fi­nite Trees of Bounded De­gree/en ‎ Page created automatically by parser function on page For­mal­iz­ing Pos­si­bly In­fi­nite Trees of Bounded De­gree aktuell

27. Januar 2025

• 17:3017:30, 27. Jan. 2025 Unterschied Versionen +20 Bytes‎ N Description Logic with Abstraction and Refinement/en ‎ Page created automatically by parser function on page Description Logic with Abstraction and Refinement aktuell
• 17:3017:30, 27. Jan. 2025 Unterschied Versionen +910 Bytes‎ N Description Logic with Abstraction and Refinement ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Description Logic with Abstraction and Refinement |Beschreibung EN=Ontologies often require knowledge representation on multiple levels of abstraction, but description logics (DLs) are not well-equipped for supporting this. We propose an extension of DLs in which abstraction levels are first-class citizens and which provides explicit operators for the abstraction and refinement of concepts and roles across multiple abstraction le…“ aktuell

21. Januar 2025

• 11:1211:12, 21. Jan. 2025 Unterschied Versionen +71 Bytes‎ Inproceedings3395 ‎Keine Bearbeitungszusammenfassung aktuell
• 11:1111:11, 21. Jan. 2025 Unterschied Versionen +182 Bytes‎ Inproceedings3395 ‎Keine Bearbeitungszusammenfassung
• 11:1111:11, 21. Jan. 2025 Unterschied Versionen 0 Bytes‎ N Datei:NMR2024-Presentation-Gerlach.pdf ‎Keine Bearbeitungszusammenfassung aktuell

7. Januar 2025

• 16:4816:48, 7. Jan. 2025 Unterschied Versionen 0 Bytes‎ GPTKB: Comprehensively Materializing Factual LLM Knowledge ‎Keine Bearbeitungszusammenfassung aktuell

17. Dezember 2024

• 08:5208:52, 17. Dez. 2024 Unterschied Versionen +20 Bytes‎ N GPTKB: Comprehensively Materializing Factual LLM Knowledge/en ‎ Page created automatically by parser function on page GPTKB: Comprehensively Materializing Factual LLM Knowledge aktuell
• 08:5208:52, 17. Dez. 2024 Unterschied Versionen +1.593 Bytes‎ N GPTKB: Comprehensively Materializing Factual LLM Knowledge ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=GPTKB: Comprehensively Materializing Factual LLM Knowledge |Beschreibung EN=LLMs have majorly advanced NLP and AI, and next to their ability to perform a wide range of procedural tasks, a major success factor is their internalized factual knowledge. Since (Petroni et al., 2019), analyzing this knowledge has gained attention. However, most approaches investigate one question at a time via modest-sized pre-defined samples, introduc…“

9. Dezember 2024

• 17:1117:11, 9. Dez. 2024 Unterschied Versionen +20 Bytes‎ N Tree Automata with Global and Non-Global Counting/en ‎ Page created automatically by parser function on page Tree Automata with Global and Non-Global Counting aktuell
• 17:1117:11, 9. Dez. 2024 Unterschied Versionen +2.400 Bytes‎ N Tree Automata with Global and Non-Global Counting ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Tree Automata with Global and Non-Global Counting |Beschreibung EN=Similar to the case of finite string automata, there is a long tradition of adding counting mechanisms to finite tree automata in order to increase their expressiveness, resulting in two interesting models (among others): Parikh tree automata (PTA) increment a number of counters when computing a tree and eventually test their membership in a semilinear set. On the…“ aktuell

27. November 2024

• 08:5108:51, 27. Nov. 2024 Unterschied Versionen +46 Bytes‎ Inproceedings3397 ‎Keine Bearbeitungszusammenfassung aktuell

25. November 2024

• 14:2814:28, 25. Nov. 2024 Unterschied Versionen +20 Bytes‎ N The RustBelt and its Separation Logic/en ‎ Page created automatically by parser function on page The RustBelt and its Separation Logic aktuell
• 14:2814:28, 25. Nov. 2024 Unterschied Versionen +869 Bytes‎ N The RustBelt and its Separation Logic ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=The RustBelt and its Separation Logic |Beschreibung EN=Rust is a systems-programming language whose expressive type system centers around the concept of ownership enabling both stronger, statically verified safety guarantees as well as lower level control compared to more mainstream "safe" languages. The RustBelt project provided some formal verification for those claims using a seperation logic for modelling rusts typing rules.…“ aktuell

21. November 2024

• 09:5809:58, 21. Nov. 2024 Unterschied Versionen +42 Bytes‎ Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic ‎Keine Bearbeitungszusammenfassung aktuell
• 09:4909:49, 21. Nov. 2024 Unterschied Versionen +20 Bytes‎ N Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic/en ‎ Page created automatically by parser function on page Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic aktuell
• 09:4909:49, 21. Nov. 2024 Unterschied Versionen +1.999 Bytes‎ N Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic |Beschreibung EN=This is a talk about a paper with the following abstract: Although simple individually, artificial neurons provide state-of-the-art performance when interconnected in deep networks. Arguably, the Tsetlin Automaton is an even simpler and more versatile learning mechanism, capable of solving the mult…“

11. November 2024

• 08:4108:41, 11. Nov. 2024 Unterschied Versionen −5 Bytes‎ Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium ‎Keine Bearbeitungszusammenfassung aktuell
• 08:4008:40, 11. Nov. 2024 Unterschied Versionen 0 Bytes‎ Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium ‎Keine Bearbeitungszusammenfassung
• 08:3908:39, 11. Nov. 2024 Unterschied Versionen +20 Bytes‎ N Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium/en ‎ Page created automatically by parser function on page Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium aktuell