Neue Seiten

14:58, 19. Dez. 2024 ‎Techreport3052 (Versionen | bearbeiten) ‎[1.536 Bytes] ‎Sarah Gaggl (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Elisa |ErsterAutorNachname=Böhl |FurtherAuthors=Stefan Ellmauthaler; Sarah Alice Gaggl }} {{Techreport |Title=Winning Snake: Design Choices in Multi-Shot ASP |Year=2024 |Month=August |Institution=arXiv.org |Type=to appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2024 |Archivierungsnummer=arXiv:2408.08150 }} {{Publikation Details |Abstract=Answer set programming is a well-unders…“)
07:52, 17. Dez. 2024 ‎GPTKB: Comprehensively Materializing Factual LLM Knowledge (Versionen | bearbeiten) ‎[1.593 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (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…“)
07:52, 17. Dez. 2024 ‎GPTKB: Comprehensively Materializing Factual LLM Knowledge/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page GPTKB: Comprehensively Materializing Factual LLM Knowledge)
13:23, 13. Dez. 2024 ‎News103 (Versionen | bearbeiten) ‎[3.821 Bytes] ‎Alex Ivliev (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24 |Titel EN=Jonas Karge Wins Student Best Paper Award at PRIMA24 |Beschreibung DE=<p>Jonas Karge, Doktorand am Lehrstuhl für Computational Logic am Institut für Theoretische Informatik der TU Dresden, wurde auf der diesjährigen [https://sites.google.com/view/prima-2024/ International Conference on Principles and Practice of Multi-Agent Systems (PRIMA24)] in Kyoto,…“)
13:23, 13. Dez. 2024 ‎News103/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Alex Ivliev (Diskussion | Beiträge) (Page created automatically by parser function on page News103)
16:11, 9. Dez. 2024 ‎Tree Automata with Global and Non-Global Counting (Versionen | bearbeiten) ‎[2.400 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (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…“)
16:11, 9. Dez. 2024 ‎Tree Automata with Global and Non-Global Counting/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Tree Automata with Global and Non-Global Counting)
14:27, 4. Dez. 2024 ‎Inproceedings3404 (Versionen | bearbeiten) ‎[1.355 Bytes] ‎Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon }} {{Inproceedings |Referiert=1 |Title=On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic |To appear=1 |Year=2025 |Booktitle=Proceedings of the Eleventh International Conference on Fundamentals of Software Engineering (FSEN) |Publisher=Springer |Series=LNCS }} {{Publikation Details |Abstract=Propositional dynamic logic (PDL) is an important modal logic…“)
11:07, 3. Dez. 2024 ‎News102/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Alex Ivliev (Diskussion | Beiträge) (Page created automatically by parser function on page News102)
11:07, 3. Dez. 2024 ‎News102 (Versionen | bearbeiten) ‎[4.034 Bytes] ‎Alex Ivliev (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Best Paper Award für Nemo |Titel EN=Best Paper Award for Nemo |Beschreibung DE=<p>Forschende der Professur Wissensbasierte Systeme am Institut für Theoretische Informatik der TU Dresden wurden auf der renommierten [https://kr.org/KR2024/ KR-Konferenz 2024] in Hanoi, Vietnam mit dem Best-Paper-Award im Track "KR in the Wild" geehrt. Die Autoren Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg und Marku…“)
13:28, 25. Nov. 2024 ‎The RustBelt and its Separation Logic (Versionen | bearbeiten) ‎[869 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (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.…“)
13:28, 25. Nov. 2024 ‎The RustBelt and its Separation Logic/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page The RustBelt and its Separation Logic)
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.712 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…“)