Logical and Stochastic Modeling with SMART.

Gianfranco Ciardo R. L. Jones III Andrew S. Miner Radu Siminiceanu

Published in: Computer Performance Evaluation / TOOLS (2003)

Keyphrases

social networks
information systems
logical reasoning
logical operations
real time
data sets
artificial intelligence
digital libraries
activity recognition
smart grid
logical properties
logical representation