Login / Signup
Symbolic PathFinder v7.
Kasper Søe Luckow
Corina S. Pasareanu
Published in:
ACM SIGSOFT Softw. Eng. Notes (2014)
Keyphrases
</>
symbolic description
symbolic representation
connectionist models
real time
intermediate level
associative learning
high level
neural learning
symbolic reasoning
connectionist learning
database
real world
information retrieval
knowledge base
relational databases
symbolic data