Neue Seiten

08:49, 21. Nov. 2024 ‎Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic (Versionen | bearbeiten) ‎[2.041 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (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…“)
08:49, 21. Nov. 2024 ‎Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic)
15:51, 13. Nov. 2024 ‎Inproceedings3403 (Versionen | bearbeiten) ‎[2.411 Bytes] ‎Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon }} {{Inproceedings |Referiert=1 |Title=Unifying Sequent Systems for G{\"o}del-L{\"o}b Provability Logic via Syntactic Transformations |To appear=1 |Year=2025 |Booktitle=Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025 |Publisher=Schloss Dagstuhl - Leibniz-Zentrum für Informatik |Editor=Jörg Endrullis, Sylvain Schmitz |Series=LIPIcs |Volume=326 }} {…“)
15:47, 13. Nov. 2024 ‎Inproceedings3402 (Versionen | bearbeiten) ‎[2.254 Bytes] ‎Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Ian Shillito; Alwen Tiu }} {{Inproceedings |Referiert=1 |Title=Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents |To appear=1 |Year=2025 |Booktitle=Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025 |Publisher=Schloss Dagstuhl - Leibniz-Zentrum für Informatik |Editor=Jörg Endrullis, Sylv…“)
10:43, 13. Nov. 2024 ‎Techreport3053 (Versionen | bearbeiten) ‎[333 Bytes] ‎Dörthe Arndt (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Dörthe |ErsterAutorNachname=Arndt |FurtherAuthors=Stephan Mennike }} {{Techreport |Title=Existential Notation3 Logic |Year=2024 |Month=April |Institution=TPLP |Type=Submission }} {{Publikation Details |Bild=ExistentialN3.pdf |Forschungsgruppe=Computational Logic }}“)
07:39, 11. Nov. 2024 ‎Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium)
07:39, 11. Nov. 2024 ‎Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium (Versionen | bearbeiten) ‎[2.202 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (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:37, 11. Nov. 2024 ‎Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting (Versionen | bearbeiten) ‎[2.017 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (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…“)
07:37, 11. Nov. 2024 ‎Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting)
04:13, 10. Nov. 2024 ‎Aktivitaet2134 (Versionen | bearbeiten) ‎[346 Bytes] ‎Sarah Gaggl (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Senior Area Chair der 34. International Joint Conference on Artificial Intelligence (IJCAI 2025) |Beschreibung EN=Senior Area Chair of the 34th International Joint Conference on Artificial Intelligence (IJCAI 2025) |Person=Sarah Gaggl |URL=https://2025.ijcai.org |Start(Jahr)=2024 |Ende(Jahr)=2025 |Rank=★★★ }}“)
03:53, 10. Nov. 2024 ‎Misc3083 (Versionen | bearbeiten) ‎[1.901 Bytes] ‎Sarah Gaggl (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sarah Alice |ErsterAutorNachname=Gaggl }} {{Misc |Title=Navigating ASP Solution Spaces |Year=2024 |Month=November |Howpublished=Invited Talk }} {{Publikation Details |Abstract=A wide range of combinatorial search problems can be modelled and solved with Answer Set Programming (ASP). While modern ASP solvers allow to quickly enumerate solutions, the user faces the problem of dealing with a possibly exponential…“)
09:16, 22. Okt. 2024 ‎Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT (Versionen | bearbeiten) ‎[813 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT |Beschreibung EN=In the first part of this talk, I will provide an overview of the field of knowledge-aware artificial intelligence, with a focus on two pillars of AI knowledge, knowledge graphs (KGs) and large language models (LLMs). The second part will highlight key areas of my research, including knowledge estimation, knowledge extraction,…“)
09:16, 22. Okt. 2024 ‎Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT)
15:59, 21. Okt. 2024 ‎Tom Friese (Versionen | bearbeiten) ‎[193 Bytes] ‎Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Tom |Nachname=Friese |Forschungsgruppe=Wissensbasierte Systeme |Stellung=Doktorand |Ehemaliger=0 |Publikationen anzeigen=0 |Abschlussarbeiten anzeigen=0 }}“)
15:59, 21. Okt. 2024 ‎Tom Friese/en (Versionen | bearbeiten) ‎[18 Bytes] ‎Maximilian Marx (Diskussion | Beiträge) (Page created automatically by parser function on page Tom Friese)
18:35, 20. Okt. 2024 ‎Cyclic Proof Theory (Versionen | bearbeiten) ‎[1.033 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (Tim's invited speaker/talk)
18:35, 20. Okt. 2024 ‎Cyclic Proof Theory/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (Page created automatically by parser function on page Cyclic Proof Theory)
14:04, 18. Okt. 2024 ‎Thomas Bruderrek (Versionen | bearbeiten) ‎[226 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Thomas |Nachname=Bruderrek |Forschungsgruppe=Knowledge-aware Artificial Intelligence |Stellung=Sekretär |Ehemaliger=0 |Email=kaai@tu-dresden.de |Publikationen anzeigen=0 |Abschlussarbeiten anzeigen=0 }}“)
14:04, 18. Okt. 2024 ‎Thomas Bruderrek/en (Versionen | bearbeiten) ‎[18 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Thomas Bruderrek)
14:03, 18. Okt. 2024 ‎Jin Zhang (Versionen | bearbeiten) ‎[221 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Jin |Nachname=Zhang |Forschungsgruppe=Knowledge-aware Artificial Intelligence |Stellung=Sekretärin |Ehemaliger=0 |Publikationen anzeigen=0 |Abschlussarbeiten anzeigen=0 }}“)
14:03, 18. Okt. 2024 ‎Jin Zhang/en (Versionen | bearbeiten) ‎[18 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Jin Zhang)
13:56, 18. Okt. 2024 ‎S12-14, 646B (Versionen | bearbeiten) ‎[86 Bytes] ‎Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/s14/06/raum/333106.0460 }}“)
13:56, 18. Okt. 2024 ‎S12-14, 646B/en (Versionen | bearbeiten) ‎[11 Bytes] ‎Maximilian Marx (Diskussion | Beiträge) (Page created automatically by parser function on page S12-14, 646B)
05:51, 18. Okt. 2024 ‎Inproceedings3401 (Versionen | bearbeiten) ‎[506 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Timo Pierre |ErsterAutorNachname=Schrader |FurtherAuthors=Lukas Lange; Simon Razniewski; Annemarie Friedrich }} {{Inproceedings |Referiert=1 |Title=QUITE: Quantifying Uncertainty in Natural Language Text in Bayesian Reasoning Scenarios |To appear=0 |Year=2024 |Month=November |Booktitle=EMNLP }} {{Publikation Details |Download=Quite.pdf |Link=https://www.arxiv.org/abs/2410.10449 |Projekt=ScaDS.AI |Forschungsgr…“)
05:32, 18. Okt. 2024 ‎Behind the secrets of large language models (WS2024) (Versionen | bearbeiten) ‎[782 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Behind the secrets of large language models |Research group=Knowledge-aware Artificial Intelligence |Lecturers=Michael Färber; Simon Razniewski |Term=WS |Year=2024 |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung, Hausarbeit |Description=This course provides a practical and in-depth understanding of large language models that power modern natural language processing systems. Students will explore the architec…“)
05:32, 18. Okt. 2024 ‎Behind the secrets of large language models (WS2024)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Behind the secrets of large language models (WS2024))
05:27, 18. Okt. 2024 ‎Knowledge-aware Artificial Intelligence (Versionen | bearbeiten) ‎[917 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Forschungsgruppe |Name EN=Knowledge-aware Artificial Intelligence |Kurzname=KAAI |Beschreibung DE=Die KAAI-Gruppe entwickelt neuartige Methoden zur Generierung, Extraktion und Konsolidierung von Wissen aus, für und mit Texten, Sprachmodellen (LLMs) und Wissensbanken (KBs). |Beschreibung EN=The KAAI group develops develops novel methods for generating, extracting and consolidating knowledge from, for and with text, language models (LLMs) and knowledge b…“)
05:27, 18. Okt. 2024 ‎Knowledge-aware Artificial Intelligence/Abgeschlossene Studienarbeiten/en (Versionen | bearbeiten) ‎[97 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Knowledge-aware Artificial Intelligence)
05:27, 18. Okt. 2024 ‎Knowledge-aware Artificial Intelligence/Abgeschlossene Studienarbeiten (Versionen | bearbeiten) ‎[77 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Knowledge-aware Artificial Intelligence)
05:27, 18. Okt. 2024 ‎Knowledge-aware Artificial Intelligence/Publikationen/en (Versionen | bearbeiten) ‎[98 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Knowledge-aware Artificial Intelligence)
05:27, 18. Okt. 2024 ‎Knowledge-aware Artificial Intelligence/Publikationen (Versionen | bearbeiten) ‎[80 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Knowledge-aware Artificial Intelligence)
05:27, 18. Okt. 2024 ‎Knowledge-aware Artificial Intelligence/en (Versionen | bearbeiten) ‎[39 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Knowledge-aware Artificial Intelligence)
10:15, 11. Okt. 2024 ‎SEMECO-Q2/en (Versionen | bearbeiten) ‎[14 Bytes] ‎Hannes Straß (Diskussion | Beiträge) (Page created automatically by parser function on page SEMECO-Q2)
10:15, 11. Okt. 2024 ‎SEMECO-Q2 (Versionen | bearbeiten) ‎[1.921 Bytes] ‎Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Projekt |Kurzname=SEMECO-Q2 |Name=Sichere Medizinische Mikrosysteme und Kommunikation: KI-assistierte Regulatorik für Medizin und Cybersecurity |Name EN=Secure Medical Microsystems and Communications: AI-assisted Regulatory Affairs for Medicine and Cybersecurity |Beschreibung DE=SEMECO-Q2 entwickelt eine auf Wissensrepräsentation und symbolischer KI basierte Lösung, die den regulatorischen Prozess, die Agilität des eigentlichen Systementwurfs und d…“)
09:43, 11. Okt. 2024 ‎Inproceedings3400 (Versionen | bearbeiten) ‎[1.218 Bytes] ‎Piotr Gorczyca (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Piotr |ErsterAutorNachname=Gorczyca |FurtherAuthors=Hannes Straß }} {{Inproceedings |Referiert=1 |Title=Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results |To appear=1 |Year=2024 |Month=November |Booktitle=Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning |Editor=Nina Gierasimczuk, Jesse Heyninck }} {{Publikation Details |Abstract=Standpoint logics allow to represe…“)
17:35, 10. Okt. 2024 ‎Aktivitaet2133 (Versionen | bearbeiten) ‎[316 Bytes] ‎Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied im Senior-Programmkomitee der AAAI 2025 |Beschreibung EN=Senior Program Committee Member for the 37th AAAI Conference on Artificial Intelligence (AAAI-25) |Person=Hannes Straß |URL=https://aaai.org/conference/aaai/aaai-25/ |Start(Jahr)=2024 |Ende(Jahr)=2025 |Rank=★★★ }}“)
17:33, 10. Okt. 2024 ‎Aktivitaet2132 (Versionen | bearbeiten) ‎[311 Bytes] ‎Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied im Senior-Programmkomitee der AAAI 2024 |Beschreibung EN=Senior Program Committee Member for the 37th AAAI Conference on Artificial Intelligence (AAAI-24) |Person=Hannes Straß |URL=https://aaai.org/aaai-24-conference/ |Start(Jahr)=2023 |Ende(Jahr)=2024 |Rank=★★★ }}“)
16:41, 10. Okt. 2024 ‎Foundations of Knowledge Representation (WS2024) (Versionen | bearbeiten) ‎[5.409 Bytes] ‎Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Foundations of Knowledge Representation |Research group=Computational Logic |Lecturers=Hannes Straß |Tutors=Jonas Karge |Term=WS |Year=2024 |Module=CMS-LM-BAS, INF-BAS2, INF-VERT2 |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description==== Synopsis === In this lecture, we will review the most popular logical formalisms for knowledge representation and discuss relevant aspects arising in practice, suc…“)
16:41, 10. Okt. 2024 ‎Foundations of Knowledge Representation (WS2024)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Hannes Straß (Diskussion | Beiträge) (Page created automatically by parser function on page Foundations of Knowledge Representation (WS2024))
14:45, 10. Okt. 2024 ‎Article3098 (Versionen | bearbeiten) ‎[3.207 Bytes] ‎Filippo De Bortoli (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Franz |ErsterAutorNachname=Baader |FurtherAuthors=Filippo De Bortoli }} {{Article |Referiert=0 |Title=Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability |To appear=0 |Year=2024 |Month=September |Journal=SIGAPP Appl. Comput. Rev. |Volume=24 |Number=3 |Pages=5-17 |Publisher=Association for Computing Machinery }} {{Publikation Details |Abstract=Concrete domains…“)
14:33, 8. Okt. 2024 ‎BAR 0218 (Versionen | bearbeiten) ‎[86 Bytes] ‎Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/bar/01/raum/141101.0820 }}“)
14:33, 8. Okt. 2024 ‎BAR 0218/en (Versionen | bearbeiten) ‎[11 Bytes] ‎Maximilian Marx (Diskussion | Beiträge) (Page created automatically by parser function on page BAR 0218)
14:30, 8. Okt. 2024 ‎GER 0038 (Versionen | bearbeiten) ‎[86 Bytes] ‎Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/ger/00/raum/222000.0380 }}“)
14:30, 8. Okt. 2024 ‎GER 0038/en (Versionen | bearbeiten) ‎[11 Bytes] ‎Maximilian Marx (Diskussion | Beiträge) (Page created automatically by parser function on page GER 0038)
13:58, 8. Okt. 2024 ‎Knowledge Graphs (WS2024) (Versionen | bearbeiten) ‎[8.008 Bytes] ‎Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Knowledge Graphs |Research group=Wissensbasierte Systeme |Lecturers=Markus Krötzsch |Tutors=Maximilian Marx |Term=WS |Year=2024 |Lecture series=Knowledge Graphs |Matrix=#kg2024:tu-dresden.de |Module=INF-B-510, INF-B-520, CMS-KOR-KM, INF-BAS2, INF-BAS6, INF-E-3, INF-PM-ANW, INF-PM-FOR, INF-VERT2, INF-VERT6, MCL-KR, MCL-TCSL |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=Klausur, mündliche Prüfung |Description=Knowledge graphs…“)
13:58, 8. Okt. 2024 ‎Knowledge Graphs (WS2024)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Maximilian Marx (Diskussion | Beiträge) (Page created automatically by parser function on page Knowledge Graphs (WS2024))
09:12, 8. Okt. 2024 ‎Inproceedings3399 (Versionen | bearbeiten) ‎[2.505 Bytes] ‎Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lucas |ErsterAutorNachname=Carr |FurtherAuthors=Nicholas Leisegang; Thomas Meyer; Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=Non-monotonic Extensions to Formal Concept Analysis via Object Preferences |To appear=1 |Year=2024 |Booktitle=Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24) }} {{Publikation Details |Abstract=Formal Concept Analysis (FCA) is an approach to cr…“)
14:39, 4. Okt. 2024 ‎Navigating ASP Solution Spaces2 (Versionen | bearbeiten) ‎[1.670 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (announced Sarah's talk)
14:39, 4. Okt. 2024 ‎Navigating ASP Solution Spaces2/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (Page created automatically by parser function on page Navigating ASP Solution Spaces2)
12:05, 4. Okt. 2024 ‎Inproceedings3398 (Versionen | bearbeiten) ‎[2.308 Bytes] ‎Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nicholas |ErsterAutorNachname=Leisegang |FurtherAuthors=Thomas Meyer; Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=Towards Propositional KLM-Style Defeasible Standpoint Logics |To appear=1 |Year=2024 |Booktitle=Proceedings of the 5th Southern African Conference on AI Research (SACAIR'24) }} {{Publikation Details |Abstract=The KLM approach to defeasible reasoning introduces a weakened form of impl…“)