On Locally Checkable Properties.

Orna Kupferman Yoad Lustig Moshe Y. Vardi

Published in: LPAR (2006)

Keyphrases

multimedia
desirable properties
neural network
artificial intelligence
three dimensional
databases
genetic algorithm
learning algorithm
metadata
high quality
multi agent
learning environment
structural properties
topological properties