Full abstraction for expressiveness: history, myths and facts.

Daniele Gorla Uwe Nestmann

Published in: Math. Struct. Comput. Sci. (2016)

Keyphrases

expressive power
knowledge base
high level
decision theoretic planning
artificial intelligence
data abstraction
real time
learning algorithm
computer vision
digital libraries
expert systems
special case
medical images