On logic comparison.

Published in: DAC (1981)

Keyphrases

logic programming
real time
database
data mining
artificial intelligence
knowledge base
image processing
artificial neural networks
temporal logic
logical framework
predicate logic