1 citations · 2 across the 2 of their papers we have counts for
2 papers
cmp-lg1995★ 1 cited
A Labelled Analytic Theorem Proving Environment for Categorial Grammar
Saturnino F. Luz-Filho, Patrick Sturt
We present a system for the investigation of computational properties of categorial grammar parsing based on a labelled analytic tableaux theorem prover. This proof method allows u…
cmp-lg1995★ 1 cited
Incorporating "Unconscious Reanalysis" into an Incremental, Monotonic Parser
Patrick Sturt
This paper describes an implementation based on a recent model in the psycholinguistic literature. We define a parsing operation which allows the reanalysis of dependencies within…