Benutzerbeiträge von „Lukas Gerlach“

17. Dezember 2024

• 07:5207: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
• 07:5207: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…“ aktuell

9. Dezember 2024

• 16:1116: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
• 16:1116: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

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

25. November 2024

• 13:2813: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
• 13:2813: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

• 08:5808: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
• 08:4908: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
• 08:4908: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

• 07:4107:41, 11. Nov. 2024 Unterschied Versionen −5 Bytes‎ Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium ‎Keine Bearbeitungszusammenfassung aktuell
• 07:4007:40, 11. Nov. 2024 Unterschied Versionen 0 Bytes‎ Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium ‎Keine Bearbeitungszusammenfassung
• 07:3907: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
• 07:3907:39, 11. Nov. 2024 Unterschied Versionen +2.207 Bytes‎ N Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium |Beschreibung EN=The framework of Embodied and Embedded cognition suggests that animals engage in a contin- uous sensory-motor feedback loop with their environment, mediated by their nervous systems. A significant challenge in the study of nervous systems lies in the lack of a comprehensive model for the sensorium—the mechanism…“
• 07:3707:37, 11. Nov. 2024 Unterschied Versionen +20 Bytes‎ N Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting/en ‎ Page created automatically by parser function on page Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting aktuell
• 07:3707:37, 11. Nov. 2024 Unterschied Versionen +2.017 Bytes‎ N Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting |Beschreibung EN=Answer Set Programming (ASP) is a key paradigm for problems in artificial intelligence and industrial contexts. In ASP, problems are modeled via a set of rules. Over the time this paradigm grew into a rich language, enabling complex rule types like aggregate expressions. Most practical ASP systems follow a ground-and-solve pattern, where ru…“ aktuell

22. Oktober 2024

• 06:1006:10, 22. Okt. 2024 Unterschied Versionen +57 Bytes‎ Inproceedings3380 ‎Keine Bearbeitungszusammenfassung aktuell
• 06:0906:09, 22. Okt. 2024 Unterschied Versionen 0 Bytes‎ N Datei:IJCAI2024-Presentation-Gerlach-Carral-Hecher.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 06:0206:02, 22. Okt. 2024 Unterschied Versionen −4 Bytes‎ Navigating ASP Solution Spaces2 ‎Keine Bearbeitungszusammenfassung aktuell

21. Oktober 2024

• 09:1709:17, 21. Okt. 2024 Unterschied Versionen −362 Bytes‎ Vorlage:Personal Control Centre ‎Keine Bearbeitungszusammenfassung aktuell Markierung: Manuelle Zurücksetzung
• 09:1209:12, 21. Okt. 2024 Unterschied Versionen +14 Bytes‎ Vorlage:Personal Control Centre ‎Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt
• 09:0209:02, 21. Okt. 2024 Unterschied Versionen +60 Bytes‎ Vorlage:Personal Control Centre ‎Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt
• 08:5608:56, 21. Okt. 2024 Unterschied Versionen +2 Bytes‎ Vorlage:Personal Control Centre ‎Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt
• 08:5308:53, 21. Okt. 2024 Unterschied Versionen +286 Bytes‎ Vorlage:Personal Control Centre ‎Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt

27. September 2024

• 07:0607:06, 27. Sep. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3397/en ‎ Page created automatically by parser function on page Inproceedings3397 aktuell Markierung: Neue Weiterleitung
• 07:0607:06, 27. Sep. 2024 Unterschied Versionen +1.479 Bytes‎ N Inproceedings3397 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach |FurtherAuthors=Alex Ivliev; Julián Méndez; Simon Meusel; Raimund Dachselt; Markus Krötzsch }} {{Inproceedings |Referiert=1 |Title=EvonNemo - A Symbiosis of Datalog Tracing and Proof Tree Visualization |To appear=1 |Year=2024 |Month=November |Booktitle=The Fifth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024) }} {{Publikation Tool |Tool=Nemo }} {…“
• 07:0507:05, 27. Sep. 2024 Unterschied Versionen 0 Bytes‎ N Datei:2024-XLoKR-Submission-5-camera-ready.pdf ‎Keine Bearbeitungszusammenfassung aktuell

24. September 2024

• 07:3307:33, 24. Sep. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3395/en ‎ Page created automatically by parser function on page Inproceedings3395 aktuell Markierung: Neue Weiterleitung
• 07:3307:33, 24. Sep. 2024 Unterschied Versionen +1.585 Bytes‎ N Inproceedings3395 ‎ 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 (Extended Abstract) |To appear=1 |Year=2024 |Month=November |Booktitle=Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning |Editor=Nina Gierasimczuk, Jesse Heyninck |Note=Extended Abstract of https://…“ aktuell
• 07:3207:32, 24. Sep. 2024 Unterschied Versionen 0 Bytes‎ N Datei:NMR-2024-Submission-8-camera-ready.pdf ‎Keine Bearbeitungszusammenfassung aktuell

16. September 2024

• 15:5815:58, 16. Sep. 2024 Unterschied Versionen +32 Bytes‎ Formular:Projekt ‎Keine Bearbeitungszusammenfassung aktuell
• 15:5515:55, 16. Sep. 2024 Unterschied Versionen −69 Bytes‎ Vorlage:DisplayProjekt ‎Keine Bearbeitungszusammenfassung aktuell
• 06:2206:22, 16. Sep. 2024 Unterschied Versionen +20 Bytes‎ N Winning Snake: Design Choices in Multi-Shot ASP/en ‎ Page created automatically by parser function on page Winning Snake: Design Choices in Multi-Shot ASP aktuell
• 06:2206:22, 16. Sep. 2024 Unterschied Versionen +1.229 Bytes‎ N Winning Snake: Design Choices in Multi-Shot ASP ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Winning Snake: Design Choices in Multi-Shot ASP |Beschreibung EN=Answer set programming is a well-understood and established problem-solving and knowledge representation paradigm. It has become more prominent amongst a wider audience due to its multiple applications in science and industry. The constant development of advanced programming and modeling techniques extends the toolset for developers and users regularly. This paper d…“ aktuell

4. September 2024

• 10:4910:49, 4. Sep. 2024 Unterschied Versionen +13 Bytes‎ Benutzer:Simon Razniewski ‎Keine Bearbeitungszusammenfassung aktuell
• 10:4710:47, 4. Sep. 2024 Unterschied Versionen +77 Bytes‎ N Simon Razniewski/Abschlussarbeiten/en ‎ Page created automatically by parser function on page Simon Razniewski aktuell
• 10:4710:47, 4. Sep. 2024 Unterschied Versionen +59 Bytes‎ N Simon Razniewski/Abschlussarbeiten ‎ Page created automatically by parser function on page Simon Razniewski aktuell
• 10:4710:47, 4. Sep. 2024 Unterschied Versionen +88 Bytes‎ N Simon Razniewski/Publikationen/en ‎ Page created automatically by parser function on page Simon Razniewski aktuell
• 10:4710:47, 4. Sep. 2024 Unterschied Versionen +70 Bytes‎ N Simon Razniewski/Publikationen ‎ Page created automatically by parser function on page Simon Razniewski aktuell
• 10:4710:47, 4. Sep. 2024 Unterschied Versionen +18 Bytes‎ N Simon Razniewski/en ‎ Page created automatically by parser function on page Simon Razniewski aktuell
• 10:4710:47, 4. Sep. 2024 Unterschied Versionen +210 Bytes‎ N Simon Razniewski ‎ Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Simon |Nachname=Razniewski |Akademischer Titel=Prof. Dr. |Stellung=Professor |Ehemaliger=0 |Email=simon.razniewski@tu-dresden.de |Publikationen anzeigen=1 |Abschlussarbeiten anzeigen=1 }}“
• 10:4510:45, 4. Sep. 2024 Unterschied Versionen +27 Bytes‎ N Benutzer:Simon Razniewski ‎ Die Seite wurde neu angelegt: „{{Personal Control Centre}}“

29. Juli 2024

• 06:2906:29, 29. Jul. 2024 Unterschied Versionen +257 Bytes‎ Inproceedings3380 ‎Keine Bearbeitungszusammenfassung

22. Juli 2024

• 06:3706:37, 22. Jul. 2024 Unterschied Versionen −4 Bytes‎ Multi-Cultural Commonsense Knowledge Base Construction ‎Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 06:3606:36, 22. Jul. 2024 Unterschied Versionen +8 Bytes‎ Multi-Cultural Commonsense Knowledge Base Construction ‎Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt
• 06:3606:36, 22. Jul. 2024 Unterschied Versionen −4 Bytes‎ Multi-Cultural Commonsense Knowledge Base Construction ‎Keine Bearbeitungszusammenfassung Markierungen: Manuelle Zurücksetzung Zurückgesetzt
• 06:3606:36, 22. Jul. 2024 Unterschied Versionen +4 Bytes‎ Multi-Cultural Commonsense Knowledge Base Construction ‎Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt
• 06:3506:35, 22. Jul. 2024 Unterschied Versionen +20 Bytes‎ N Multi-Cultural Commonsense Knowledge Base Construction/en ‎ Page created automatically by parser function on page Multi-Cultural Commonsense Knowledge Base Construction aktuell
• 06:3506:35, 22. Jul. 2024 Unterschied Versionen +1.815 Bytes‎ N Multi-Cultural Commonsense Knowledge Base Construction ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Multi-Cultural Commonsense Knowledge Base Construction |Beschreibung EN=Commonsense knowledge (CSK) about concepts and their properties is useful for AI applications such as robust dialogue. Prior works like ConceptNet, TupleKB and others compiled noteworthy commonsense knowledge bases (CSKBs), but are restricted in their expressiveness to subject-predicate-object (SPO) triples with simple concepts for S and monolithic strings fo…“

16. Juli 2024

• 06:2506:25, 16. Jul. 2024 Unterschied Versionen −1 Byte‎ Algebraic Aspects of Propositional Logic, and Future Work in Defeasibile Reasoning ‎Keine Bearbeitungszusammenfassung aktuell