MAN-YO: Mixed level parallel logic simulation engine.

Nobuhiko Koike Toshiyuki Nakata Nobuki Kajihara

Published in: Systems and Computers in Japan (1989)

Keyphrases

asynchronous cellular automata
higher level
logic programming
high level
simulation model
lower level
classical logic
general purpose
parallel implementation
automated reasoning
multi valued
defeasible logic
proof theory