Neue Seiten
Aus International Center for Computational Logic
- 07:36, 25. Jun. 2024 Research Lightning Talks (Versionen | bearbeiten) [2.100 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Research Lightning Talks |Beschreibung EN=In this seminar session, three of our guest students will present their recent and ongoing research in three short talks. 1. Aidan Bailey will show two applications of ASP. On one hand, the generation of propositional formulas, and by extension knowledge bases, adhering to specified properties. On the other hand, graph drawing via placements of nodes and edges adhering to constraints a…“)
- 07:36, 25. Jun. 2024 Research Lightning Talks/en (Versionen | bearbeiten) [20 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Research Lightning Talks)
- 08:15, 24. Jun. 2024 Characterizing common argumentation semantics using branch evaluations for justification systems (Versionen | bearbeiten) [1.570 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Characterizing common argumentation semantics using branch evaluations for justification systems |Beschreibung EN=First introduced in 2015 by Denecker, Brewka and Strass, justification theory is formalism providing a new way of characterizing semantics for both logic programs and Dung style argumentation frameworks. Justification theory uses branch evaluation functions operating on a body of rules and an interpretation to define…“)
- 08:15, 24. Jun. 2024 Characterizing common argumentation semantics using branch evaluations for justification systems/en (Versionen | bearbeiten) [20 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Characterizing common argumentation semantics using branch evaluations for justification systems)
- 11:03, 20. Jun. 2024 A SHACL primer for KR researchers (Versionen | bearbeiten) [1.072 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=A SHACL primer for KR researchers |Beschreibung EN=The Shapes Constraint Language (SHACL) was recommended by the W3C in 2017 for describing constraints on RDF graphs and validating them. As it turns out, SHACL is closely related to Description Logics and to monadic Datalog, both familiar KR languages. Building on these connections, we introduce SHACL and its main reasoning problems in familiar KR terms. We discuss in particular…“)
- 11:03, 20. Jun. 2024 A SHACL primer for KR researchers/en (Versionen | bearbeiten) [20 Bytes] Sebastian Rudolph (Diskussion | Beiträge) (Page created automatically by parser function on page A SHACL primer for KR researchers)
- 09:36, 19. Jun. 2024 Inproceedings3385 (Versionen | bearbeiten) [1.104 Bytes] Sergei Obiedkov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Saurabh |ErsterAutorNachname=Bansal |FurtherAuthors=Sriram Kailasam; Sergei Obiedkov }} {{Inproceedings |Referiert=1 |Title=Approximate Computation of Exact Association Rules |To appear=0 |Year=2021 |Month=Juni |Booktitle=Formal Concept Analysis. ICFCA 2021 |Pages=107--122 |Publisher=Springer |Editor=Agnès Braud, Aleksey Buzmakov, Tom Hanika, Florence Le Ber |Series=Lecture Notes in Computer Science |Volume=…“)
- 13:41, 18. Jun. 2024 PhD Defense of Bartosz Bednarczyk (Versionen | bearbeiten) [835 Bytes] Bartosz Bednarczyk (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=PhD Defense of Bartosz Bednarczyk |Beschreibung EN=The public defence of the doctoral dissertation titled "Database-Inspired Reasoning Problems in Description Logics With Path Expressions" by Bartosz Bednarczyk (supervised by prof. Sebastian Rudolph and prof. Emanuel Kieroński) will take place on the 25th of June at 01:30 p.m. (APB 1004). The draft of the thesis is available here: https://iccl.inf.tu-dresden.de/web/Phdthesi…“)
- 13:41, 18. Jun. 2024 PhD Defense of Bartosz Bednarczyk/en (Versionen | bearbeiten) [20 Bytes] Bartosz Bednarczyk (Diskussion | Beiträge) (Page created automatically by parser function on page PhD Defense of Bartosz Bednarczyk)
- 12:17, 18. Jun. 2024 Phdthesis3021 (Versionen | bearbeiten) [402 Bytes] Bartosz Bednarczyk (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk }} {{Phdthesis |Title=Database-Inspired Reasoning Problems in Description Logics With Path Expressions |Date=2024/06/25 |School=Technischen Universitat Dresden }} {{Publikation Details |Download=thesis-BBE-v1.pdf |Projekt=DeciGUT |Forschungsgruppe=Computational Logic }}“)
- 09:05, 18. Jun. 2024 Nemo: Your Friendly and Versatile Rule Reasoning Toolkit (Versionen | bearbeiten) [934 Bytes] Alex Ivliev (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Nemo: Your Friendly and Versatile Rule Reasoning Toolkit |Beschreibung EN=I give a short introduction to Nemo, a toolkit for rule-based reasoning and data processing that emphasises robustness and ease of use. Nemo is a scalable and efficient main-memory reasoner that supports an expressive extension of Datalog with support for datatypes, existential rules, aggregates, and (stratified) negation. Built around this core is a ver…“)
- 09:05, 18. Jun. 2024 Nemo: Your Friendly and Versatile Rule Reasoning Toolkit/en (Versionen | bearbeiten) [20 Bytes] Alex Ivliev (Diskussion | Beiträge) (Page created automatically by parser function on page Nemo: Your Friendly and Versatile Rule Reasoning Toolkit)
- 21:35, 14. Jun. 2024 News99 (Versionen | bearbeiten) [3.880 Bytes] Larry Gonzalez (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=ICCL-Forscher:innen nehmen an Rewe Team Challenge 2024 teil |Titel EN=ICLL researchers participate in Rewe Challenge 2024! |Beschreibung DE=Zwei Teams von ICCL-Forscher:innen haben am 12. Juni an der jährlichen Rewe Team Challenge in Dresden teilgenommen. Dieses Event, bekannt für seinen leidenschaftlichen Wettbewerb und den ausgeprägten Teamgeist unter den Teilnehmer:innen, brachte Menschen aus unterschiedlichsten Organisationen…“)
- 21:35, 14. Jun. 2024 News99/en (Versionen | bearbeiten) [16 Bytes] Larry Gonzalez (Diskussion | Beiträge) (Page created automatically by parser function on page News99)
- 21:30, 14. Jun. 2024 News98 (Versionen | bearbeiten) [5.226 Bytes] Larry Gonzalez (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Forschungsgruppe Computational Logic begrüßt Anouk Michelle Oudshroorn und Nick Leisegang |Titel EN=Anouk Michelle Oudshroorn and Nick Leisegang visit the Computational Logic Research Group |Beschreibung DE=Die Forschungsgruppe Computational Logic an der [https://tu-dresden.de/ing/informatik/ Fakultät Informatik] der [https://tu-dresden.de/ TU Dresden] freut sich, Anouk Michelle Oudshroorn und Nicholas Leisegang als Forschungs…“)
- 21:30, 14. Jun. 2024 News98/en (Versionen | bearbeiten) [16 Bytes] Larry Gonzalez (Diskussion | Beiträge) (Page created automatically by parser function on page News98)
- 22:07, 13. Jun. 2024 Inproceedings3384 (Versionen | bearbeiten) [1.762 Bytes] Jonas Karge (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lea |ErsterAutorNachname=Bauer |FurtherAuthors=Jonas Karge }} {{Inproceedings |Referiert=1 |Title=Multi-Agent Opinion Pooling by Voting for Bins: Simulations and Characterization |To appear=1 |Year=2024 |Booktitle=22nd nternational Conference on Practical Applications of Agents and Multi-Agent Systems }} {{Publikation Details |Abstract=In the context of aggregating probabilistic opinions from multiple agents…“)
- 15:07, 12. Jun. 2024 Inproceedings3383 (Versionen | bearbeiten) [394 Bytes] Luisa Herrmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Luisa |ErsterAutorNachname=Herrmann |FurtherAuthors=Richard Mörbitz }} {{Inproceedings |Referiert=1 |Title=Global One-Counter Tree Automata |To appear=1 |Year=2024 |Booktitle=28th International Conference on Implementation and Application of Automata (CIAA 2024) }} {{Publikation Details |Projekt=ScaDS.AI |Forschungsgruppe=Computational Logic }}“)
- 09:12, 6. Jun. 2024 News97 (Versionen | bearbeiten) [2.755 Bytes] Alex Ivliev (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Forschende der ICCL mit Best Paper Award ausgezeichnet |Titel EN=HSCC 2024 Awards Best Paper to ICCL-Researchers |Beschreibung DE=<p>Das Paper [https://dl.acm.org/doi/10.1145/3641513.3650173 "Linear Dynamical Systems with Continuous Weight Functions"] von Rajab Aghamov, Christel Baier, Toghrul Karimov, Joel Ouaknine and Jakob Piribauer erhielt den Best Paper Award auf der [https://hscc.acm.org/2024/ HSCC 2024]. Die Forschungs…“)
- 09:12, 6. Jun. 2024 News97/en (Versionen | bearbeiten) [16 Bytes] Alex Ivliev (Diskussion | Beiträge) (Page created automatically by parser function on page News97)
- 13:52, 3. Jun. 2024 Musings on Graph Data, Schemas, Modality, and Coinduction (Versionen | bearbeiten) [868 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Musings on Graph Data, Schemas, Modality, and Coinduction |Beschreibung EN=In this talk, I'll report on a schema model for graph databases I thought about in late April 2019. The model itself has some nice theoretical and, admittedly, some weird practical consequences. The talk will provide some light in both directions. Up until the submission of my PhD thesis in October 2019, I developed the schema model further and in that ver…“)
- 13:52, 3. Jun. 2024 Musings on Graph Data, Schemas, Modality, and Coinduction/en (Versionen | bearbeiten) [20 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Musings on Graph Data, Schemas, Modality, and Coinduction)
- 15:37, 27. Mai 2024 Inproceedings3382 (Versionen | bearbeiten) [1.841 Bytes] Sergei Obiedkov (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Daniil |ErsterAutorNachname=Kosakin |FurtherAuthors=Sergei Obiedkov; Ekaterina Rakhilina; Ivan Smirnov; Anastasia Vyrenkova; Ekaterina Zalivina }} {{Inproceedings |Referiert=1 |Title=Russian Learner Corpus: Towards Error-Cause Annotation for L2 Russian |To appear=0 |Year=2024 |Month=Mai |Booktitle=Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evalu…“)
- 16:45, 20. Mai 2024 Inproceedings3381 (Versionen | bearbeiten) [1.532 Bytes] Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Piotr |ErsterAutorNachname=Ostropolski-Nalewaja |FurtherAuthors=Tim Lyon }} {{Inproceedings |Referiert=1 |Title=Decidability of Quasi-Dense Modal Logics |To appear=0 |Year=2024 |Booktitle=Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024) |Publisher=ACM }} {{Publikation Details |Abstract=The decidability of axiomatic extensions of the modal logic K with modal reduction…“)
- 16:37, 8. Mai 2024 Minesweeper goes Kaboom (in ASP) - and what makes it difficult (Versionen | bearbeiten) [687 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Minesweeper goes Kaboom (in ASP) - and what makes it difficult |Beschreibung EN=Kaboom is a fair Minesweeper game. The original Kaboom is implemented with a SAT solver, and we present an implementation in ASP (Answer Set Programming). We will derive a recommender heuristic and demonstrate the game. At the end we will discuss what makes Minesweeper and Kaboom difficult and how they differ in that regard. |Veranstaltungsart=Verteid…“)
- 16:37, 8. Mai 2024 Minesweeper goes Kaboom (in ASP) - and what makes it difficult/en (Versionen | bearbeiten) [20 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Minesweeper goes Kaboom (in ASP) - and what makes it difficult)
- 14:22, 8. Mai 2024 Inproceedings3380 (Versionen | bearbeiten) [1.659 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach |FurtherAuthors=David Carral; Markus Hecher }} {{Inproceedings |Referiert=1 |Title=Finite Groundings for ASP with Functions: A Journey through Consistency (Technical Report) |To appear=1 |Year=2024 |Booktitle=IJCAI 2024 }} {{Publikation Details |Abstract=Answer set programming (ASP) is a logic programming formalism used in various areas of artificial intelligence like combin…“)
- 10:57, 1. Mai 2024 Data Complexity in Expressive Description Logics With Path Expressions (Versionen | bearbeiten) [882 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Data Complexity in Expressive Description Logics With Path Expressions |Beschreibung EN=In my recent IJCAI paper I established NP-completeness of the satisfiability problem (w.r.t. the data complexity) of the maximal known decidable fragments ZIQ, ZOQ, and ZOI of the very description logic ZOIQ (a.k.a. ALCHb^self_regOIQ). The proof uniformly deals with these three logics, by considering the DL ZOIQ but over forest-like structure…“)
- 10:57, 1. Mai 2024 Data Complexity in Expressive Description Logics With Path Expressions/en (Versionen | bearbeiten) [20 Bytes] Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Data Complexity in Expressive Description Logics With Path Expressions)
- 14:39, 24. Apr. 2024 Inproceedings3379 (Versionen | bearbeiten) [1.487 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.762 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) [972 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) [3.392 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…“)