Benutzerbeiträge von „Nils Küchenmeister“

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