Benutzerbeiträge von „Lukas Gerlach“

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 }} {…“ aktuell
• 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
• 06:1606: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
• 06:1606: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

• 07:1407: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
• 07:1407: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
• 06:5506:55, 9. Jul. 2024 Unterschied Versionen −73 Bytes‎ Inproceedings3380 ‎Keine Bearbeitungszusammenfassung Markierung: Manuelle Zurücksetzung
• 06:5506:55, 9. Jul. 2024 Unterschied Versionen +73 Bytes‎ Inproceedings3380 ‎Keine Bearbeitungszusammenfassung Markierung: Zurückgesetzt
• 06:5406: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