Sign in
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