An Efficient Logic Emulation System.

Michael Butts Jon Batcheller Joseph Varghese

Published in: ICCD (1992)

Keyphrases

logic programming
multi valued
modal logic
real world
image segmentation
classical logic
information retrieval
information systems
case study
search algorithm
relational databases
computationally efficient
inference rules
highly efficient
nonmonotonic logics