Sign in

Predicate Abstraction with Minimum Predicates.

Sagar ChakiEdmund M. ClarkeAlex GroceOfer Strichman
Published in: CHARME (2003)
Keyphrases
  • datalog programs
  • monotonicity constraints
  • horn clauses
  • high level
  • first order logic
  • user defined
  • multimedia
  • similarity measure
  • heuristic search
  • data abstraction
  • decision theoretic planning
  • square error