Towards Refinement Strategy Planning for Event-B

Tsutomu Kobayashi Shinichi Honiden

Published in: CoRR (2012)

Keyphrases

event detection
planning problems
databases
information retrieval
heuristic search
information systems
domain independent
data sets
neural network
knowledge base
search strategy
selection strategy
ai planning
planning systems