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