The Pointer Assertion Logic Engine.

Anders Møller Michael I. Schwartzbach

Published in: PLDI (2001)

Keyphrases

modal logic
logic programming
machine learning
data structure
classical logic
databases
abductive reasoning
multi valued
data sets
search algorithm
artificial neural networks
logical framework
digital circuits
propositional dynamic logic
air fuel ratio