Benutzerbeiträge von „Nils Küchenmeister“

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