New pages

15:18, 8 May 2025 ‎Inproceedings3412 (hist | edit) ‎[604 bytes] ‎Tom Friese (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christian |ErsterAutorNachname=Alrabbaa |FurtherAuthors=Stefan Borgwardt; Tom Friese; Patrick Koopmann; Julián Méndez; Alexej Popovič }} {{Inproceedings |Referiert=1 |Title=Explaining Description Logic Entailments with Evee and Evonne |To appear=0 |Year=2022 |Booktitle=Informal Proceedings of the Explainable Logic-Based Knowledge Representation (XLoKR 2022) workshop co-located with the 19th International C…“)
14:59, 8 May 2025 ‎Inproceedings3411 (hist | edit) ‎[2,102 bytes] ‎Tom Friese (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christian |ErsterAutorNachname=Alrabbaa |FurtherAuthors=Stefan Borgwardt; Tom Friese; Anke Hirsch; Nina Knieriemen; Patrick Koopmann; Alisa Kovtunova; Antonio Krüger; Alexej Popovič; Ida Siahaan }} {{Inproceedings |Referiert=1 |Title=Explaining Reasoning Results for OWL Ontologies with Evee |To appear=0 |Year=2024 |Booktitle=Proceedings of the 21st International Conference on Principles of…“)
14:45, 8 May 2025 ‎Inproceedings3410 (hist | edit) ‎[1,352 bytes] ‎Tom Friese (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christian |ErsterAutorNachname=Alrabbaa |FurtherAuthors=Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov }} {{Inproceedings |Referiert=1 |Title=Why Not? Explaining Missing Entailments with Evee |To appear=0 |Year=2023 |Booktitle=Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representatio…“)
14:40, 8 May 2025 ‎Techreport3056 (hist | edit) ‎[1,054 bytes] ‎Tom Friese (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christian |ErsterAutorNachname=Alrabbaa |FurtherAuthors=Stefan Borgwardt; Tom Friese; Patrick Koopmann; Mikhail Kotlov }} {{Techreport |Title=Why Not? Explaining Missing Entailments with Evee (Technical Report) |Year=2023 |Institution=arXiv.org |Archivierungsnummer=CoRR abs/2308.07294 }} {{Publikation Details |Abstract=Understanding logical entailments derived by a description logic reasoner is not always str…“)
14:27, 8 May 2025 ‎Inproceedings3409 (hist | edit) ‎[1,518 bytes] ‎Tom Friese (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christian |ErsterAutorNachname=Alrabbaa |FurtherAuthors=Stefan Borgwardt; Tom Friese; Patrick Koopmann; Julián Méndez; Alexej Popovič }} {{Inproceedings |Referiert=1 |Title=On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne |To appear=0 |Year=2022 |Booktitle=Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022 |Editor=O…“)
14:11, 8 May 2025 ‎Techreport3055 (hist | edit) ‎[1,392 bytes] ‎Tom Friese (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christian |ErsterAutorNachname=Alrabbaa |FurtherAuthors=Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič }} {{Techreport |Title=On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version) |Year=2022 |Institution=arXiv.org |Archivierungsnummer=CoRR abs/2206.07711 }} {{Publikation Details |Abstract=When working with descr…“)
13:25, 8 May 2025 ‎Inproceedings3408 (hist | edit) ‎[1,428 bytes] ‎Tom Friese (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tom |ErsterAutorNachname=Friese |FurtherAuthors=Markus Ulbricht }} {{Inproceedings |Referiert=1 |Title=On the Relationship of Modularity Notions in Abstract Argumentation |To appear=0 |Year=2021 |Booktitle=Proceedings of the 19th edition of the International Workshop on Non-Monotonic Reasoning (NMR'21) |Pages=51-60 |Editor=Leila Amgoud, Richard Booth }} {{Publikation Details |Abstract=Abstract argumentation f…“)
12:36, 8 May 2025 ‎Tom Friese/Publikationen/en (hist | edit) ‎[88 bytes] ‎Tom Friese (talk | contribs) (Page created automatically by parser function on page Tom Friese)
12:36, 8 May 2025 ‎Tom Friese/Publikationen (hist | edit) ‎[70 bytes] ‎Tom Friese (talk | contribs) (Page created automatically by parser function on page Tom Friese)
07:04, 6 May 2025 ‎Restricted Chase Termination: You Want More than Fairness (hist | edit) ‎[1,269 bytes] ‎Lukas Gerlach (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Restricted Chase Termination: You Want More than Fairness |Beschreibung EN=The chase is a fundamental algorithm with ubiquitous uses in database theory. Given a database and a set of existential rules (aka tuple-generating dependencies), it iteratively extends the database to ensure that the rules are satisfied in a most general way. This process may not terminate, and a major problem is to decide whether it does. This problem ha…“)
07:04, 6 May 2025 ‎Restricted Chase Termination: You Want More than Fairness/en (hist | edit) ‎[20 bytes] ‎Lukas Gerlach (talk | contribs) (Page created automatically by parser function on page Restricted Chase Termination: You Want More than Fairness)
16:47, 2 May 2025 ‎Inproceedings3407 (hist | edit) ‎[1,649 bytes] ‎Patrick Wienhöft (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Caros E. |ErsterAutorNachname=Budde |FurtherAuthors=Arnd Hartmanns; Tobias Meggendorfer; Maximilian Weininger; Patrick Wienhöft }} {{Inproceedings |Referiert=1 |Title=Sound Statistical Model Checking for Probabilities and Expected Rewards |To appear=0 |Year=2025 |Booktitle=LNCS |Pages=167-190 |Publisher=Springer |Editor=Arie Gurfinkel, Marijn Heule |Volume=15696 }} {{Publikation Details |ISSN=1611-3349 |Link…“)
11:09, 29 April 2025 ‎Article3107 (hist | edit) ‎[1,255 bytes] ‎Jonas Karge (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jonas |ErsterAutorNachname=Karge }} {{Article |Referiert=1 |Title=When Diversity in Voting Trumps Ability |To appear=1 |Year=2025 |Journal=Episteme }} {{Publikation Details |Abstract=Would you prioritize assembling a group of more competent individuals or a more diverse group? According to the well-known Diversity-Trumps- Ability Theorem (DTA), when two groups of similar size are compared, the more diverse gr…“)
10:04, 29 April 2025 ‎Inproceedings3406 (hist | edit) ‎[1,918 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=Solving Robust Markov Decision Processes: Generic, Reliable, Efficient |To appear=0 |Year=2025 |Month=April |Booktitle=Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence |Pages=26631-26641 |Publisher=AAAI Press |Editor=Toby Walsh, Julie Shah, Zico Kolte…“)
11:23, 22 April 2025 ‎Article3106 (hist | edit) ‎[2,014 bytes] ‎Sebastian Rudolph (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Thomas |ErsterAutorNachname=Feller |FurtherAuthors=Tim Lyon; Piotr Ostropolski-Nalewaja; Sebastian Rudolph }} {{Article |Referiert=1 |Title=Decidability of Querying First-Order Theories via Countermodels of Finite Width |To appear=0 |Year=2025 |Month=April |Journal=Logical Methods in Computer Science |Volume=21 |Number=2 |Pages=7:1-7:35 }} {{Publikation Details |Abstract=We propose a generic framework for est…“)
14:46, 11 April 2025 ‎Misc3085 (hist | edit) ‎[1,301 bytes] ‎Lukas Gerlach (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach }} {{Misc |Title=Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions |Year=2025 |Month=April |Howpublished=Talk at Description Logics Seminar }} {{Publikation Details |Abstract=In this talk, I'll be giving an overview of my recent and ongoing works revolving around chase termination. The chase is a fundamental algorithm for reasoning with ontologies…“)
08:25, 11 April 2025 ‎Universität Leipzig (hist | edit) ‎[288 bytes] ‎Markus Krötzsch (talk | contribs) (Die Seite wurde neu angelegt: „{{Partner |Organisationsart=Forschungseinrichtung |Ort=Leipzig |Geografische Koordinaten=51°20'19.32"N, 12°22'43.42"E |URL=https://www.uni-leipzig.de/ |Forschungsgruppe=Wissensbasierte Systeme |Contacts=Peter Stadler, Carsten Lutz, Erhard Rahm, Jens Meiler }}“)
08:25, 11 April 2025 ‎Universität Leipzig/en (hist | edit) ‎[14 bytes] ‎Markus Krötzsch (talk | contribs) (Page created automatically by parser function on page Universität Leipzig)
16:55, 10 April 2025 ‎Aktivitaet2138 (hist | edit) ‎[371 bytes] ‎Markus Krötzsch (talk | contribs) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Vorsitzender der Prüfungsausschüsse Informatik (BSc, MSc, Diplom) |Beschreibung EN=Head of the Examination Boards for Computer Science (BSc, MSc, Diploma) |Person=Markus Krötzsch |URL=https://tu-dresden.de/ing/informatik/die-fakultaet/gremien-und-beauftragte/pruefungsausschuesse |Start(Jahr)=2025 |Ende(Jahr)=andauernd |Rank=★★★ }}“)
16:47, 10 April 2025 ‎Aktivitaet2137 (hist | edit) ‎[248 bytes] ‎Markus Krötzsch (talk | contribs) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Wikidata Workshop 2025 (Organisationskomitee) |Beschreibung EN=Wikidata Workshop 2025 (Co-Chair) |Person=Markus Krötzsch |URL=https://wikidataworkshop.github.io/2025/ |Start(Jahr)=2025 |Ende(Jahr)=2025 |Rank=★★ }}“)
07:46, 8 April 2025 ‎Article3105 (hist | edit) ‎[1,547 bytes] ‎Lukas Gerlach (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=David |ErsterAutorNachname=Carral |FurtherAuthors=Lukas Gerlach; Lucas Larroque; Michaël Thomazo }} {{Article |Referiert=1 |Title=Restricted Chase Termination: You Want More than Fairness |To appear=1 |Year=2025 |Month=Juni |Journal=Proc. ACM Manag. Data |Volume=3 |Number=2 (PODS) |Publisher=ACM }} {{Publikation Details |Abstract=The chase is a fundamental algorithm with ubiquitous uses in database theory. G…“)
10:26, 7 April 2025 ‎Recent Topics in Knowledge Graphs (SS2025)/en (hist | edit) ‎[16 bytes] ‎Philipp Hanisch (talk | contribs) (Page created automatically by parser function on page Recent Topics in Knowledge Graphs (SS2025))
10:26, 7 April 2025 ‎Recent Topics in Knowledge Graphs (SS2025) (hist | edit) ‎[6,336 bytes] ‎Philipp Hanisch (talk | contribs) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Recent Topics in Knowledge Graphs |Research group=Wissensbasierte Systeme |Lecturers=Philipp Hanisch |Term=SS |Year=2025 |Module=INF-B510 |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=Hausarbeit, Referat |Description=TBA }}“)
08:30, 7 April 2025 ‎Seminar Logic-Based Knowledge Representation (SS2025) (hist | edit) ‎[2,834 bytes] ‎Sarah Gaggl (talk | contribs) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Logic-Based Knowledge Representation |Research group=Logische Programmierung und Argumentation |Lecturers=Sarah Alice Gaggl |Term=SS |Year=2025 |Module=CMS-SEM-A, INF-04-HS, INF-AQUA, INF-D-940, INF-PM-FOR |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=Hausarbeit, Referat, nach Modulbeschreibung |Description====Course Description=== This seminar intends to introduce to selected topics of an active research areas in t…“)
08:30, 7 April 2025 ‎Seminar Logic-Based Knowledge Representation (SS2025)/en (hist | edit) ‎[16 bytes] ‎Sarah Gaggl (talk | contribs) (Page created automatically by parser function on page Seminar Logic-Based Knowledge Representation (SS2025))
07:31, 1 April 2025 ‎On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic (hist | edit) ‎[1,020 bytes] ‎Lukas Gerlach (talk | contribs) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic |Beschreibung EN=Propositional dynamic logic (PDL) is an important modal logic used to specify and reason about the behavior of programs. A challenging problem in the context of PDL is solving fixed-point equations, i.e., formulae of the form x ≡ ϕ(x) such that x is a propositional variable and ϕ(x) is a formula containing x. A solution to such an e…“)
07:31, 1 April 2025 ‎On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic/en (hist | edit) ‎[20 bytes] ‎Lukas Gerlach (talk | contribs) (Page created automatically by parser function on page On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic)
11:40, 31 March 2025 ‎Theoretische Informatik und Logik (SS2025) (hist | edit) ‎[7,499 bytes] ‎Hannes Straß (talk | contribs) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Theoretische Informatik und Logik |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Tutors=Hannes Straß; Sarah Alice Gaggl |Term=SS |Year=2025 |Lecture series=Theoretische Informatik und Logik |Module=INF-B-290, INF-D-330 |SWSLecture=4 |SWSExercise=2 |SWSPractical=0 |Exam type=Klausur |Description=Die Lehrveranstaltung vermittelt eine vertiefende Einleitung in die theoretische Informatik, beginnend mit den Grundlagen de…“)
11:40, 31 March 2025 ‎Theoretische Informatik und Logik (SS2025)/en (hist | edit) ‎[16 bytes] ‎Hannes Straß (talk | contribs) (Page created automatically by parser function on page Theoretische Informatik und Logik (SS2025))
09:49, 31 March 2025 ‎Article3104 (hist | edit) ‎[465 bytes] ‎Bartosz Bednarczyk (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk |FurtherAuthors=Julien Grange }} {{Article |Referiert=0 |Title=About the Expressive Power and Complexity of Order-Invariance with Two Variables |To appear=0 |Year=2025 |Month=März |Journal=Logical Methods in Computer Science |Volume=21 |Number=1 |Pages=30:1--30:28 }} {{Publikation Details |Download=Lmcs-bbe-grange.pdf |Projekt=DeciGUT |Forschungsgruppe=Computational Lo…“)
14:14, 28 March 2025 ‎Thema3516 (hist | edit) ‎[2,486 bytes] ‎Tim Lyon (talk | contribs) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=A Simplified Tableau Calculus for Standpoint LTL |Titel EN=A Simplified Tableau Calculus for Standpoint LTL |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Beschreibung DE=Die lineare temporale Logik (LTL) ist eine modale Logik, die zur Untersuchung temporaler Eigenschaften in der Informatik verwendet wird, während die Standpunktlogik (SL) eine kürzlich einge…“)
14:14, 28 March 2025 ‎Thema3516/en (hist | edit) ‎[22 bytes] ‎Tim Lyon (talk | contribs) (Page created automatically by parser function on page Thema3516)
14:05, 28 March 2025 ‎Thema3515 (hist | edit) ‎[2,489 bytes] ‎Tim Lyon (talk | contribs) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Ill-Founded Linear Nested Sequents for LTL |Titel EN=Ill-Founded Linear Nested Sequents for LTL |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Ergebnisse=Thesis Topic Ill-Founded Sequent System for LTL.pdf |Beschreibung DE=Die lineare temporale Logik (LTL) ist eine modale Logik zur Untersuchung temporaler Eigenschaften in der Informatik, insbesondere in der Pr…“)
14:05, 28 March 2025 ‎Thema3515/en (hist | edit) ‎[22 bytes] ‎Tim Lyon (talk | contribs) (Page created automatically by parser function on page Thema3515)
14:40, 27 March 2025 ‎Database Theory (SS2025) (hist | edit) ‎[10,576 bytes] ‎Lukas Gerlach (talk | contribs) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Database Theory |Research group=Wissensbasierte Systeme |Lecturers=Markus Krötzsch |Tutors=Lukas Gerlach |Term=SS |Year=2025 |Lecture series=Database Theory |Matrix=#dbt2025:tu-dresden.de |Module=CMS-LM-ADV, CMS-LM-MOC, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL |SWSLecture=4 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=Databases are a key technology in computer science…“)
14:40, 27 March 2025 ‎Database Theory (SS2025)/en (hist | edit) ‎[16 bytes] ‎Lukas Gerlach (talk | contribs) (Page created automatically by parser function on page Database Theory (SS2025))
14:24, 27 March 2025 ‎Misc3084 (hist | edit) ‎[1,115 bytes] ‎Lukas Gerlach (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach }} {{Misc |Title=Formalizing Possibly Infinite Trees of Bounded Degree |Year=2025 |Month=März |Howpublished=Talk at Workshop: Leaning In! 2025 }} {{Publikation Details |Abstract=As Lean does not support coinductive types directly, formalizing infinite lists and infinite trees requires some "creativity". As a byproduct of o…“)
15:06, 18 March 2025 ‎SEMECO-Q1 (hist | edit) ‎[798 bytes] ‎Johannes Lehmann (talk | contribs) (Die Seite wurde neu angelegt: „{{Projekt |Kurzname=SEMECO-Q1 |Name=Sichere Medizinische Mikrosysteme und Kommunikation: Sichere & Vertrauenswürdige Systemarchitekturen |Name EN=Secure Medical Microsystems and Communications: Secure & Trustworthy System Architecture |Beschreibung DE=Weitere informationen finden Sie auf der [https://digitalhealth.tu-dresden.de/projects/semeco/ externen Projektwebseite]. |Beschreibung EN=For more information, see the [https://digitalhealth.tu-dresden.de/…“)
15:06, 18 March 2025 ‎SEMECO-Q1/en (hist | edit) ‎[14 bytes] ‎Johannes Lehmann (talk | contribs) (Page created automatically by parser function on page SEMECO-Q1)
07:39, 9 March 2025 ‎Techreport3054 (hist | edit) ‎[1,640 bytes] ‎Simon Razniewski (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Yujia |ErsterAutorNachname=Hu |FurtherAuthors=Tuan-Phong Nguyen; Shrestha Ghosh; Simon Razniewski }} {{Techreport |Title=GPTKB: Comprehensively Materializing Factual LLM Knowledge |Year=2024 |Month=November |Institution=arXiv.org }} {{Publikation Details |Abstract=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 inter…“)
07:35, 9 March 2025 ‎Large Language Models and Knowledge-aware AI (2025 Seminar) (SS2025) (hist | edit) ‎[432 bytes] ‎Simon Razniewski (talk | contribs) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Large Language Models and Knowledge-aware AI (2025 Seminar) |Research group=Knowledge-aware Artificial Intelligence |Lecturers=Simon Razniewski |Term=SS |Year=2025 |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=Hausarbeit, Referat |Description=This seminar discusses advanced topics at the interface of LLMs and KAAI. It is a block seminar and will take place on two consecutive days in the summer term 2025. }}“)
07:35, 9 March 2025 ‎Large Language Models and Knowledge-aware AI (2025 Seminar) (SS2025)/en (hist | edit) ‎[16 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Large Language Models and Knowledge-aware AI (2025 Seminar) (SS2025))
07:16, 9 March 2025 ‎Alexander Schulz (hist | edit) ‎[221 bytes] ‎Simon Razniewski (talk | contribs) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Alexander |Nachname=Schulz |Forschungsgruppe=Knowledge-aware Artificial Intelligence |Stellung=Wissenschaftlicher Mitarbeiter |Ehemaliger=0 |Publikationen anzeigen=1 |Abschlussarbeiten anzeigen=1 }}“)
07:16, 9 March 2025 ‎Alexander Schulz/Abschlussarbeiten/en (hist | edit) ‎[77 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Alexander Schulz)
07:16, 9 March 2025 ‎Alexander Schulz/Abschlussarbeiten (hist | edit) ‎[59 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Alexander Schulz)
07:16, 9 March 2025 ‎Alexander Schulz/Publikationen/en (hist | edit) ‎[88 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Alexander Schulz)
07:16, 9 March 2025 ‎Alexander Schulz/Publikationen (hist | edit) ‎[70 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Alexander Schulz)
07:16, 9 March 2025 ‎Alexander Schulz/en (hist | edit) ‎[18 bytes] ‎Simon Razniewski (talk | contribs) (Page created automatically by parser function on page Alexander Schulz)
11:03, 6 March 2025 ‎Phdthesis3022 (hist | edit) ‎[2,655 bytes] ‎Robin Ziemek (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Robin |ErsterAutorNachname=Ziemek }} {{Phdthesis |Title=Probabilistic Causality in Markovian Models |Instructor=Prof. Dr. Christel Baier |Date=2024/03/09 |School=TU Dresden }} {{Publikation Details |Abstract=The complexity of modern computer and software systems still seems to grow exponentially, while the human user is widely left without explanations on how to understand these systems. One of the central…“)
15:34, 5 March 2025 ‎Algebraische und logische Grundlagen der Informatik/Abgeschlossene Studienarbeiten/en (hist | edit) ‎[97 bytes] ‎Johannes Lehmann (talk | contribs) (Page created automatically by parser function on page Algebraische und logische Grundlagen der Informatik)