A Logic-Based Approach to System Modelling.

Anthony Rich Marvin H. Solomon

Published in: SCM (1991)

Keyphrases

classical logic
logic programming
multi valued
defeasible logic
proof theory
asynchronous circuits
modal logic
automated reasoning
delay insensitive
databases
nonmonotonic logics
causal reasoning
multi agent
multiscale
bayesian networks
decision making
social networks
machine learning