Partially Disjunctive Heap Abstraction.

Roman Manevich Shmuel Sagiv Ganesan Ramalingam John Field

Published in: SAS (2004)

Keyphrases

data structure
high level
data sets
special case
answer sets
decision theoretic planning
search space
data abstraction
real world
knowledge base
decision trees
low level
logic programs