LOPSTR
1998
Springer
14 years 2 months ago
1998
Springer
LOPSTR
1998
Springer
14 years 2 months ago
1998
Springer
LOPSTR
1998
Springer
14 years 2 months ago
1998
Springer
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
LOPSTR
1998
Springer
14 years 2 months ago
1998
Springer
Based on a variable-free combinatory form of definite clause logic programs we outline a methodology and supporting program environment CombInduce for inducing well-moded logic pro...
LACL
1998
Springer
14 years 2 months ago
1998
Springer
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...
LACL
1998
Springer
14 years 2 months ago
1998
Springer
In this paper, we try to put a bridge in between Categorial Grammar and Minimalist Grammars as they result from works which follow the Chomskyan enterprise (cf Stabler ([9]), Corne...
LACL
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
LACL
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
LACL
1998
Springer
14 years 2 months ago
1998
Springer
In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity...
LACL
1998
Springer
14 years 2 months ago
1998
Springer