Leftmost Outside-In Narrowing Calculi.

Tetsuo Ida Koichi Nakahara

Published in: J. Funct. Program. (1997)

Keyphrases

sequent calculi
reasoning problems
real world
social networks
artificial intelligence
spatial relations
qualitative spatial
neural network
data mining
machine learning
learning algorithm
decision trees
artificial neural networks