A Sign-Based Extension to the Lambek Calculus for Discontinuous Constituency.

Published in: Log. J. IGPL (1995)

Keyphrases

data sets
machine learning
linear time temporal logic
neural network
computer vision
e learning
search algorithm
hidden markov models
logic programming
expressive power
relational calculus