The Automatic Deduction of Classificatory Systems from Linguistic Theories (Abridged).

Paul John King Kiril Ivanov Simov

Published in: LACL (1996)

Keyphrases

learning algorithm
computer vision
theorem prover
fully automatic
management system
data sets
information extraction
computational systems
theorem proving
complex systems
building blocks
higher level
fuzzy sets
expert systems
natural language
multi agent
data mining
databases