New pages

14:3814:38, 3 December 2025 A Basis for Defeasible Reasoning (hist | edit) [2,176 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=A Basis for Defeasible Reasoning |Titel EN=A Basis for Defeasible Reasoning |Beschreibung DE=TBA BBB room for online attendees: https://bbb.tu-dresden.de/rooms/sqo-ezi-97u-sry/join |Beschreibung EN=TBA BBB room for online attendees: https://bbb.tu-dresden.de/rooms/sqo-ezi-97u-sry/join |Veranstaltungsart=Vortrag |Start=2025-12-11 11:00:00 |Ende=2025-12-11 12:00:00 |Raum=APB-2026 |Vortragender=Lucas Carr |Forschungsgrupp…“)

13:0513:05, 27 November 2025 News108 (hist | edit) [2,527 bytes] Simon Razniewski (talk | contribs) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=GPTKB wird bei ISWC als beste Demo prämiert |Titel EN=Best demo award for GPTKB at ISWC |Beschreibung DE=GPTKB wurde auf der ISWC 2025 mit dem Best Demo Award ausgezeichnet. Die Demo zeigt GPTKB, ein neuartiges System zur umfassenden Externalisierung von Faktenwissen großer Sprachmodelle. Ausgangspunkt ist die Beobachtung, dass LLMs zwar beträchtliches internes Faktenwissen besitzen, dessen Analyse jedoch meist auf kleine, vora…“)
12:5512:55, 27 November 2025 Inproceedings3453 (hist | edit) [482 bytes] Simon Razniewski (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Yu |ErsterAutorNachname=Yao |FurtherAuthors=Salil Bhatnagar; Markus Mazzola; Vasileios Belagiannis; Igor Gilitschenski; Luigi Palmieri; Simon Razniewski; Marcel Hallgarten }} {{Inproceedings |Referiert=1 |Title=AGENTS-LLM: Augmentative GENeration of Challenging Traffic Scenarios with an Agentic LLM Framework |To appear=0 |Year=2025 |Booktitle=IROS }} {{Publikation Details |Forschungsgruppe=Knowledge-aware Art…“)
12:5312:53, 27 November 2025 Inproceedings3452 (hist | edit) [363 bytes] Simon Razniewski (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Yujia |ErsterAutorNachname=Hu |FurtherAuthors=Tuan-Phong Nguyen; Shrestha Ghosh; Moritz Müller; Simon Razniewski }} {{Inproceedings |Referiert=1 |Title=Introducing GPTKB to the Semantic Web |To appear=0 |Year=2025 |Booktitle=ISWC }} {{Publikation Details |Forschungsgruppe=Knowledge-aware Artificial Intelligence }}“)
12:5212:52, 27 November 2025 Inproceedings3451 (hist | edit) [350 bytes] Simon Razniewski (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sneha |ErsterAutorNachname=Singhania |FurtherAuthors=Simon Razniewski; Gerhard Weikum }} {{Inproceedings |Referiert=1 |Title=L3X: Long Object List Extraction from Long Documents |To appear=0 |Year=2025 |Booktitle=CIKM }} {{Publikation Details |Forschungsgruppe=Knowledge-aware Artificial Intelligence }}“)

12:5612:56, 24 November 2025 Inproceedings3450 (hist | edit) [1,330 bytes] Piotr Gorczyca (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Piotr |ErsterAutorNachname=Gorczyca |FurtherAuthors=Hannes Straß }} {{Inproceedings |Referiert=1 |Title=Non-Monotonic S4F Standpoint Logic |To appear=1 |Year=2025 |Month=Januar |Booktitle=Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26) }} {{Publikation Details |Abstract=Standpoint logics offer unified modal logic-based formalisms for representing multiple heterogeneous vie…“)

04:2004:20, 16 November 2025 Inproceedings3449 (hist | edit) [1,778 bytes] Sebastian Rudolph (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Simon |ErsterAutorNachname=Hosemann |FurtherAuthors=Jean Christoph Jung; Carsten Lutz; Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=Fitting Ontologies and Constraints to Relational Structures |To appear=0 |Year=2025 |Booktitle=Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning |Pages=407–416 }} {{Publikation Details |Abstract=We study the pro…“)

16:1816:18, 10 November 2025 Misc3091 (hist | edit) [2,103 bytes] Filippo De Bortoli (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models |Year=2025 |Month=September |Howpublished=Talk |Note=Talk given at the 15th International Symposium on Frontiers of Combining Systems (FroCoS 2025). }} {{Publikation Details |Abstract=For Description Logics (DLs), different approaches for extending th…“)
14:4014:40, 10 November 2025 Misc3090 (hist | edit) [1,938 bytes] Filippo De Bortoli (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=How to Design Logic-Based Decision Assistants |Year=2023 |Month=September |Howpublished=Talk |Note=Talk recorded for the ScaDS.AI Living Lab Lecture Series. }} {{Publikation Details |Abstract=Description Logics are languages that can be used to organize knowledge and information about a topic of interest in a structured way, so that it can be understood…“)
14:3614:36, 10 November 2025 Misc3089 (hist | edit) [2,050 bytes] Filippo De Bortoli (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=Description Logics that Count, and What They Can and Cannot Count |Year=2020 |Month=September |Howpublished=Talk |Note=Talk given at the 33rd International Workshop on Description Logics (DL 2020). }} {{Publikation Details |Abstract=Simple counting quantifiers that can be used to compare the number of role successors of an individual or the cardinality…“)
14:3214:32, 10 November 2025 Misc3088 (hist | edit) [1,802 bytes] Filippo De Bortoli (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=The Expressive Power of Quantitative Extensions of Description Logics |Year=2024 |Month=April |Howpublished=Talk |Note=Talk given at the m O e X Seminar at INRIA Montbonnot on April 5, 2024. }} {{Publikation Details |Abstract=Description Logics (DLs) are a family of logic-based knowledge representation languages that form the basis of the Web Ontology L…“)

10:3710:37, 4 November 2025 Inproceedings3448 (hist | edit) [542 bytes] Jakob Piribauer (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer }} {{Inproceedings |Referiert=1 |Title=Multiplicative Rewards in Markovian Models |To appear=0 |Year=2025 |Booktitle=40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025) |Pages=499-512 |Publisher=IEEE }} {{Publikation Details |DOI Name=10.1109/LICS65433.2025.00044 |Projekt=CPEC, C…“)
10:3410:34, 4 November 2025 Inproceedings3447 (hist | edit) [656 bytes] Jakob Piribauer (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sascha |ErsterAutorNachname=Klüppelholz |FurtherAuthors=Jakob Piribauer }} {{Inproceedings |Referiert=1 |Title=Stop Gambling! It Just Takes Too Long |To appear=0 |Year=2025 |Booktitle=Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday |Pages=139–157 |Publisher=Springer |Editor=Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz |Series=…“)
10:2910:29, 4 November 2025 Inproceedings3446 (hist | edit) [716 bytes] Jakob Piribauer (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Jakob Piribauer; Maximilian Starke }} {{Inproceedings |Referiert=1 |Title=Risk-Averse Optimization of Total Rewards in Markovian Models Using Deviation Measures |To appear=0 |Year=2024 |Booktitle=35th International Conference on Concurrency Theory (CONCUR 2024) |Pages=9:1-9:20 |Publisher=Schloss Dagstuhl – Leibniz-Zentrum für Informatik |Editor=Rupak Maju…“)
10:2610:26, 4 November 2025 Inproceedings3445 (hist | edit) [643 bytes] Jakob Piribauer (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jakob |ErsterAutorNachname=Piribauer }} {{Inproceedings |Referiert=1 |Title=Demonic Variance and a Non-Determinism Score for Markov Decision Processes |To appear=0 |Year=2024 |Booktitle=49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024) |Pages=79:1--79:15 |Publisher=Schloss Dagstuhl |Editor=Rastislav Královič, Antonín Kučera |Series=Leibniz International Proceedings i…“)
10:2010:20, 4 November 2025 Article3117 (hist | edit) [999 bytes] Jakob Piribauer (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jakob |ErsterAutorNachname=Piribauer |FurtherAuthors=Christel Baier }} {{Article |Referiert=1 |Title=Positivity-hardness results on Markov decision processes |To appear=0 |Year=2024 |Journal=TheoretiCS |Volume=3 }} {{Publikation Details |DOI Name=10.46298/THEORETICS.24.9 |Projekt=CPEC |Forschungsgruppe=Algebraische und logische Grundlagen der Informatik |BibTex=@article{DBLP:journals/theoretics/PiribauerB24,…“)
10:1810:18, 4 November 2025 Article3116 (hist | edit) [1,163 bytes] Jakob Piribauer (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Krishnendu Chatterjee; Tobias Meggendorfer; Jakob Piribauer }} {{Article |Referiert=1 |Title=Entropic risk for turn-based stochastic games |To appear=0 |Year=2024 |Journal=Information and Computation |Volume=301 |Pages=105214 }} {{Publikation Details |DOI Name=10.1016/J.IC.2024.105214 |Projekt=CPEC, CeTI |Forschungsgruppe=Algebraische und logische Grundlagen…“)

12:2512:25, 3 November 2025 Inproceedings3444 (hist | edit) [2,491 bytes] Robin Ziemek (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Sascha Klüppelholz; Jakob Piribauer; Robin Ziemek }} {{Inproceedings |Referiert=1 |Title=Formal Quality Measures for Predictors in Markov Decision Processes |To appear=0 |Year=2025 |Month=April |Booktitle=Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence |Publisher=Public Knowledge Project |Series=Technical Tracks 25 |Volume=39 }} {{…“)

16:3816:38, 30 October 2025 Inproceedings3443 (hist | edit) [876 bytes] Patrick Wienhöft (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Carlos E. |ErsterAutorNachname=Budde |FurtherAuthors=Arnd Hartmanns; Tobias Meggendorfer; Maximilian Weininger; Patrick Wienhöft }} {{Inproceedings |Referiert=1 |Title=Statistical Model Checking Beyond Means: Quantiles, CVaR, and the DKW Inequality |To appear=0 |Year=2025 |Month=August |Booktitle=Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint…“)
16:3116:31, 30 October 2025 Inproceedings3442 (hist | edit) [851 bytes] Patrick Wienhöft (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tobias |ErsterAutorNachname=Meggendorfer |FurtherAuthors=Maximilian Weininger; Patrick Wienhöft }} {{Inproceedings |Referiert=1 |Title=What Are the Odds? Improving Statistical Model Checking of Markov Decision Processes |To appear=0 |Year=2025 |Month=August |Booktitle=Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference…“)
11:5911:59, 30 October 2025 Inproceedings3441 (hist | edit) [1,298 bytes] Timm Spork (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Timm |ErsterAutorNachname=Spork |FurtherAuthors=Christel Baier; Joost-Pieter Katoen; Sascha Klüppelholz; Jakob Piribauer }} {{Inproceedings |Referiert=1 |Title=Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains |To appear=0 |Year=2025 |Month=Juli |Booktitle=Proceedings of the 37th International Conference on Computer Aided Verification (CAV2025), Part II |Pages=56-81 |Publisher=Springer…“)
11:5511:55, 30 October 2025 Article3115 (hist | edit) [1,678 bytes] Nikolai Käfer (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Clemens |ErsterAutorNachname=Dubslaff |FurtherAuthors=Nils Husung; Nikolai Käfer }} {{Article |Referiert=1 |Title=Tailoring binary decision diagram compilation for feature models |To appear=0 |Year=2025 |Journal=Journal of Systems and Software |Volume=231 }} {{Publikation Details |Abstract=The compilation of feature models into binary decision diagrams (BDDs) is a major challenge in the area of configurable…“)

07:1107:11, 24 October 2025 TBA7 (hist | edit) [1,803 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2025-11-06 11:00:00 |Ende=2025-11-06 12:00:00 |Raum=APB-2026 |Vortragender=Lukas Gerlach |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)

13:3013:30, 23 October 2025 Behind the Secrets of Large Language Models (WS2025) (hist | edit) [797 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=Simon Razniewski; Michael Färber |Term=WS |Year=2025 |SWSLecture=2 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |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 architecture, traini…“)
07:4807:48, 23 October 2025 News107 (hist | edit) [2,078 bytes] Jonas Karge (talk | contribs) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Dörthe Arndt gewinnt Rule Challenge Best Paper Award bei RuleML+RR 2025 |Titel EN=Dörthe Arndt wins Rule Challenge Best Paper Award at RuleML+RR 2025 |Beschreibung DE=Dörthe Arndt, Postdoktorandin am ICCL, wurde für ihre Arbeit „FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning” mit dem Rule Challenge Best Paper Award auf der Konferenz RuleML+RR 2025 ausgezeichnet. Der Artikel stellt…“)

07:0607:06, 17 October 2025 Verifying Datalog Reasoning with Lean (hist | edit) [1,278 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Verifying Datalog Reasoning with Lean |Beschreibung EN=Datalog is an essential logical rule language with many applications, and modern rule engines compute logical consequences for Datalog with high performance and scalability. While Datalog is rather simple and, in principle, explainable by design, such sophisticated implementations and optimizations are hard to verify. We therefore propose a certificate-based approach to valid…“)

13:1113:11, 14 October 2025 Defeasible Standpoint Logics (hist | edit) [1,854 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Defeasible Standpoint Logics |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2025-12-04 11:00:00 |Ende=2025-12-04 12:00:00 |Raum=APB-2026 |Vortragender=Nicholas Leisegang |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)

13:5213:52, 13 October 2025 Defeasible Conditionals using Answer Set Programming (hist | edit) [2,786 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Defeasible Conditionals using Answer Set Programming |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2025-11-27 11:00:00 |Ende=2025-11-27 12:00:00 |Raum=APB-2026 |Vortragender=Racquel Dennison |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
13:5013:50, 13 October 2025 Exception Closed Conjunctive Rule Sets (ECCRS) for Prediction (hist | edit) [2,229 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Exception Closed Conjunctive Rule Sets (ECCRS) for Prediction |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2025-11-13 11:00:00 |Ende=2025-11-13 12:00:00 |Raum=APB-2026 |Vortragender=Ruvarashe Madzime |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
13:4313:43, 13 October 2025 Grounding Rule-Based Argumentation Using Datalog (hist | edit) [1,405 bytes] Meghna Bhadra (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Grounding Rule-Based Argumentation Using Datalog |Beschreibung EN=Although first-order rules are commonly used in ASPIC+ examples, most existing approaches to reason over rule-based argumentation only support propositional rules. To enable reasoning over first-order instances, a preliminary grounding step is required. As groundings can lead to an exponential increase in size of the program, intelligent procedures are needed. Howe…“)

11:2111:21, 7 October 2025 Proof Theory and Sequent Systems (WS2025) (hist | edit) [2,698 bytes] Tim Lyon (talk | contribs) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proof Theory and Sequent Systems |Research group=Computational Logic |Lecturers=Tim Lyon |Term=WS |Year=2025 |Module=INF-25-Ma-FTK-ASAI, INF-BAS2, INF-VERT2 |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description====Course Description=== Proof theory serves as one of the central pillars of mathematical logic and concerns the study and application of formal proofs. Typically, proofs are defined as synt…“)

15:5215:52, 2 October 2025 Misc3087 (hist | edit) [1,995 bytes] Nils Küchenmeister (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister }} {{Misc |Title=Reliance-based Static Analysis of Existential Rules |Year=2025 |Month=August |Howpublished=Diploma Thesis, TU Dresden }} {{Publikation Details |Abstract=Cores are universal models of existential rules knowledge bases that have no redundant facts. They can be determined with the core chase, but this is expensive. Recent work suggested special positive a…“)

14:0514:05, 1 October 2025 Inproceedings3440 (hist | edit) [510 bytes] Martin Diller (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Diller |FurtherAuthors=Piotr Gorczyca }} {{Inproceedings |Referiert=1 |Title=ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving |To appear=1 |Year=2025 |Month=Dezember |Booktitle=Proceedings of the 26th International Conference on Principles and Practice of Multi-Agent Systems }} {{Publikation Details |Projekt=KIMEDS, SEMECO-Q2 |Forschungsgruppe=Computational…“)
14:0114:01, 1 October 2025 Inproceedings3439 (hist | edit) [1,965 bytes] Martin Diller (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Martin |ErsterAutorNachname=Diller |FurtherAuthors=Piotr Gorczyca }} {{Inproceedings |Referiert=1 |Title=ABA Disputes in ASP: Advancing Argument Games through Multi-Shot Solving |To appear=1 |Year=2025 |Month=November |Booktitle=Proceedings of the 23rd International Workshop on Nonmonotonic Reasoning }} {{Publikation Details |Projekt=KIMEDS, SEMECO-Q2 |Forschungsgruppe=Computational Logic, Logische Programmie…“)
11:4011:40, 1 October 2025 Foundations of Logic Programming (WS2025) (hist | edit) [2,672 bytes] Hannes Straß (talk | contribs) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Foundations of Logic Programming |Research group=Computational Logic |Lecturers=Hannes Straß |Term=WS |Year=2025 |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=Logic Programming is a form of declarative programming that has its roots in first-order predicate logic. This introductory course covers the fundamental topics of logic programming such as the rule-based syntax, procedural and declar…“)
08:2408:24, 1 October 2025 Inproceedings3438 (hist | edit) [1,782 bytes] Jonas Karge (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jonas |ErsterAutorNachname=Karge }} {{Inproceedings |Referiert=1 |Title=Questions about Quantities: Epistemic Numerical Estimate Aggregation |To appear=1 |Year=2025 |Booktitle=Proceedings of the International Conference on Principles and Practice of Multi-Agent Systems (PRIMA) }} {{Publikation Details |Abstract=Accurately aggregating uncertain numerical beliefs is a critical challenge in collective intelligen…“)

15:1815:18, 30 September 2025 News106 (hist | edit) [4,988 bytes] Filippo De Bortoli (talk | contribs) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Filippo De Bortoli gewinnt Best Student Paper Award bei FroCoS 2025 |Titel EN=Filippo De Bortoli wins Best Student Paper Award at FroCoS 2025 |Beschreibung DE=Der Artikel „The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models", verfasst von Franz Baader und Filippo De Bortoli, wurde beim [https://icetcs.github.io/frocos-itp-tableaux25/frocos/ 15. Intern…“)

14:4614:46, 27 September 2025 Introduction to Existential Rules (WS2025) (hist | edit) [2,202 bytes] Sebastian Rudolph (talk | contribs) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Existential Rules |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Term=WS |Year=2025 |Module=CMS-LM-ADV, CMS-LM-AI, INF-PM-FOR, INF-VERT2, INF-VERT6, MCL-KR, MCL-TCSL |SWSLecture=2 |SWSExercise=0 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=Existential Rules are a knowledge representation formalism used in artificial intelligence and database theory. Their syntactic flexibility enables an…“)

15:4315:43, 25 September 2025 Proceedings3028 (hist | edit) [1,066 bytes] Sergei Obiedkov (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Inma P. |ErsterAutorNachname=Cabrera |FurtherAuthors=Sébastien Ferré; Sergei Obiedkov }} {{Proceedings |Title=International Journal of Approximate Reasoning: Selected papers from the First International Joint Conference on Conceptual Knowledge Structures |To appear=0 |Year=2024 |Publisher=Elsevier }} {{Publikation Details |Download=Editorial-concepts.pdf |Link=https://www.sciencedirect.com/special-issue/10K…“)
15:3315:33, 25 September 2025 Article3114 (hist | edit) [450 bytes] Sergei Obiedkov (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Daniel |ErsterAutorNachname=Borchmann |FurtherAuthors=Tom Hanika; Sergei Obiedkov }} {{Article |Referiert=1 |Title=Probably approximately correct learning of Horn envelopes from queries |To appear=0 |Year=2020 |Month=Februar |Journal=Discrete Applied Mathematics |Volume=273 |Pages=30–42 |Publisher=Elsevier }} {{Publikation Details |Download=Paper dam.pdf |Forschungsgruppe=Wissensbasierte Systeme }}“)
15:2515:25, 25 September 2025 Inproceedings3437 (hist | edit) [1,299 bytes] Sergei Obiedkov (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Sergei |ErsterAutorNachname=Obiedkov |FurtherAuthors=Sebastian Rudolph }} {{Inproceedings |Referiert=1 |Title=When Horn is All You Need |To appear=0 |Year=2025 |Month=September |Booktitle=Conceptual Knowledge Structures. CONCEPTS 2025 |Pages=309–324 |Publisher=Springer |Editor=Peggy Cellier, Bernhard Ganter, Rokia Missaoui |Series=Lecture Notes in Artificial Intelligence |Volume=15941 }} {{Publikation Detai…“)
15:1615:16, 25 September 2025 Inproceedings3436 (hist | edit) [1,917 bytes] Sergei Obiedkov (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lucas |ErsterAutorNachname=Carr |FurtherAuthors=Nicholas Leisegang; Thomas Meyer; Sergei Obiedkov }} {{Inproceedings |Referiert=1 |Title=Rational Inference in Formal Concept Analysis |To appear=0 |Year=2025 |Month=September |Booktitle=Conceptual Knowledge Structures. CONCEPTS 2025 |Pages=325–341 |Publisher=Springer |Editor=Peggy Cellier, Bernhard Ganter, Rokia Missaoui |Series=Lecture Notes in Artificial In…“)
11:1811:18, 25 September 2025 Inproceedings3435 (hist | edit) [2,263 bytes] Markus Krötzsch (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Markus |ErsterAutorNachname=Krötzsch }} {{Inproceedings |Referiert=1 |Title=Modern Datalog: Concepts, Methods, Applications |To appear=1 |Year=2025 |Booktitle=Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools (RW 2024 & RW 2025) |Publisher=Dagstuhl Publishing |Editor=Alessandro Artale, Meghyn Bienvenu, Yazmı́n Ibáñez Garcı́a, Filip Murlak |Series=OASIcs |Volume=138 }} {{Publikation To…“)

14:4914:49, 24 September 2025 Research Seminar Formal Methods (WS2025) (hist | edit) [1,286 bytes] Johannes Lehmann (talk | contribs) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Forschungsseminar |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Term=WS |Year=2025 |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=nach Modulbeschreibung |Description=tba }}“) originally created as "Forschungsseminar (WS2025)"
14:3314:33, 24 September 2025 Profilprojekt Anwendungsforschung (WS2025) (hist | edit) [1,108 bytes] Johannes Lehmann (talk | contribs) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Profilprojekt Anwendungsforschung |Research group=Algebraische und logische Grundlagen der Informatik |Lecturers=Christel Baier |Term=WS |Year=2025 |Module=INF-PM-FPA |SWSLecture=0 |SWSExercise=0 |SWSPractical=0 |Exam type=nach Modulbeschreibung |Description=tba }}“)
12:4012:40, 24 September 2025 Knowledge Graphs (WS2025) (hist | edit) [8,729 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=2025 |Lecture series=Knowledge Graphs |Matrix=#kg2025:tu-dresden.de |Module=CMS-COR-KM, INF-25-MA-FTK-KM, INF-B510, INF-B520, 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=…“)
12:3212:32, 24 September 2025 N63 A001 (hist | edit) [86 bytes] Maximilian Marx (talk | contribs) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/n63/00/raum/191100.0020 }}“)
12:2912:29, 24 September 2025 BAR 106 (hist | edit) [86 bytes] Maximilian Marx (talk | contribs) (Die Seite wurde neu angelegt: „{{Raum |Navigator URL=http://navigator.tu-dresden.de/etplan/bar/00/raum/141100.0420 }}“)

07:2807:28, 23 September 2025 MER 0E23 (hist | edit) [176 bytes] Stephan Mennicke (talk | contribs) (created new room (first appearance: winter term 2025, 2nd lecture hall of complexity theory))
07:2507:25, 23 September 2025 Complexity Theory (WS2025) (hist | edit) [12,891 bytes] Stephan Mennicke (talk | contribs) (Complexity Theory WS 2025/2026 angelegt)

New pages

3 December 2025

27 November 2025

24 November 2025

16 November 2025

10 November 2025

4 November 2025

3 November 2025

30 October 2025

24 October 2025

23 October 2025

17 October 2025

14 October 2025

13 October 2025

7 October 2025

2 October 2025

1 October 2025

30 September 2025

27 September 2025

25 September 2025

24 September 2025

23 September 2025