Facts Collection and Verification Efforts.

Rizwan Mehmood Hermann A. Maurer

Published in: DATA (2015)

Keyphrases

knowledge base
model checking
database
asynchronous circuits
document collections
real world
formal verification
expert systems
special case
verification method
background knowledge
case based reasoning
objective function
website
social networks
data mining
neural network
real time