An abstract view on optimizations in propositional frameworks.

Published in: Ann. Math. Artif. Intell. (2024)

Keyphrases

propositional logic
multiple views
first order logic
databases
high level
viewpoint
real time
data mining
learning algorithm
similarity measure
multiscale
data structure
hidden markov models
default logic
multi objective evolutionary