Logical Undecidabilities Made Easy.

Published in: Fundam. Informaticae (2008)

Keyphrases

logical structure
logical representation
metadata
case study
high level
similarity measure
objective function
video sequences
relational databases
evolutionary algorithm
probabilistic logic
logical properties