Modal tableau calculi and interpolation.

Wolfgang Rautenberg

Published in: J. Philos. Log. (1983)

Keyphrases

description logics
modal logic
linear interpolation
piecewise polynomial
image interpolation
neural network
reasoning problems
surface interpolation
sequent calculi
real time
learning algorithm
search space