On categorical equivalence of Gentzen-style derivations in IMLL.

Sergei Soloviev Vladimir Orevkov

Published in: Theor. Comput. Sci. (2003)

Keyphrases

categorical data
inference rules
database
attribute values
numerical values
sequent calculus
real time
neural network
machine learning
information retrieval
knowledge base
decision trees
expert systems
query language
knowledge representation