Symbolic Procedure Summary Using Region-based Symbolic Three-valued Logic.

Yukun Dong Dahai Jin Yunzhan Gong

Published in: J. Comput. (2014)

Keyphrases

high level
information systems
symbolic reasoning
connectionist learning
data mining
genetic algorithm
artificial intelligence
decision trees
bayesian networks
logic programming
binary decision diagrams
region matching
symbolic description
connectionist systems