S2PF: speculative symbolic PathFinder.

Yufeng Zhang Zhenbang Chen Ji Wang

Published in: ACM SIGSOFT Softw. Eng. Notes (2012)

Keyphrases

particle filter
symbolic representation
symbolic description
real time
machine learning
high level
connectionist models
symbolic knowledge
real world
artificial intelligence
information technology
neural learning
symbolic reasoning