Neue Seiten

14:39, 24. Apr. 2024 ‎Inproceedings3379 (Versionen | bearbeiten) ‎[1.486 Bytes] ‎Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Jonas Karge }} {{Inproceedings |Referiert=1 |Title=Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents |To appear=1 |Year=2024 |Booktitle=Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 |Publisher=ijcai.org }} {{Publikation Details |Abstract=We introduce a constructive met…“)
09:37, 19. Apr. 2024 ‎News96 (Versionen | bearbeiten) ‎[1.668 Bytes] ‎Larry Gonzalez (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Best Paper Award für Forschende der ICCL |Titel EN=ICCL Researchers win Best Paper Award at SAC 2024 |Beschreibung DE=Franz Baader und Filippo De Bortoli erhielten den Best Paper Award im Information Systems Track des [https://www.sigapp.org/sac/sac2024/ 39th ACM/SIGAPP Symposium on Applied Computing]. Ausgezeichnet wurde das Paper [https://iccl.inf.tu-dresden.de/web/Inproceedings3377 "The Abstract Expressive Power of First-…“)
09:37, 19. Apr. 2024 ‎News96/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Larry Gonzalez (Diskussion | Beiträge) (Page created automatically by parser function on page News96)
14:43, 18. Apr. 2024 ‎News95 (Versionen | bearbeiten) ‎[2.280 Bytes] ‎Larry Gonzalez (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Ankündigung: Themenvergabe für studentische Projekte |Titel EN=KBS group present student topics |Beschreibung DE=Am 25. April stellt die KBS-Gruppe in Raum APB 3027 mehrere studentische Projekte vor. <br> In vielen Studiengängen der Fakultät Informatik ist es notwendig, Projektarbeiten zu absolvieren. Diese sind eine hervorragende Gelegenheit gelerntes Wissen anzuwenden, Methoden des wissenschaftlichen Arbeitens zu erlernen sow…“)
14:43, 18. Apr. 2024 ‎News95/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Larry Gonzalez (Diskussion | Beiträge) (Page created automatically by parser function on page News95)
10:53, 17. Apr. 2024 ‎Article3097 (Versionen | bearbeiten) ‎[1.657 Bytes] ‎Bartosz Bednarczyk (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk }} {{Article |Referiert=0 |Title=Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features. |To appear=1 |Year=2024 |Month=Mai |Journal=Logical Methods in Computer Science }} {{Publikation Details |Abstract=We investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in descr…“)
10:49, 17. Apr. 2024 ‎Inproceedings3378 (Versionen | bearbeiten) ‎[943 Bytes] ‎Bartosz Bednarczyk (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk }} {{Inproceedings |Referiert=1 |Title=Data Complexity in Expressive Description Logics With Path Expressions |To appear=1 |Year=2024 |Month=August |Booktitle=Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 |Publisher=ijcai.org }} {{Publikation Details |Abstract=We investigate the data complexity of the satisfiability proble…“)
17:28, 15. Apr. 2024 ‎Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models (Versionen | bearbeiten) ‎[1.084 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models |Beschreibung EN=The restricted chase is a fundamental reasoning algorithm in database theory that can be used for (conjunctive) query answering. For a given pair of a set of existential rules and a database, the restricted chase yields a so-called universal model. Such a model can be embedded into every (other) model and therefore be used fo…“)
17:28, 15. Apr. 2024 ‎Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models)
14:13, 15. Apr. 2024 ‎Inproceedings3377 (Versionen | bearbeiten) ‎[2.988 Bytes] ‎Filippo De Bortoli (Diskussion | Beiträge) (Adds publication by Baader and De Bortoli in SAC '24.)
08:46, 9. Apr. 2024 ‎Chase Termination Beyond Polynomial Time (Versionen | bearbeiten) ‎[1.438 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Chase Termination Beyond Polynomial Time |Beschreibung EN=The chase is a widely implemented approach to reason with tuple-generating dependencies (tgds, aka. existential rules), used in data exchange, data integration, and ontology-based query answering. However, it is merely a semi-decision procedure, which may fail to terminate. Many decidable conditions have been proposed for tgds to ensure chase termination, typically by forb…“)
08:46, 9. Apr. 2024 ‎Chase Termination Beyond Polynomial Time/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Chase Termination Beyond Polynomial Time)
17:57, 8. Apr. 2024 ‎Inproceedings3376 (Versionen | bearbeiten) ‎[1.558 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=Chase Termination Beyond Polynomial Time |To appear=1 |Year=2024 |Booktitle=Proceedings of the 43rd Symposium on Principles of Database Systems (PODS’24) |Publisher=ACM }} {{Publikation Details |Download=Chase Termination Beyond Polynomial Time.pdf |Projekt=Cfaed, CPEC, SECAI, ScaDS.AI |Forschungsgru…“)
11:55, 8. Apr. 2024 ‎HÜL/S386 (Versionen | bearbeiten) ‎[236 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (new room HÜL/S386)
11:55, 8. Apr. 2024 ‎HÜL/S386/en (Versionen | bearbeiten) ‎[11 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (Page created automatically by parser function on page HÜL/S386)
11:05, 8. Apr. 2024 ‎An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation)
08:06, 8. Apr. 2024 ‎An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (Versionen | bearbeiten) ‎[1.298 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation |Beschreibung EN=Conditional independence is a crucial concept supporting adequate modelling and efficient reasoning in probabilistics. In knowledge representation, the idea of conditional independence has also been introduced for specific formalisms, such as propositional logic and belief revision. In this talk, I show how the notion…“)
15:16, 4. Apr. 2024 ‎Proof Theory and Sequent Systems (SS2024) (Versionen | bearbeiten) ‎[2.486 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=SS |Year=2024 |Module=CMS-LM-ADV, CMS-LM-MOC, INF-BAS6, INF-PM-FOR, INF-VERT6 |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 d…“)
15:35, 28. Mär. 2024 ‎First-Order Logic – Semantic and Computational Properties (SS2024)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Dörthe Arndt (Diskussion | Beiträge) (Page created automatically by parser function on page First-Order Logic – Semantic and Computational Properties (SS2024))
15:35, 28. Mär. 2024 ‎First-Order Logic – Semantic and Computational Properties (SS2024) (Versionen | bearbeiten) ‎[927 Bytes] ‎Dörthe Arndt (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=First-Order Logic – Semantic and Computational Properties |Research group=Computational Logic |Lecturers=Dörthe Arndt |Term=SS |Year=2024…“)
16:26, 25. Mär. 2024 ‎Generating molecule graphs from mass spectrometry results using Answer-Set-Programming/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Piotr Ostropolski-Nalewaja (Diskussion | Beiträge) (Page created automatically by parser function on page Generating molecule graphs from mass spectrometry results using Answer-Set-Programming)
16:26, 25. Mär. 2024 ‎Generating molecule graphs from mass spectrometry results using Answer-Set-Programming (Versionen | bearbeiten) ‎[1.344 Bytes] ‎Piotr Ostropolski-Nalewaja (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Generating molecule graphs from mass spectrometry results using Answer-Set-Programming |Beschreibung EN=Abstract: Mass spectrometry i…“)
09:06, 25. Mär. 2024 ‎Theorem Proving with LEAN (SS2024)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (Page created automatically by parser function on page Theorem Proving with LEAN (SS2024))
09:06, 25. Mär. 2024 ‎Theorem Proving with LEAN (SS2024) (Versionen | bearbeiten) ‎[1.606 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (initialized LEAN for summer 2024)
13:52, 24. Mär. 2024 ‎Seminar Logic-Based Knowledge Representation (SS2024)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Sebastian Rudolph (Diskussion | Beiträge) (Page created automatically by parser function on page Seminar Logic-Based Knowledge Representation (SS2024))
13:52, 24. Mär. 2024 ‎Seminar Logic-Based Knowledge Representation (SS2024) (Versionen | bearbeiten) ‎[2.216 Bytes] ‎Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Logic-Based Knowledge Representation |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Term=SS |Year=2024 |Module=CM…“)
12:45, 24. Mär. 2024 ‎Introduction to Existential Rules (SS2024)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Sebastian Rudolph (Diskussion | Beiträge) (Page created automatically by parser function on page Introduction to Existential Rules (SS2024))
12:45, 24. Mär. 2024 ‎Introduction to Existential Rules (SS2024) (Versionen | bearbeiten) ‎[4.131 Bytes] ‎Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Introduction to Existential Rules |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Term=SS |Year=2024 |Module=CMS-LM-ADV, C…“)
13:36, 14. Mär. 2024 ‎Algorithmic Game Theory (SS2024)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Hannes Straß (Diskussion | Beiträge) (Page created automatically by parser function on page Algorithmic Game Theory (SS2024))
13:36, 14. Mär. 2024 ‎Algorithmic Game Theory (SS2024) (Versionen | bearbeiten) ‎[3.491 Bytes] ‎Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Algorithmic Game Theory |Research group=Computational Logic |Lecturers=Hannes Straß |Tutors=Jonas Karge; Piotr Gorczyca |Term=SS |Year=2024…“)
14:23, 29. Feb. 2024 ‎Theoretische Informatik und Logik (SS2024)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (Page created automatically by parser function on page Theoretische Informatik und Logik (SS2024))
14:23, 29. Feb. 2024 ‎Theoretische Informatik und Logik (SS2024) (Versionen | bearbeiten) ‎[15.079 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (initiated lecture on TheoInf)
12:44, 29. Feb. 2024 ‎Concurrency Theory (SS2024)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (Page created automatically by parser function on page Concurrency Theory (SS2024))
12:44, 29. Feb. 2024 ‎Concurrency Theory (SS2024) (Versionen | bearbeiten) ‎[7.128 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (initial concurrency theory lecture (summer term 2024))
08:38, 26. Feb. 2024 ‎Article3096 (Versionen | bearbeiten) ‎[1.886 Bytes] ‎Sarah Gaggl (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Johannes Klaus |ErsterAutorNachname=Fichte |FurtherAuthors=Sarah Alice Gaggl; Markus Hecher; Dominik Rusovac }}…“)
15:49, 15. Feb. 2024 ‎Aktivitaet2125 (Versionen | bearbeiten) ‎[180 Bytes] ‎Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Mitglied im Programmkomitee der KR 2024 |Beschreibung EN=PC member of KR 2024 |Person=Hannes Straß |Start(Jahr)=2024 |Ende(Jahr)…“)
21:07, 13. Feb. 2024 ‎Answer Set Navigation alongside Quantitative Reasoning/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Piotr Ostropolski-Nalewaja (Diskussion | Beiträge) (Page created automatically by parser function on page Answer Set Navigation alongside Quantitative Reasoning)
21:07, 13. Feb. 2024 ‎Answer Set Navigation alongside Quantitative Reasoning (Versionen | bearbeiten) ‎[835 Bytes] ‎Piotr Ostropolski-Nalewaja (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Answer Set Navigation alongside Quantitative Reasoning |Beschreibung EN=Abstract: This is a so called status talk of PhD student Domi…“)
11:53, 12. Feb. 2024 ‎Aktivitaet2124 (Versionen | bearbeiten) ‎[315 Bytes] ‎Stefan Ellmauthaler (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Co-Organisator des 5. International Workshop on Systems and Algorithms for Formal Argumentation |Beschreibung EN=Co-chair of the…“)
11:51, 12. Feb. 2024 ‎Aktivitaet2123 (Versionen | bearbeiten) ‎[287 Bytes] ‎Stefan Ellmauthaler (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Programmkomiteemitglied der 27. European Conference on Artificial Intelligence |Beschreibung EN=Program committee member of the 2…“)
17:56, 2. Feb. 2024 ‎SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer)/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Piotr Ostropolski-Nalewaja (Diskussion | Beiträge) (Page created automatically by parser function on page SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer))
17:56, 2. Feb. 2024 ‎SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer) (Versionen | bearbeiten) ‎[1.462 Bytes] ‎Piotr Ostropolski-Nalewaja (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer) |Beschreibung EN=Abstract…“)
15:57, 29. Jan. 2024 ‎ASYDE: An Argumentation-based System for classifYing Driving bEhaviors/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Piotr Ostropolski-Nalewaja (Diskussion | Beiträge) (Page created automatically by parser function on page ASYDE: An Argumentation-based System for classifYing Driving bEhaviors)
15:57, 29. Jan. 2024 ‎ASYDE: An Argumentation-based System for classifYing Driving bEhaviors (Versionen | bearbeiten) ‎[2.472 Bytes] ‎Piotr Ostropolski-Nalewaja (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=ASYDE: An Argumentation-based System for classifYing Driving bEhaviors |Beschreibung EN=Abstract: Examining the influence of human…“)