A Many-Sorted Calculus Based on Resolution and Paramodulation.

Christoph Walther

Published in: IJCAI (1983)

Keyphrases

inference rules
high resolution
theorem proving
first order logic
automated deduction
low resolution
sampling rate
consequence finding
conflict detection
neural network
machine learning
website
logic programs
qualitative spatial reasoning
sequent calculus