Structured d-DNNF Is Not Closed Under Negation.

Harry Vinall-Smeeth

Published in: CoRR (2024)

Keyphrases

logic programming
structured data
boolean functions
logic programs
evolutionary algorithm
predicate logic
database
genetic algorithm
knowledge base
expert systems