Towards a connection machine for logical inference.

Wolfgang Bibel Bruno Buchberger

Published in: Future Gener. Comput. Syst. (1985)

Keyphrases

logical inference
theorem proving
logical structure
knowledge compilation
graphical models
database systems
co occurrence
distributed systems