Embedding First-Order Tableaux into a Pure Type System.

Michael Franssen

Published in: Electron. Notes Theor. Comput. Sci. (1998)

Keyphrases

first order logic
neural network
higher order
machine learning
information retrieval
similarity measure
vector space
multidimensional scaling
decision procedures