Predicate Abstraction and Such...

Bernhard Steffen Tiziana Margaria

Published in: FMICS (2018)

Keyphrases

high level
first order logic
learning algorithm
website
artificial neural networks
real world
database systems
special case
medical images
data abstraction
abstraction hierarchy