New pages
From International Center for Computational Logic
- 14:39, 24 April 2024 Inproceedings3379 (hist | edit) [1,486 bytes] Tim Lyon (talk | contribs) (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 April 2024 News96 (hist | edit) [1,668 bytes] Larry Gonzalez (talk | contribs) (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 April 2024 News96/en (hist | edit) [16 bytes] Larry Gonzalez (talk | contribs) (Page created automatically by parser function on page News96)
- 14:43, 18 April 2024 News95 (hist | edit) [2,280 bytes] Larry Gonzalez (talk | contribs) (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 April 2024 News95/en (hist | edit) [16 bytes] Larry Gonzalez (talk | contribs) (Page created automatically by parser function on page News95)
- 10:53, 17 April 2024 Article3097 (hist | edit) [1,657 bytes] Bartosz Bednarczyk (talk | contribs) (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 April 2024 Inproceedings3378 (hist | edit) [943 bytes] Bartosz Bednarczyk (talk | contribs) (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 April 2024 Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models (hist | edit) [1,084 bytes] Lukas Gerlach (talk | contribs) (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 April 2024 Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models/en (hist | edit) [20 bytes] Lukas Gerlach (talk | contribs) (Page created automatically by parser function on page Ighting my Proof Anxiety with Lean - The Restricted Chase Indeed Yields Universal Models)
- 14:13, 15 April 2024 Inproceedings3377 (hist | edit) [2,988 bytes] Filippo De Bortoli (talk | contribs) (Adds publication by Baader and De Bortoli in SAC '24.)
- 08:46, 9 April 2024 Chase Termination Beyond Polynomial Time (hist | edit) [1,438 bytes] Lukas Gerlach (talk | contribs) (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 April 2024 Chase Termination Beyond Polynomial Time/en (hist | edit) [20 bytes] Lukas Gerlach (talk | contribs) (Page created automatically by parser function on page Chase Termination Beyond Polynomial Time)
- 17:57, 8 April 2024 Inproceedings3376 (hist | edit) [1,558 bytes] Philipp Hanisch (talk | contribs) (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 April 2024 HÜL/S386 (hist | edit) [236 bytes] Stephan Mennicke (talk | contribs) (new room HÜL/S386)
- 11:55, 8 April 2024 HÜL/S386/en (hist | edit) [11 bytes] Stephan Mennicke (talk | contribs) (Page created automatically by parser function on page HÜL/S386)
- 11:05, 8 April 2024 An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation/en (hist | edit) [20 bytes] Lukas Gerlach (talk | contribs) (Page created automatically by parser function on page An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation)
- 08:06, 8 April 2024 An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (hist | edit) [1,298 bytes] Lukas Gerlach (talk | contribs) (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 April 2024 Proof Theory and Sequent Systems (SS2024) (hist | edit) [2,486 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=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 March 2024 First-Order Logic – Semantic and Computational Properties (SS2024)/en (hist | edit) [16 bytes] Dörthe Arndt (talk | contribs) (Page created automatically by parser function on page First-Order Logic – Semantic and Computational Properties (SS2024))
- 15:35, 28 March 2024 First-Order Logic – Semantic and Computational Properties (SS2024) (hist | edit) [927 bytes] Dörthe Arndt (talk | contribs) (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 March 2024 Generating molecule graphs from mass spectrometry results using Answer-Set-Programming/en (hist | edit) [20 bytes] Piotr Ostropolski-Nalewaja (talk | contribs) (Page created automatically by parser function on page Generating molecule graphs from mass spectrometry results using Answer-Set-Programming)
- 16:26, 25 March 2024 Generating molecule graphs from mass spectrometry results using Answer-Set-Programming (hist | edit) [1,344 bytes] Piotr Ostropolski-Nalewaja (talk | contribs) (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 March 2024 Theorem Proving with LEAN (SS2024)/en (hist | edit) [16 bytes] Stephan Mennicke (talk | contribs) (Page created automatically by parser function on page Theorem Proving with LEAN (SS2024))
- 09:06, 25 March 2024 Theorem Proving with LEAN (SS2024) (hist | edit) [1,606 bytes] Stephan Mennicke (talk | contribs) (initialized LEAN for summer 2024)
- 13:52, 24 March 2024 Seminar Logic-Based Knowledge Representation (SS2024)/en (hist | edit) [16 bytes] Sebastian Rudolph (talk | contribs) (Page created automatically by parser function on page Seminar Logic-Based Knowledge Representation (SS2024))
- 13:52, 24 March 2024 Seminar Logic-Based Knowledge Representation (SS2024) (hist | edit) [2,216 bytes] Sebastian Rudolph (talk | contribs) (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 March 2024 Introduction to Existential Rules (SS2024)/en (hist | edit) [16 bytes] Sebastian Rudolph (talk | contribs) (Page created automatically by parser function on page Introduction to Existential Rules (SS2024))
- 12:45, 24 March 2024 Introduction to Existential Rules (SS2024) (hist | edit) [4,131 bytes] Sebastian Rudolph (talk | contribs) (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 March 2024 Algorithmic Game Theory (SS2024)/en (hist | edit) [16 bytes] Hannes Straß (talk | contribs) (Page created automatically by parser function on page Algorithmic Game Theory (SS2024))
- 13:36, 14 March 2024 Algorithmic Game Theory (SS2024) (hist | edit) [3,661 bytes] Hannes Straß (talk | contribs) (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 February 2024 Theoretische Informatik und Logik (SS2024)/en (hist | edit) [16 bytes] Stephan Mennicke (talk | contribs) (Page created automatically by parser function on page Theoretische Informatik und Logik (SS2024))
- 14:23, 29 February 2024 Theoretische Informatik und Logik (SS2024) (hist | edit) [15,079 bytes] Stephan Mennicke (talk | contribs) (initiated lecture on TheoInf)
- 12:44, 29 February 2024 Concurrency Theory (SS2024)/en (hist | edit) [16 bytes] Stephan Mennicke (talk | contribs) (Page created automatically by parser function on page Concurrency Theory (SS2024))
- 12:44, 29 February 2024 Concurrency Theory (SS2024) (hist | edit) [7,128 bytes] Stephan Mennicke (talk | contribs) (initial concurrency theory lecture (summer term 2024))
- 08:38, 26 February 2024 Article3096 (hist | edit) [1,886 bytes] Sarah Gaggl (talk | contribs) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Johannes Klaus |ErsterAutorNachname=Fichte |FurtherAuthors=Sarah Alice Gaggl; Markus Hecher; Dominik Rusovac }}…“)
- 15:49, 15 February 2024 Aktivitaet2125 (hist | edit) [180 bytes] Hannes Straß (talk | contribs) (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 February 2024 Answer Set Navigation alongside Quantitative Reasoning/en (hist | edit) [20 bytes] Piotr Ostropolski-Nalewaja (talk | contribs) (Page created automatically by parser function on page Answer Set Navigation alongside Quantitative Reasoning)
- 21:07, 13 February 2024 Answer Set Navigation alongside Quantitative Reasoning (hist | edit) [835 bytes] Piotr Ostropolski-Nalewaja (talk | contribs) (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 February 2024 Aktivitaet2124 (hist | edit) [315 bytes] Stefan Ellmauthaler (talk | contribs) (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 February 2024 Aktivitaet2123 (hist | edit) [287 bytes] Stefan Ellmauthaler (talk | contribs) (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 February 2024 SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer)/en (hist | edit) [20 bytes] Piotr Ostropolski-Nalewaja (talk | contribs) (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 February 2024 SHACL validation over DL-Lite, ELHI and Horn-SHIQ ontologies (or calculating the core chase layer-by-layer) (hist | edit) [1,462 bytes] Piotr Ostropolski-Nalewaja (talk | contribs) (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 January 2024 ASYDE: An Argumentation-based System for classifYing Driving bEhaviors/en (hist | edit) [20 bytes] Piotr Ostropolski-Nalewaja (talk | contribs) (Page created automatically by parser function on page ASYDE: An Argumentation-based System for classifYing Driving bEhaviors)
- 15:57, 29 January 2024 ASYDE: An Argumentation-based System for classifYing Driving bEhaviors (hist | edit) [2,472 bytes] Piotr Ostropolski-Nalewaja (talk | contribs) (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…“)