The Speedup Performance of an Associative Memory Based Logic Simulator.
Damian DaltonPublished in: PaCT (1999)
Keyphrases
- logic programming
- orders of magnitude
- modal logic
- associative memory
- classical logic
- simulation model
- query language
- logic synthesis
- proof theory
- predicate logic
- multi valued
- simulation environment
- automated reasoning
- defeasible logic
- abductive reasoning
- modal operators
- deontic logic
- theorem proving
- neural network
- propositional dynamic logic