Logic and stochastic modeling with S m A r T.

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

Published in: Perform. Evaluation (2006)

Keyphrases

modal logic
logic programming
classical logic
formal theory
neural network
artificial neural networks
multi valued
computational properties
predicate logic
asynchronous circuits
data sets
genetic algorithm
expert systems
defeasible logic
proof theory