Benutzerbeiträge von „Lukas Gerlach“

19. April 2024

• 17:1717:17, 19. Apr. 2024 Unterschied Versionen +7 Bytes‎ Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models ‎Keine Bearbeitungszusammenfassung aktuell

18. April 2024

• 08:3008:30, 18. Apr. 2024 Unterschied Versionen 0 Bytes‎ Datei:RestrictedChaseUniversalModelsInLean.pdf ‎ Lukas Gerlach lud eine neue Version von Datei:RestrictedChaseUniversalModelsInLean.pdf hoch aktuell

15. April 2024

• 17:3017:30, 15. Apr. 2024 Unterschied Versionen +1 Byte‎ Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models ‎Keine Bearbeitungszusammenfassung
• 17:2817:28, 15. Apr. 2024 Unterschied Versionen +20 Bytes‎ N Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models/en ‎ Page created automatically by parser function on page Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models aktuell
• 17:2817:28, 15. Apr. 2024 Unterschied Versionen +1.076 Bytes‎ N Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models |Beschreibung EN=The restricted chase is a fundamental reasoning algorithm in database theory that can be used for (conjunctive) query answering. For a given pair of a set of existential rules and a database, the restricted chase yields a so-called universal model. Such a model can be embedded into every (other) model and therefore be used fo…“
• 17:2717:27, 15. Apr. 2024 Unterschied Versionen 0 Bytes‎ N Datei:RestrictedChaseUniversalModelsInLean.pdf ‎Keine Bearbeitungszusammenfassung

9. April 2024

• 08:4608:46, 9. Apr. 2024 Unterschied Versionen +20 Bytes‎ N Chase Termination Beyond Polynomial Time/en ‎ Page created automatically by parser function on page Chase Termination Beyond Polynomial Time aktuell
• 08:4608:46, 9. Apr. 2024 Unterschied Versionen +1.438 Bytes‎ N Chase Termination Beyond Polynomial Time ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Chase Termination Beyond Polynomial Time |Beschreibung EN=The chase is a widely implemented approach to reason with tuple-generating dependencies (tgds, aka. existential rules), used in data exchange, data integration, and ontology-based query answering. However, it is merely a semi-decision procedure, which may fail to terminate. Many decidable conditions have been proposed for tgds to ensure chase termination, typically by forb…“ aktuell

8. April 2024

• 11:0511:05, 8. Apr. 2024 Unterschied Versionen +20 Bytes‎ N An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation/en ‎ Page created automatically by parser function on page An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation aktuell
• 08:0608:06, 8. Apr. 2024 Unterschied Versionen +1.298 Bytes‎ N An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation |Beschreibung EN=Conditional independence is a crucial concept supporting adequate modelling and efficient reasoning in probabilistics. In knowledge representation, the idea of conditional independence has also been introduced for specific formalisms, such as propositional logic and belief revision. In this talk, I show how the notion…“ aktuell

4. April 2024

• 16:4816:48, 4. Apr. 2024 Unterschied Versionen −2.080 Bytes‎ Proof Theory and Sequent Systems (SS2024)/en ‎ Der Seiteninhalt wurde durch einen anderen Text ersetzt: „{{Vorlesung/en}}“ aktuell Markierung: Ersetzt

3. April 2024

• 16:3816:38, 3. Apr. 2024 Unterschied Versionen −13 Bytes‎ Lukas Gerlach ‎Keine Bearbeitungszusammenfassung aktuell Markierung: Manuelle Zurücksetzung
• 16:3816:38, 3. Apr. 2024 Unterschied Versionen +13 Bytes‎ Lukas Gerlach ‎Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt

2. April 2024

• 08:3408:34, 2. Apr. 2024 Unterschied Versionen −6 Bytes‎ Research Seminar Logic and AI ‎Keine Bearbeitungszusammenfassung aktuell

19. Februar 2024

• 14:3014:30, 19. Feb. 2024 Unterschied Versionen +109 Bytes‎ Vorlage:Publikation Details ‎Keine Bearbeitungszusammenfassung aktuell

30. Januar 2024

• 12:2012:20, 30. Jan. 2024 Unterschied Versionen +50 Bytes‎ Complexity Theory (WS2023) ‎Keine Bearbeitungszusammenfassung
• 09:2909:29, 30. Jan. 2024 Unterschied Versionen +68 Bytes‎ Complexity Theory (WS2023) ‎Keine Bearbeitungszusammenfassung
• 09:2909:29, 30. Jan. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-27-print.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 09:2909:29, 30. Jan. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-27-overlay.pdf ‎Keine Bearbeitungszusammenfassung aktuell

22. Januar 2024

• 09:3209:32, 22. Jan. 2024 Unterschied Versionen +66 Bytes‎ Complexity Theory (WS2023) ‎Keine Bearbeitungszusammenfassung
• 09:3209:32, 22. Jan. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-26-print.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 09:3209:32, 22. Jan. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-26-overlay.pdf ‎Keine Bearbeitungszusammenfassung aktuell

12. Januar 2024

• 09:1709:17, 12. Jan. 2024 Unterschied Versionen +166 Bytes‎ Complexity Theory (WS2023) ‎Keine Bearbeitungszusammenfassung
• 09:0909:09, 12. Jan. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT23-sheet10.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 09:0909:09, 12. Jan. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-25-print.pdf ‎Keine Bearbeitungszusammenfassung
• 09:0909:09, 12. Jan. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-25-overlay.pdf ‎Keine Bearbeitungszusammenfassung
• 09:0909:09, 12. Jan. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-24-print.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 09:0809:08, 12. Jan. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-24-overlay.pdf ‎Keine Bearbeitungszusammenfassung aktuell

4. Januar 2024

• 18:1218:12, 4. Jan. 2024 Unterschied Versionen +27 Bytes‎ Complexity Theory (WS2023) ‎Keine Bearbeitungszusammenfassung
• 18:1218:12, 4. Jan. 2024 Unterschied Versionen 0 Bytes‎ N Datei:CT23-sheet09.pdf ‎Keine Bearbeitungszusammenfassung aktuell

13. Dezember 2023

• 16:2516:25, 13. Dez. 2023 Unterschied Versionen +27 Bytes‎ Complexity Theory (WS2023) ‎Keine Bearbeitungszusammenfassung
• 16:2516:25, 13. Dez. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT23-sheet08.pdf ‎Keine Bearbeitungszusammenfassung aktuell

30. November 2023

• 16:1916:19, 30. Nov. 2023 Unterschied Versionen +142 Bytes‎ Complexity Theory (WS2023) ‎Keine Bearbeitungszusammenfassung
• 16:1916:19, 30. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT23-sheet06.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 16:1716:17, 30. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-16-print.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 16:1716:17, 30. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-16-overlay.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 16:1616:16, 30. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-15-print.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 16:1516:15, 30. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-15-overlay.pdf ‎Keine Bearbeitungszusammenfassung aktuell

20. November 2023

• 09:1509:15, 20. Nov. 2023 Unterschied Versionen +138 Bytes‎ Complexity Theory (WS2023) ‎Keine Bearbeitungszusammenfassung
• 09:1509:15, 20. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-12-print.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 09:1509:15, 20. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-12-overlay.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 09:1509:15, 20. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-11-print.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 09:1509:15, 20. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-11-overlay.pdf ‎Keine Bearbeitungszusammenfassung aktuell

15. November 2023

• 15:0215:02, 15. Nov. 2023 Unterschied Versionen −39 Bytes‎ Theorem Proving with LEAN (WS2023) ‎Keine Bearbeitungszusammenfassung aktuell

13. November 2023

• 09:4909:49, 13. Nov. 2023 Unterschied Versionen +137 Bytes‎ Complexity Theory (WS2023) ‎Keine Bearbeitungszusammenfassung
• 09:4909:49, 13. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-10-print.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 09:4909:49, 13. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-10-overlay.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 09:4909:49, 13. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-09-print.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 09:4809:48, 13. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:CT2023-Lecture-09-overlay.pdf ‎Keine Bearbeitungszusammenfassung aktuell

30. Oktober 2023

• 09:4209:42, 30. Okt. 2023 Unterschied Versionen +68 Bytes‎ Complexity Theory (WS2023) ‎Keine Bearbeitungszusammenfassung