Benutzerbeiträge von „Lukas Gerlach“
Aus International Center for Computational Logic
Für Lukas Gerlach Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
16. Juli 2024
- 07:2507:25, 16. Jul. 2024 Unterschied Versionen −1 Byte Algebraic Aspects of Propositional Logic, and Future Work in Defeasibile Reasoning Keine Bearbeitungszusammenfassung aktuell
- 07:1607:16, 16. Jul. 2024 Unterschied Versionen +20 Bytes N Algebraic Aspects of Propositional Logic, and Future Work in Defeasibile Reasoning/en Page created automatically by parser function on page Algebraic Aspects of Propositional Logic, and Future Work in Defeasibile Reasoning aktuell
- 07:1607:16, 16. Jul. 2024 Unterschied Versionen +1.172 Bytes N Algebraic Aspects of Propositional Logic, and Future Work in Defeasibile Reasoning Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Algebraic Aspects of Propositional Logic, and Future Work in Defeasibile Reasoning |Beschreibung EN=This talk will consist of two parts. In the first part, I will discuss work from my masters thesis on algebraic aspects of propositional logic. In particular, I will provide a brief introduction into universal algebra, and describe how a propositional theory of logic corresponds to a variety of universal algebra in a generalized se…“
9. Juli 2024
- 08:1408:14, 9. Jul. 2024 Unterschied Versionen +20 Bytes N Finite Groundings for ASP with Functions: A Journey through Consistency/en Page created automatically by parser function on page Finite Groundings for ASP with Functions: A Journey through Consistency aktuell
- 08:1408:14, 9. Jul. 2024 Unterschied Versionen +1.320 Bytes N Finite Groundings for ASP with Functions: A Journey through Consistency Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Finite Groundings for ASP with Functions: A Journey through Consistency |Beschreibung EN=Answer set programming (ASP) is a logic programming formalism used in various areas of artificial intelligence like combinatorial problem solving and knowledge representation and reasoning. It is known that enhancing ASP with function symbols makes basic reasoning problems highly undecidable. However, even in simple cases, state of the art re…“ aktuell
- 07:5507:55, 9. Jul. 2024 Unterschied Versionen −73 Bytes Inproceedings3380 Keine Bearbeitungszusammenfassung aktuell Markierung: Manuelle Zurücksetzung
- 07:5507:55, 9. Jul. 2024 Unterschied Versionen +73 Bytes Inproceedings3380 Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt
- 07:5407:54, 9. Jul. 2024 Unterschied Versionen 0 Bytes Datei:IJCAI-2024-Finite-Groundings-for-ASP-with-Functions-Technical-Report.pdf Lukas Gerlach lud eine neue Version von Datei:IJCAI-2024-Finite-Groundings-for-ASP-with-Functions-Technical-Report.pdf hoch aktuell
25. Juni 2024
- 07:3807:38, 25. Jun. 2024 Unterschied Versionen +1 Byte Research Lightning Talks Keine Bearbeitungszusammenfassung aktuell
- 07:3807:38, 25. Jun. 2024 Unterschied Versionen 0 Bytes Research Lightning Talks Keine Bearbeitungszusammenfassung
- 07:3607:36, 25. Jun. 2024 Unterschied Versionen +20 Bytes N Research Lightning Talks/en Page created automatically by parser function on page Research Lightning Talks aktuell
- 07:3607:36, 25. Jun. 2024 Unterschied Versionen +2.099 Bytes N Research Lightning Talks Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Research Lightning Talks |Beschreibung EN=In this seminar session, three of our guest students will present their recent and ongoing research in three short talks. 1. Aidan Bailey will show two applications of ASP. On one hand, the generation of propositional formulas, and by extension knowledge bases, adhering to specified properties. On the other hand, graph drawing via placements of nodes and edges adhering to constraints a…“
24. Juni 2024
- 08:1508:15, 24. Jun. 2024 Unterschied Versionen +20 Bytes N Characterizing common argumentation semantics using branch evaluations for justification systems/en Page created automatically by parser function on page Characterizing common argumentation semantics using branch evaluations for justification systems aktuell
- 08:1508:15, 24. Jun. 2024 Unterschied Versionen +1.570 Bytes N Characterizing common argumentation semantics using branch evaluations for justification systems Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Characterizing common argumentation semantics using branch evaluations for justification systems |Beschreibung EN=First introduced in 2015 by Denecker, Brewka and Strass, justification theory is formalism providing a new way of characterizing semantics for both logic programs and Dung style argumentation frameworks. Justification theory uses branch evaluation functions operating on a body of rules and an interpretation to define…“ aktuell
3. Juni 2024
- 13:5213:52, 3. Jun. 2024 Unterschied Versionen +20 Bytes N Musings on Graph Data, Schemas, Modality, and Coinduction/en Page created automatically by parser function on page Musings on Graph Data, Schemas, Modality, and Coinduction aktuell
- 13:5213:52, 3. Jun. 2024 Unterschied Versionen +868 Bytes N Musings on Graph Data, Schemas, Modality, and Coinduction Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Musings on Graph Data, Schemas, Modality, and Coinduction |Beschreibung EN=In this talk, I'll report on a schema model for graph databases I thought about in late April 2019. The model itself has some nice theoretical and, admittedly, some weird practical consequences. The talk will provide some light in both directions. Up until the submission of my PhD thesis in October 2019, I developed the schema model further and in that ver…“ aktuell
8. Mai 2024
- 16:3816:38, 8. Mai 2024 Unterschied Versionen +42 Bytes Generating molecule graphs from mass spectrometry results using Answer-Set-Programming Keine Bearbeitungszusammenfassung aktuell
- 16:3816:38, 8. Mai 2024 Unterschied Versionen +19 Bytes Generating molecule graphs from mass spectrometry results using Answer-Set-Programming Keine Bearbeitungszusammenfassung
- 16:3716:37, 8. Mai 2024 Unterschied Versionen +20 Bytes N Minesweeper goes Kaboom (in ASP) - and what makes it difficult/en Page created automatically by parser function on page Minesweeper goes Kaboom (in ASP) - and what makes it difficult aktuell
- 16:3716:37, 8. Mai 2024 Unterschied Versionen +687 Bytes N Minesweeper goes Kaboom (in ASP) - and what makes it difficult Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Minesweeper goes Kaboom (in ASP) - and what makes it difficult |Beschreibung EN=Kaboom is a fair Minesweeper game. The original Kaboom is implemented with a SAT solver, and we present an implementation in ASP (Answer Set Programming). We will derive a recommender heuristic and demonstrate the game. At the end we will discuss what makes Minesweeper and Kaboom difficult and how they differ in that regard. |Veranstaltungsart=Verteid…“ aktuell
- 14:2214:22, 8. Mai 2024 Unterschied Versionen +31 Bytes N Inproceedings3380/en Page created automatically by parser function on page Inproceedings3380 aktuell Markierung: Neue Weiterleitung
- 14:2214:22, 8. Mai 2024 Unterschied Versionen +1.659 Bytes N Inproceedings3380 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach |FurtherAuthors=David Carral; Markus Hecher }} {{Inproceedings |Referiert=1 |Title=Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report) |To appear=1 |Year=2024 |Booktitle=IJCAI 2024 }} {{Publikation Details |Abstract=Answer set programming (ASP) is a logic programming formalism used in various areas of artificial intelligence like combin…“
- 14:2014:20, 8. Mai 2024 Unterschied Versionen 0 Bytes N Datei:IJCAI-2024-Finite-Groundings-for-ASP-with-Functions-Technical-Report.pdf Keine Bearbeitungszusammenfassung
1. Mai 2024
- 10:5710:57, 1. Mai 2024 Unterschied Versionen +20 Bytes N Data Complexity in Expressive Description Logics With Path Expressions/en Page created automatically by parser function on page Data Complexity in Expressive Description Logics With Path Expressions aktuell
- 10:5710:57, 1. Mai 2024 Unterschied Versionen +828 Bytes N Data Complexity in Expressive Description Logics With Path Expressions Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Data Complexity in Expressive Description Logics With Path Expressions |Beschreibung EN=In my recent IJCAI paper I established NP-completeness of the satisfiability problem (w.r.t. the data complexity) of the maximal known decidable fragments ZIQ, ZOQ, and ZOI of the very description logic ZOIQ (a.k.a. ALCHb^self_regOIQ). The proof uniformly deals with these three logics, by considering the DL ZOIQ but over forest-like structure…“
29. April 2024
- 10:1310:13, 29. Apr. 2024 Unterschied Versionen 0 Bytes Chase Termination Beyond Polynomial Time Keine Bearbeitungszusammenfassung aktuell
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…“
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
