Linguistics, Logic and Finite Trees.
Patrick BlackburnWilfried Meyer-ViolPublished in: Log. J. IGPL (1994)
Keyphrases
- decision trees
- linear temporal logic
- asynchronous circuits
- cognitive science
- logic programming
- predicate logic
- modal logic
- tree structure
- natural language processing
- computer science
- machine learning
- data sets
- natural language
- finite number
- automated reasoning
- classical logic
- set theory
- proof theory
- equational theories
- compact representations
- sound and complete axiomatization
- tree construction
- classification trees
- query language
- learning algorithm
- data mining
- neural network