Experience with Predicate Abstraction.

Satyaki Das David L. Dill Seungjoon Park

Published in: CAV (1999)

Keyphrases

high level
databases
website
digital libraries
machine learning
information systems
objective function
search algorithm
logic programs
first order logic
learning curve