Arbeit von Harry Vinall-Smeeth auf der IJCAI'24 zur Veröffentlichung angenommen

Die Arbeit “Structured d-DNNF is Not Closed Under Negation” von Harry Vinall-Smeeth wurde auf der IJCAI'24 (https://ijcai24.org/) zur Veröffentlichung angenommen. Ein Vorabdruck ist unter https://arxiv.org/abs/2402.04832 verfügbar. Das Papier untersucht structured d-DNNF, eine Schaltkreisklasse aus dem Bereich Knowledge Compilation, die in der künstlichen Intelligenz und Datenbanktheorie verwendet wird. Es wird gezeigt, dass diese nicht in polynomieller Zeit negiert werden kann.