A First-Order Logic Based Framework for Verifying Simulations.

Hui Meen Nyew Nilufer Onder Soner Önder Zhenlin Wang

Published in: AAAI (2013)

Keyphrases

main contribution
database
real time
decision making
higher order
information systems
web services
multiscale
multiresolution
lightweight
first order logic
bayesian framework
conceptual framework
simulation environment
framework enables