Implementing Courcelle's Theorem in a declarative framework for dynamic programming.

Bernhard Bliem Reinhard Pichler Stefan Woltran

Published in: J. Log. Comput. (2017)

Keyphrases

single machine
dynamic programming
main contribution
lightweight
domain independent
database
data sets
image sequences
search algorithm
natural language
expert systems
knowledge representation
multi class
conceptual framework
framework enables