Musings on Encodings and Expressiveness

Rob J. van Glabbeek

Published in: EXPRESS/SOS (2012)

Keyphrases

expressive power
non binary
orders of magnitude
computational properties
sat instances
neural network
lower bound
domain independent
database
real world
machine learning
social networks
knowledge base
video sequences
planning problems