Benutzerbeiträge von „Nils Küchenmeister“

22. Oktober 2026

• 15:0815:08, 22. Okt. 2026 Unterschied Versionen −2.608 On the Complexity of Model Checking for Temporal Equilibrium Logic Keine Bearbeitungszusammenfassung aktuell
• 15:0815:08, 22. Okt. 2026 Unterschied Versionen +3.336 On the Complexity of Model Checking for Temporal Equilibrium Logic Keine Bearbeitungszusammenfassung

15. Oktober 2026

• 20:2420:24, 15. Okt. 2026 Unterschied Versionen +961 N On the Complexity of Model Checking for Temporal Equilibrium Logic Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=On the Complexity of Model Checking for Temporal Equilibrium Logic |Beschreibung EN=Given an interpretation 𝐼 and a formula 𝜑 written in a logic 𝐿 , the problem of model checking (MC) for 𝐿 is the problem of determining whether 𝐼 is a model of 𝜑. In this work, the computational complexity of MC for temporal equilibrium logic (TEL), a temporal extension of ASP, is investigated. The complexity of the universal and…“
• 13:2713:27, 15. Okt. 2026 Unterschied Versionen +1.140 N Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory |Beschreibung EN=In logic programming, negation can be interpreted in various ways. Probably best known is the concept of "negation as failure", where "notp" is true if we have no evidence for p. On the other hand, strong negation requires that we have evidence for p being false. Defining semantics for logic programs containing both kinds…“ aktuell
• 07:3207:32, 15. Okt. 2026 Unterschied Versionen +1.101 N Temporal Properties of Conditional Independence in Dynamic Bayesian Networks Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Temporal Properties of Conditional Independence in Dynamic Bayesian Networks |Beschreibung EN=Dynamic Bayesian networks (DBNs) provide compact graphical representations of probabilistic systems that evolve over time. This talk presents results on verifying the evolution of conditional-independence propositions against temporal specifications. Two interpretations are considered: stochastic conditional independence, which takes the…“ aktuell

14. Oktober 2026

• 11:1411:14, 14. Okt. 2026 Unterschied Versionen +1.726 N Rewrite Once, Validate Anywhere: Producing OWL-Aware SHACL Constraints Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Rewrite Once, Validate Anywhere: Producing OWL-Aware SHACL Constraints |Beschreibung EN=The Shapes Constraint Language (SHACL) is a W3C recommendation to express syntactic constraints, called shapes, on RDF graphs. SHACL validators are used to test whether a given graph adheres to such a shape. However, RDF graphs often come with OWL ontologies, whose implicit knowledge needs to be taken into account. This is classically handled…“ aktuell

13. Oktober 2026

• 08:5808:58, 13. Okt. 2026 Unterschied Versionen +333 N Smallest Synchronizing Terms over Constant Alphabets Can Be Exponentially High Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Smallest Synchronizing Terms over Constant Alphabets Can Be Exponentially High |Veranstaltungsart=Vortrag |Start=2027-01-21 11:00:00 |Ende=2027-01-21 12:00:00 |Raum=APB 3027 |Vortragender=Luisa Herrmann |Forschungsgruppe=Computational Logic |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“ aktuell

12. Oktober 2026

• 14:3914:39, 12. Okt. 2026 Unterschied Versionen +1.213 N A Guided Tour of Sequent Formalisms for Modal Logics Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=A Guided Tour of Sequent Formalisms for Modal Logics |Beschreibung EN=This tutorial explores the landscape of sequent-based proof formalisms for modal logics, using Gödel-Löb provability logic (GL) as a running example. We survey four major paradigms--labeled sequents, nested (or tree) sequents, linear nested sequents, and Gentzen sequents--and discuss the various trade-offs of choosing one formalism over another, including seq…“ aktuell

9. Oktober 2026

• 08:3908:39, 9. Okt. 2026 Unterschied Versionen +1.254 Reinforcement Learning for BDD Variable Ordering Keine Bearbeitungszusammenfassung aktuell

8. Oktober 2026

• 10:2910:29, 8. Okt. 2026 Unterschied Versionen +339 N Reinforcement Learning for BDD Variable Ordering Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Reinforcement Learning for BDD Variable Ordering |Veranstaltungsart=Vortrag |Start=2026-11-05 11:00:00 |Ende=2026-11-05 12:00:00 |Raum=APB 3027 |Vortragender=Luke Slater |Eingeladen durch=Markus Krötzsch |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“
• 10:2510:25, 8. Okt. 2026 Unterschied Versionen +319 N Survey of Syntax Splitting Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Survey of Syntax Splitting |Veranstaltungsart=Vortrag |Start=2026-11-12 11:00:00 |Ende=2026-11-12 12:00:00 |Raum=APB 3027 |Vortragender=Ameerah Allie |Eingeladen durch=Markus Krötzsch |Forschungsgruppe=Wissensbasierte Systeme |Event series=Research Seminar Logic and AI |In News anzeigen=1 }}“ aktuell

7. Oktober 2026

• 08:1208:12, 7. Okt. 2026 Unterschied Versionen +6 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung aktuell

6. Oktober 2026

• 07:2207:22, 6. Okt. 2026 Unterschied Versionen +20 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 06:3306:33, 6. Okt. 2026 Unterschied Versionen +15 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 06:3206:32, 6. Okt. 2026 Unterschied Versionen −3 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 06:3106:31, 6. Okt. 2026 Unterschied Versionen +45 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung
• 06:2606:26, 6. Okt. 2026 Unterschied Versionen +1.030 N Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem) Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem) |Beschreibung EN=Every closure operator on a finite set admits a canonical minimum implication basis – the stem base or Duquenne--Guigues base – whose premises are the pseudo-closed sets. The Pseudo-Closed Family problem (PCF) asks whether a given family of sets equals the pseudo-closed sets of some closure operator. We prove…“ aktuell

5. Oktober 2026

• 15:1415:14, 5. Okt. 2026 Unterschied Versionen +1.408 N Stratified Negation in RDF Rules: A Correct Approach Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Stratified Negation in RDF Rules: A Correct Approach |Beschreibung EN=Combining RDF rule languages, such as N3 or SHACL Rules, with default negation is challenging. Existing methods to stratify negation often fail for RDF rules, since individual triples do not carry enough information to meaningfully restrict potential dependencies. Blank nodes in rule heads further complicate the matter, since the order of rule applications may…“ aktuell
• 15:1215:12, 5. Okt. 2026 Unterschied Versionen +1.032 N Recovering Explanations from Transformed Rule-Based Ontologies Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Recovering Explanations from Transformed Rule-Based Ontologies |Beschreibung EN=Datalog rules are often used to define ontologies over Knowledge Graphs. Rule reasoners routinely optimise such ontologies by rewriting their rules into a form that can be evaluated more efficiently. These transformations preserve the entailed facts, but not the structure of the underlying derivations. A proof tree under the rewritten rules explains w…“ aktuell
• 15:1015:10, 5. Okt. 2026 Unterschied Versionen +1 Towards Finite Satisfiability Problem for Propositional Dynamic Logic with Loops Keine Bearbeitungszusammenfassung aktuell
• 15:1015:10, 5. Okt. 2026 Unterschied Versionen +1.419 N Towards Finite Satisfiability Problem for Propositional Dynamic Logic with Loops Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Towards Finite Satisfiability Problem for Propositional Dynamic Logic with Loops |Beschreibung EN=Propositional Dynamic Logic (PDL) is a well-established modal logic of programs. Among its many extensions, the loop operator stands out for capturing the cyclic behaviour of programs: a world satisfies loop(pi) precisely when it can return to itself along a path matching the regular expression pi. While the satisfiability problem fo…“
• 15:0615:06, 5. Okt. 2026 Unterschied Versionen +978 N Mo' nads, mo' problems Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Mo' nads, mo' problems |Beschreibung EN=There are many important concepts in category theory that find immediate use in theoretical computer science, the most famous of which being monads. This talk will serve as a short introduction for computer scientists to the theory of monads. We will first discuss (using supporting examples from computer science) some of the foundational structures of category theory: mainly functors, natur…“ aktuell
• 14:5714:57, 5. Okt. 2026 Unterschied Versionen −14 Equivalence Checking Between Logic Programs with Aggregates in ASP Keine Bearbeitungszusammenfassung aktuell
• 14:5414:54, 5. Okt. 2026 Unterschied Versionen +1.528 N Equivalence Checking Between Logic Programs with Aggregates in ASP Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Equivalence Checking Between Logic Programs with Aggregates in ASP |Beschreibung EN=Answer Set Programming (ASP) is a form of declarative programming. It is used in a range of practical applications in problem solving tasks, which has continued to expand in recent years. Equivalence checking is useful to determine whether modifications to a program preserve the intended meaning, or when evaluating a program’s semantic c…“
• 11:3911:39, 5. Okt. 2026 Unterschied Versionen +83 Research Seminar Logic and AI Keine Bearbeitungszusammenfassung

21. August 2026

• 08:1708:17, 21. Aug. 2026 Unterschied Versionen +1.881 N Inproceedings3477 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister |FurtherAuthors=Alex Ivliev; Dörthe Arndt; Markus Krötzsch }} {{Inproceedings |Referiert=1 |Title=Stratified Negation in RDF Rules: A Correct Approach |To appear=1 |Year=2026 |Booktitle=Proceedings of the 25th International Semantic Web Conference (ISWC 2026) |Publisher=Springer |Editor=Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto J…“ aktuell
• 08:1708:17, 21. Aug. 2026 Unterschied Versionen 0 N Datei:ISWC26-chain-stratification.pdf Keine Bearbeitungszusammenfassung aktuell

19. Februar 2026

• 16:1016:10, 19. Feb. 2026 Unterschied Versionen +1.200 N Article3119 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Nils |ErsterAutorNachname=Küchenmeister |FurtherAuthors=Alex Ivliev; Markus Krötzsch }} {{Article |Referiert=1 |Title=Towards Mass Spectrum Analysis with ASP |To appear=0 |Year=2026 |Month=Februar |Journal=Theory and Practice of Logic Programming |Volume=First View |Pages=pp. 1 - 23 }} {{Publikation Details |Abstract=We present a new use of Answer Set Programming (ASP) to discover the molecular structure of…“
• 16:0816:08, 19. Feb. 2026 Unterschied Versionen 0 N Datei:Towards-mass-spectrum-analysis-with-asp.pdf Keine Bearbeitungszusammenfassung aktuell

30. Oktober 2025

• 11:5511:55, 30. Okt. 2025 Unterschied Versionen 0 Nils Küchenmeister Keine Bearbeitungszusammenfassung aktuell

6. Oktober 2025

• 07:2307:23, 6. Okt. 2025 Unterschied Versionen −1 Nils Küchenmeister Keine Bearbeitungszusammenfassung

2. Oktober 2025

• 16:0116:01, 2. Okt. 2025 Unterschied Versionen +94 Nils Küchenmeister Keine Bearbeitungszusammenfassung
• 15:5415:54, 2. Okt. 2025 Unterschied Versionen +1 Misc3087 Keine Bearbeitungszusammenfassung aktuell
• 15:5215:52, 2. Okt. 2025 Unterschied Versionen +1.994 N Misc3087 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…“
• 15:5015:50, 2. Okt. 2025 Unterschied Versionen 0 N Datei:2025-09-18 nkuechen slides.pdf Keine Bearbeitungszusammenfassung aktuell
• 15:4915:49, 2. Okt. 2025 Unterschied Versionen 0 N Datei:2025-08-31 nkuechen diploma-thesis.pdf Keine Bearbeitungszusammenfassung aktuell
• 15:3815:38, 2. Okt. 2025 Unterschied Versionen −5 Nils Küchenmeister Keine Bearbeitungszusammenfassung
• 15:3815:38, 2. Okt. 2025 Unterschied Versionen 0 N Datei:Nils Kuechenmeister.jpg Keine Bearbeitungszusammenfassung aktuell
• 15:3815:38, 2. Okt. 2025 Unterschied Versionen 0 Nils Küchenmeister Keine Bearbeitungszusammenfassung
• 15:3715:37, 2. Okt. 2025 Unterschied Versionen +1.646 Nils Küchenmeister Keine Bearbeitungszusammenfassung
• 14:4214:42, 2. Okt. 2025 Unterschied Versionen 0 N Datei:Foto Nils Kuechenmeister.jpg Keine Bearbeitungszusammenfassung aktuell