other,1-2-P01-1047,bq |
's minimalist program
</term>
. Our
<term>
|
logical
definition
|
</term>
leads to a neat relation to
<term>
|
#1947
Our logical definition leads to a neat relation to categorial grammar, (yielding a treatment of Montague semantics), a parsing-as-deduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-unification). |
other,11-1-P01-1047,bq |
Minimalist grammars
</term>
, that are
<term>
|
Stabler
's formalization
|
</term>
of
<term>
Chomsky 's minimalist program
|
#1937
We provide a logical definition of Minimalist grammars, that are Stabler 's formalization of Chomsky's minimalist program. |
other,14-3-P01-1047,bq |
semantics
</term>
which can be viewed as a
<term>
|
formal
computation
|
</term>
of the
<term>
logical form
</term>
.
<term>
|
#2005
Here we emphasize the connection to Montague semantics which can be viewed as a formal computation of the logical form. |
other,15-1-P01-1047,bq |
Stabler 's formalization
</term>
of
<term>
|
Chomsky
's minimalist program
|
</term>
. Our
<term>
logical definition
</term>
|
#1941
We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky 's minimalist program. |
other,17-2-P01-1047,bq |
</term>
, ( yielding a treatment of
<term>
|
Montague
semantics
|
</term>
) , a
<term>
parsing-as-deduction
</term>
|
#1963
Our logical definition leads to a neat relation to categorial grammar, (yielding a treatment of Montague semantics), a parsing-as-deduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-unification). |
other,18-3-P01-1047,bq |
<term>
formal computation
</term>
of the
<term>
|
logical
form
|
</term>
.
<term>
Techniques for automatically
|
#2009
Here we emphasize the connection to Montague semantics which can be viewed as a formal computation of the logical form. |
other,25-2-P01-1047,bq |
<term>
parsing-as-deduction
</term>
in a
<term>
|
resource
sensitive logic
|
</term>
, and a
<term>
learning algorithm
</term>
|
#1971
Our logical definition leads to a neat relation to categorial grammar, (yielding a treatment of Montague semantics), a parsing-as-deduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-unification). |
other,3-1-P01-1047,bq |
improvements are possible . We provide a
<term>
|
logical
definition
|
</term>
of
<term>
Minimalist grammars
</term>
|
#1929
We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky's minimalist program. |
other,34-2-P01-1047,bq |
<term>
learning algorithm
</term>
from
<term>
|
structured
data
|
</term>
( based on a
<term>
typing-algorithm
|
#1980
Our logical definition leads to a neat relation to categorial grammar, (yielding a treatment of Montague semantics), a parsing-as-deduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-unification). |
other,6-1-P01-1047,bq |
<term>
logical definition
</term>
of
<term>
|
Minimalist
grammars
|
</term>
, that are
<term>
Stabler 's formalization
|
#1932
We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky's minimalist program. |
other,6-3-P01-1047,bq |
Here we emphasize the connection to
<term>
|
Montague
semantics
|
</term>
which can be viewed as a
<term>
formal
|
#1997
Here we emphasize the connection to Montague semantics which can be viewed as a formal computation of the logical form. |
other,9-2-P01-1047,bq |
</term>
leads to a neat relation to
<term>
|
categorial
grammar
|
</term>
, ( yielding a treatment of
<term>
|
#1955
Our logical definition leads to a neat relation to categorial grammar, (yielding a treatment of Montague semantics), a parsing-as-deduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-unification). |
tech,22-2-P01-1047,bq |
<term>
Montague semantics
</term>
) , a
<term>
|
parsing-as-deduction
|
</term>
in a
<term>
resource sensitive logic
|
#1968
Our logical definition leads to a neat relation to categorial grammar, (yielding a treatment of Montague semantics), a parsing-as-deduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-unification). |
tech,31-2-P01-1047,bq |
resource sensitive logic
</term>
, and a
<term>
|
learning
algorithm
|
</term>
from
<term>
structured data
</term>
(
|
#1977
Our logical definition leads to a neat relation to categorial grammar, (yielding a treatment of Montague semantics), a parsing-as-deduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-unification). |
tech,40-2-P01-1047,bq |
structured data
</term>
( based on a
<term>
|
typing-algorithm
|
</term>
and
<term>
type-unification
</term>
|
#1986
Our logical definition leads to a neat relation to categorial grammar, (yielding a treatment of Montague semantics), a parsing-as-deduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-unification). |
tech,42-2-P01-1047,bq |
a
<term>
typing-algorithm
</term>
and
<term>
|
type-unification
|
</term>
) . Here we emphasize the connection
|
#1988
Our logical definition leads to a neat relation to categorial grammar, (yielding a treatment of Montague semantics), a parsing-as-deduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-unification ). |