ALMS: Automated logic mapping system.

Roy L. Russo Peter K. Wolff Sr.

Published in: DAC (1971)

Keyphrases

semi automated
multi valued
classical logic
logic programming
logical framework
asynchronous circuits
modal logic
context sensitive
nonmonotonic logics
computational properties
automated reasoning
proof theory
linear logic
epistemic logic
database
fully automated
computer assisted
machine learning
real world