An efficient logic emulation system.

Joseph Varghese Michael Butts Jon Batcheller

Published in: IEEE Trans. Very Large Scale Integr. Syst. (1993)

Keyphrases

computationally efficient
logic programming
classical logic
real world
machine learning
information retrieval
knowledge base
image processing
data model
modal logic
inference rules
computational properties
formal language
predicate logic