Neue Seiten

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) [802 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…“)

07:0607:06, 17. Okt. 2025 Verifying Datalog Reasoning with Lean (Versionen | bearbeiten) [1.278 Bytes] Meghna Bhadra (Diskussion | Beiträge) (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. Okt. 2025 Defeasible Standpoint Logics (Versionen | bearbeiten) [1.854 Bytes] Meghna Bhadra (Diskussion | Beiträge) (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. Okt. 2025 Defeasible Conditionals using Answer Set Programming (Versionen | bearbeiten) [2.786 Bytes] Meghna Bhadra (Diskussion | Beiträge) (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. Okt. 2025 Exception Closed Conjunctive Rule Sets (ECCRS) for Prediction (Versionen | bearbeiten) [2.229 Bytes] Meghna Bhadra (Diskussion | Beiträge) (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. Okt. 2025 Grounding Rule-Based Argumentation Using Datalog (Versionen | bearbeiten) [1.405 Bytes] Meghna Bhadra (Diskussion | Beiträge) (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. Okt. 2025 Proof Theory and Sequent Systems (WS2025) (Versionen | bearbeiten) [3.150 Bytes] Tim Lyon (Diskussion | Beiträge) (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. Okt. 2025 Misc3087 (Versionen | bearbeiten) [1.995 Bytes] Nils Küchenmeister (Diskussion | Beiträge) (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. Okt. 2025 Inproceedings3440 (Versionen | bearbeiten) [2.012 Bytes] Martin Diller (Diskussion | Beiträge) (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. Okt. 2025 Inproceedings3439 (Versionen | bearbeiten) [1.965 Bytes] Martin Diller (Diskussion | Beiträge) (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. Okt. 2025 Foundations of Logic Programming (WS2025) (Versionen | bearbeiten) [2.697 Bytes] Hannes Straß (Diskussion | Beiträge) (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. Okt. 2025 Inproceedings3438 (Versionen | bearbeiten) [1.782 Bytes] Jonas Karge (Diskussion | Beiträge) (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. Sep. 2025 News106 (Versionen | bearbeiten) [4.988 Bytes] Filippo De Bortoli (Diskussion | Beiträge) (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…“)

Neue Seiten

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

17. Oktober 2025

14. Oktober 2025

13. Oktober 2025

7. Oktober 2025

2. Oktober 2025

1. Oktober 2025

30. September 2025