Syntactic Cut-elimination for Common Knowledge.

Kai Brünnler Thomas Studer

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

Keyphrases

knowledge representation
knowledge base
natural language
expert systems
probabilistic model
linear logic
cut elimination
training data
probability distribution
distance measure
sequent calculus