A logic simulation machine.

Miron Abramovici Ytzhak H. Levendel Prem R. Menon

Published in: ISCA (1982)

Keyphrases

logic programming
machine learning
classical logic
simulation study
simulation environment
multi valued
deontic logic
databases
predicate logic
simulation models
high fidelity
automated reasoning
flowshop
simulation model
scheduling problem
e learning
social networks