New pages

08:49, 21 November 2024 ‎Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic (hist | edit) ‎[2,041 bytes] ‎Lukas Gerlach (talk | contribs) (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 November 2024 ‎Tsetlin Machine, A Game Theoretic Bandit Driven Approach to Optimal Pattern Recognition with Propositional Logic/en (hist | edit) ‎[20 bytes] ‎Lukas Gerlach (talk | contribs) (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 November 2024 ‎Inproceedings3403 (hist | edit) ‎[2,411 bytes] ‎Tim Lyon (talk | contribs) (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 November 2024 ‎Inproceedings3402 (hist | edit) ‎[2,254 bytes] ‎Tim Lyon (talk | contribs) (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 November 2024 ‎Techreport3053 (hist | edit) ‎[333 bytes] ‎Dörthe Arndt (talk | contribs) (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 November 2024 ‎Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium/en (hist | edit) ‎[20 bytes] ‎Lukas Gerlach (talk | contribs) (Page created automatically by parser function on page Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium)
07:39, 11 November 2024 ‎Towards Understanding Brain Function by Uncovering the Conceptual Structure of C.elegans Sensorium (hist | edit) ‎[2,202 bytes] ‎Lukas Gerlach (talk | contribs) (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 November 2024 ‎Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting (hist | edit) ‎[2,017 bytes] ‎Lukas Gerlach (talk | contribs) (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 November 2024 ‎Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting/en (hist | edit) ‎[20 bytes] ‎Lukas Gerlach (talk | contribs) (Page created automatically by parser function on page Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting)
04:13, 10 November 2024 ‎Aktivitaet2134 (hist | edit) ‎[346 bytes] ‎Sarah Gaggl (talk | contribs) (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 November 2024 ‎Misc3083 (hist | edit) ‎[1,901 bytes] ‎Sarah Gaggl (talk | contribs) (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 October 2024 ‎Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT (hist | edit) ‎[813 bytes] ‎Simon Razniewski (talk | contribs) (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 October 2024 ‎Knowledge-aware Artificial Intelligence or How to Rock Your CS@TUD Studies with chatGPT/en (hist | edit) ‎[20 bytes] ‎Simon Razniewski (talk | contribs) (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 October 2024 ‎Tom Friese (hist | edit) ‎[193 bytes] ‎Maximilian Marx (talk | contribs) (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 October 2024 ‎Tom Friese/en (hist | edit) ‎[18 bytes] ‎Maximilian Marx (talk | contribs) (Page created automatically by parser function on page Tom Friese)
18:35, 20 October 2024 ‎Cyclic Proof Theory (hist | edit) ‎[1,033 bytes] ‎Stephan Mennicke (talk | contribs) (Tim's invited speaker/talk)
18:35, 20 October 2024 ‎Cyclic Proof Theory/en (hist | edit) ‎[20 bytes] ‎Stephan Mennicke (talk | contribs) (Page created automatically by parser function on page Cyclic Proof Theory)
14:04, 18 October 2024 ‎Thomas Bruderrek (hist | edit) ‎[226 bytes] ‎Simon Razniewski (talk | contribs) (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 October 2024 ‎Thomas Bruderrek/en (hist | edit) ‎[18 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Thomas Bruderrek)
14:03, 18 October 2024 ‎Jin Zhang (hist | edit) ‎[221 bytes] ‎Simon Razniewski (talk | contribs) (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 October 2024 ‎Jin Zhang/en (hist | edit) ‎[18 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Jin Zhang)
13:56, 18 October 2024 ‎S12-14, 646B (hist | edit) ‎[86 bytes] ‎Maximilian Marx (talk | contribs) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/s14/06/raum/333106.0460 }}“)
13:56, 18 October 2024 ‎S12-14, 646B/en (hist | edit) ‎[11 bytes] ‎Maximilian Marx (talk | contribs) (Page created automatically by parser function on page S12-14, 646B)
05:51, 18 October 2024 ‎Inproceedings3401 (hist | edit) ‎[506 bytes] ‎Simon Razniewski (talk | contribs) (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 October 2024 ‎Behind the secrets of large language models (WS2024) (hist | edit) ‎[782 bytes] ‎Simon Razniewski (talk | contribs) (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 October 2024 ‎Behind the secrets of large language models (WS2024)/en (hist | edit) ‎[16 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Behind the secrets of large language models (WS2024))
05:27, 18 October 2024 ‎Knowledge-aware Artificial Intelligence (hist | edit) ‎[917 bytes] ‎Simon Razniewski (talk | contribs) (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 October 2024 ‎Knowledge-aware Artificial Intelligence/Abgeschlossene Studienarbeiten/en (hist | edit) ‎[97 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Knowledge-aware Artificial Intelligence)
05:27, 18 October 2024 ‎Knowledge-aware Artificial Intelligence/Abgeschlossene Studienarbeiten (hist | edit) ‎[77 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Knowledge-aware Artificial Intelligence)
05:27, 18 October 2024 ‎Knowledge-aware Artificial Intelligence/Publikationen/en (hist | edit) ‎[98 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Knowledge-aware Artificial Intelligence)
05:27, 18 October 2024 ‎Knowledge-aware Artificial Intelligence/Publikationen (hist | edit) ‎[80 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Knowledge-aware Artificial Intelligence)
05:27, 18 October 2024 ‎Knowledge-aware Artificial Intelligence/en (hist | edit) ‎[39 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Knowledge-aware Artificial Intelligence)
10:15, 11 October 2024 ‎SEMECO-Q2/en (hist | edit) ‎[14 bytes] ‎Hannes Straß (talk | contribs) (Page created automatically by parser function on page SEMECO-Q2)
10:15, 11 October 2024 ‎SEMECO-Q2 (hist | edit) ‎[1,921 bytes] ‎Hannes Straß (talk | contribs) (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 October 2024 ‎Inproceedings3400 (hist | edit) ‎[1,218 bytes] ‎Piotr Gorczyca (talk | contribs) (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 October 2024 ‎Aktivitaet2133 (hist | edit) ‎[316 bytes] ‎Hannes Straß (talk | contribs) (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 October 2024 ‎Aktivitaet2132 (hist | edit) ‎[311 bytes] ‎Hannes Straß (talk | contribs) (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 October 2024 ‎Foundations of Knowledge Representation (WS2024) (hist | edit) ‎[5,434 bytes] ‎Hannes Straß (talk | contribs) (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 October 2024 ‎Foundations of Knowledge Representation (WS2024)/en (hist | edit) ‎[16 bytes] ‎Hannes Straß (talk | contribs) (Page created automatically by parser function on page Foundations of Knowledge Representation (WS2024))
14:45, 10 October 2024 ‎Article3098 (hist | edit) ‎[3,207 bytes] ‎Filippo De Bortoli (talk | contribs) (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 October 2024 ‎BAR 0218 (hist | edit) ‎[86 bytes] ‎Maximilian Marx (talk | contribs) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/bar/01/raum/141101.0820 }}“)
14:33, 8 October 2024 ‎BAR 0218/en (hist | edit) ‎[11 bytes] ‎Maximilian Marx (talk | contribs) (Page created automatically by parser function on page BAR 0218)
14:30, 8 October 2024 ‎GER 0038 (hist | edit) ‎[86 bytes] ‎Maximilian Marx (talk | contribs) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/ger/00/raum/222000.0380 }}“)
14:30, 8 October 2024 ‎GER 0038/en (hist | edit) ‎[11 bytes] ‎Maximilian Marx (talk | contribs) (Page created automatically by parser function on page GER 0038)
13:58, 8 October 2024 ‎Knowledge Graphs (WS2024) (hist | edit) ‎[8,062 bytes] ‎Maximilian Marx (talk | contribs) (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 October 2024 ‎Knowledge Graphs (WS2024)/en (hist | edit) ‎[16 bytes] ‎Maximilian Marx (talk | contribs) (Page created automatically by parser function on page Knowledge Graphs (WS2024))
09:12, 8 October 2024 ‎Inproceedings3399 (hist | edit) ‎[2,505 bytes] ‎Sebastian Rudolph (talk | contribs) (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 October 2024 ‎Navigating ASP Solution Spaces2 (hist | edit) ‎[1,670 bytes] ‎Stephan Mennicke (talk | contribs) (announced Sarah's talk)
14:39, 4 October 2024 ‎Navigating ASP Solution Spaces2/en (hist | edit) ‎[20 bytes] ‎Stephan Mennicke (talk | contribs) (Page created automatically by parser function on page Navigating ASP Solution Spaces2)
12:05, 4 October 2024 ‎Inproceedings3398 (hist | edit) ‎[2,308 bytes] ‎Sebastian Rudolph (talk | contribs) (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…“)