Neue Seiten

10:5910:59, 16. Jan. 2026 Misc3092 (Versionen | bearbeiten) [613 Bytes] Filippo De Bortoli (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Filippo |ErsterAutorNachname=De Bortoli }} {{Misc |Title=Complexity and Expressive Power of Description Logics with Numerical Constraints |Year=2026 |Month=Januar |Howpublished=Talk }} {{Publikation Details |Download=2026-01-15-De-Bortoli-PhD-Prize-Colloquium-Talk.pdf |Slides=2026-01-15-De-Bortoli-PhD-Prize-Colloquium-Talk.pdf |Projekt=QuantLA, ScaDS.AI |Forschungsgruppe=Computational Logic }} {{Forschungsgeb…“)

11:5311:53, 13. Jan. 2026 News109 (Versionen | bearbeiten) [1.742 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Tim Lyon ist dem Herausgebergremium des Bulletin of the Section of Logic beigetreten |Titel EN=Tim Lyon has joined the editorial board of the Bulletin of the Section of Logic |Beschreibung DE=Tim Lyon, Postdoktorand am ICCL, ist in das Herausgebergremium des Bulletin of the Section of Logic (BSL) aufgenommen worden. Die Zeitschrift ist eine hervorragende Adresse für Forschungsarbeiten im Bereich Logik, und interessierte Wissenschaft…“)

16:1016:10, 12. Jan. 2026 Muhammed Saeed (Versionen | bearbeiten) [240 Bytes] Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Muhammed |Nachname=Saeed |Forschungsgruppe=Knowledge-aware Artificial Intelligence |Stellung=Wissenschaftlicher Mitarbeiter |Ehemaliger=0 |Publikationen anzeigen=1 |Abschlussarbeiten anzeigen=1 |Projekte anzeigen=1 }}“)
16:0916:09, 12. Jan. 2026 Ruth Eckardt (Versionen | bearbeiten) [217 Bytes] Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Ruth |Nachname=Eckardt |Forschungsgruppe=Knowledge-aware Artificial Intelligence |Stellung=Sekretär |Ehemaliger=0 |Publikationen anzeigen=0 |Abschlussarbeiten anzeigen=0 |Projekte anzeigen=0 }}“)
16:0616:06, 12. Jan. 2026 Inproceedings3456 (Versionen | bearbeiten) [445 Bytes] Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luca |ErsterAutorNachname=Giordano |FurtherAuthors=Simon Razniewski }} {{Inproceedings |Referiert=1 |Title=Foundations of LLM Knowledge Materialization: Termination, Reproducibility, Robustness |To appear=0 |Year=2026 |Booktitle=EACL Findings }} {{Publikation Details |Link=https://arxiv.org/pdf/2510.06780 |Projekt=CPEC, GPTKB, ScaDS.AI |Forschungsgruppe=Knowledge-aware Artificial Intelligence }}“)

09:5809:58, 8. Jan. 2026 TBA9 (Versionen | bearbeiten) [335 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-02-19 11:00:00 |Ende=2026-02-19 12:00:00 |Raum=APB-2026 |Vortragender=Lydia Blümel |Forschungsgruppe=Logische Programmierung und Argumentation |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)
09:5609:56, 8. Jan. 2026 News from Knowledge-aware AI (Versionen | bearbeiten) [1.390 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=News from Knowledge-aware AI |Titel EN=News from Knowledge-aware AI |Beschreibung DE=In this talk, the speaker will summarize developments from last year, in particular, GPTKB version v1.5 (won the ISWC best demo award), and the EACL 2026 paper "Foundations of LLM Knowledge Materialization: Termination, Reproducibility, Robustness". The talk will also give an outlook on recent research towards statistical estimation of the scale…“)
09:5209:52, 8. Jan. 2026 Interactive Exploration of Plan Spaces (Versionen | bearbeiten) [3.071 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=Interactive Exploration of Plan Spaces |Titel EN=Interactive Exploration of Plan Spaces |Beschreibung DE=Many planning applications require not only a single solution but benefit substantially from having a set of possible plans from which users can select, for example, when explaining plans. For decades, research in classical AI planning has primarily focused on quickly finding single plans. Only recently researchers have starte…“)
09:4909:49, 8. Jan. 2026 TBA8 (Versionen | bearbeiten) [2.407 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel DE=TBA |Titel EN=TBA |Beschreibung DE=TBA |Beschreibung EN=TBA |Veranstaltungsart=Vortrag |Start=2026-01-15 11:00:00 |Ende=2026-01-15 12:00:00 |Raum=APB-2026 |Vortragender=Sebastian Rudolph |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“)

16:1716:17, 6. Jan. 2026 Inproceedings3455 (Versionen | bearbeiten) [632 Bytes] Meghna Bhadra (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Meghna |ErsterAutorNachname=Bhadra }} {{Inproceedings |Referiert=1 |Title=Disentangling Belief and Inference: Adaptive Algorithms for Individual Human Reasoning |To appear=0 |Year=2025 |Month=Oktober |Booktitle=28th European Conference on Artificial Intelligence |Pages=1454-1461 |Publisher=IOS Press |Editor=Inês Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omic…“)
11:0711:07, 6. Jan. 2026 Techreport3054 (Versionen | bearbeiten) [556 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Omar |ErsterAutorNachname=Taher |FurtherAuthors=Tim Lyon }} {{Techreport |Title=Automated Proof-Search for Gödel-Löb Provability Logic via Tree Sequents |Year=2025 |Institution=TU Dresden |Note=Report from Master's Project }} {{Publikation Details |Abstract=This paper introduces an EXPTIME decision procedure for the (in)validity of Gödel-Löb Provability Logic via a syntactic variant of the Tree-Hyperseque…“)

21:5321:53, 31. Dez. 2025 Veröffentlichungen/2026/en (Versionen | bearbeiten) [99 Bytes] Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Wiki Seite Veröffentlichungen nach Jahr|langsuffix=/en|year={{#titleparts:{{PAGENAME}}|-1|-2}}}}“)
21:5221:52, 31. Dez. 2025 Veröffentlichungen/2026 (Versionen | bearbeiten) [82 Bytes] Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Wiki Seite Veröffentlichungen nach Jahr|year={{#titleparts:{{PAGENAME}}||-1}}}}“)

12:1412:14, 17. Dez. 2025 Aktivitaet2139 (Versionen | bearbeiten) [426 Bytes] Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Program Chair "KR in the Wild", 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR'26) |Beschreibung EN=Program Chair "KR in the Wild", 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR'26) |Person=Markus Krötzsch |URL=https://kr.org/KR2026/call_kr_in_the_wild.html |Start(Jahr)=2025 |Ende(Jahr)=2026 |Rank=★★ }}“)

17:0417:04, 10. Dez. 2025 Article3118 (Versionen | bearbeiten) [1.817 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Manuel |ErsterAutorNachname=Bodirsky |FurtherAuthors=Simon Knäuer; Sebastian Rudolph }} {{Article |Referiert=1 |Title=Datalog-Expressibility for Monadic and Guarded Second-Order Logic |To appear=1 |Year=2025 |Journal=ACM Transactions on Computational Logic |Publisher=ACM }} {{Publikation Details |Abstract=We characterise the sentences in Monadic Second-order Logic (MSO) that are over finite structures equiva…“)

15:1315:13, 9. Dez. 2025 Inproceedings3454 (Versionen | bearbeiten) [2.071 Bytes] Philipp Hanisch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Philipp |ErsterAutorNachname=Hanisch |FurtherAuthors=Markus Krötzsch }} {{Inproceedings |Referiert=1 |Title=Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP |To appear=1 |Year=2025 |Booktitle=29th International Conference on Database Theory }} {{Publikation Details |Forschungsgruppe=Wissensbasierte Systeme }}“)

14:3814:38, 3. Dez. 2025 A Basis for Defeasible Reasoning (Versionen | bearbeiten) [2.176 Bytes] Meghna Bhadra (Diskussion | Beiträge) (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. Nov. 2025 News108 (Versionen | bearbeiten) [2.527 Bytes] Simon Razniewski (Diskussion | Beiträge) (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. Nov. 2025 Inproceedings3453 (Versionen | bearbeiten) [482 Bytes] Simon Razniewski (Diskussion | Beiträge) (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. Nov. 2025 Inproceedings3452 (Versionen | bearbeiten) [363 Bytes] Simon Razniewski (Diskussion | Beiträge) (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. Nov. 2025 Inproceedings3451 (Versionen | bearbeiten) [350 Bytes] Simon Razniewski (Diskussion | Beiträge) (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. Nov. 2025 Inproceedings3450 (Versionen | bearbeiten) [1.330 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=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. Nov. 2025 Inproceedings3449 (Versionen | bearbeiten) [1.778 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (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. Nov. 2025 Misc3091 (Versionen | bearbeiten) [2.103 Bytes] Filippo De Bortoli (Diskussion | Beiträge) (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. Nov. 2025 Misc3090 (Versionen | bearbeiten) [1.938 Bytes] Filippo De Bortoli (Diskussion | Beiträge) (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. Nov. 2025 Misc3089 (Versionen | bearbeiten) [2.050 Bytes] Filippo De Bortoli (Diskussion | Beiträge) (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. Nov. 2025 Misc3088 (Versionen | bearbeiten) [1.802 Bytes] Filippo De Bortoli (Diskussion | Beiträge) (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. Nov. 2025 Inproceedings3448 (Versionen | bearbeiten) [542 Bytes] Jakob Piribauer (Diskussion | Beiträge) (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. Nov. 2025 Inproceedings3447 (Versionen | bearbeiten) [656 Bytes] Jakob Piribauer (Diskussion | Beiträge) (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. Nov. 2025 Inproceedings3446 (Versionen | bearbeiten) [716 Bytes] Jakob Piribauer (Diskussion | Beiträge) (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. Nov. 2025 Inproceedings3445 (Versionen | bearbeiten) [643 Bytes] Jakob Piribauer (Diskussion | Beiträge) (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. Nov. 2025 Article3117 (Versionen | bearbeiten) [999 Bytes] Jakob Piribauer (Diskussion | Beiträge) (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. Nov. 2025 Article3116 (Versionen | bearbeiten) [1.163 Bytes] Jakob Piribauer (Diskussion | Beiträge) (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. Nov. 2025 Inproceedings3444 (Versionen | bearbeiten) [2.491 Bytes] Robin Ziemek (Diskussion | Beiträge) (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. Okt. 2025 Inproceedings3443 (Versionen | bearbeiten) [876 Bytes] Patrick Wienhöft (Diskussion | Beiträge) (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. Okt. 2025 Inproceedings3442 (Versionen | bearbeiten) [851 Bytes] Patrick Wienhöft (Diskussion | Beiträge) (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. Okt. 2025 Inproceedings3441 (Versionen | bearbeiten) [1.298 Bytes] Timm Spork (Diskussion | Beiträge) (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. Okt. 2025 Article3115 (Versionen | bearbeiten) [1.678 Bytes] Nikolai Käfer (Diskussion | Beiträge) (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. Okt. 2025 TBA7 (Versionen | bearbeiten) [1.803 Bytes] Meghna Bhadra (Diskussion | Beiträge) (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. Okt. 2025 Behind the Secrets of Large Language Models (WS2025) (Versionen | bearbeiten) [797 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=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. Okt. 2025 News107 (Versionen | bearbeiten) [2.078 Bytes] Jonas Karge (Diskussion | Beiträge) (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…“)

Neue Seiten

16. Januar 2026

13. Januar 2026

12. Januar 2026

8. Januar 2026

6. Januar 2026

31. Dezember 2025

17. Dezember 2025

10. Dezember 2025

9. Dezember 2025

3. Dezember 2025

27. November 2025

24. November 2025

16. November 2025

10. November 2025

4. November 2025

3. November 2025

30. Oktober 2025

24. Oktober 2025

23. Oktober 2025