Automatic compositional reasoning for multi-thread programs.

Minqiang Gu Qiang Liu

Published in: CSCWD (2011)

Keyphrases

semi automatic
knowledge base
fully automatic
automated reasoning
information systems
database systems
bayesian networks
data driven
databases
decision making
e learning
knowledge representation
reasoning process
uncertain information
automatic programming
rule based reasoning