Transition predicate abstraction and fair termination.

Andreas Podelski Andrey Rybalchenko

Published in: POPL (2005)

Keyphrases

first order logic
high level
computer vision
web services
dynamic programming
term rewriting
multi unit combinatorial auctions
information systems
knowledge base
image segmentation
image sequences
evolutionary algorithm
temporal abstractions
decision theoretic planning