Sciweavers

44 search results - page 1 / 9
» Connection Relations and Quantifier Scope
Sort
View
ACL
1992
13 years 6 months ago
Connection Relations and Quantifier Scope
A formalism will be presented in this paper which makes it possible to realise the idea of assigning only one scope-ambiguous representation to a sentence that is ambiguous with r...
Longin Jan Latecki
JOLLI
2008
67views more  JOLLI 2008»
13 years 4 months ago
Optionality, Scope, and Licensing: An Application of Partially Ordered Categories
Abstract. This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set p...
Raffaella Bernardi, Anna Szabolcsi
ADBIS
2004
Springer
193views Database» more  ADBIS 2004»
13 years 8 months ago
Quantifier-Elimination for the First-Order Theory of Boolean Algebras with Linear Cardinality Constraints
Abstract. We present for the first-order theory of atomic Boolean algebras of sets with linear cardinality constraints a quantifier elimination algorithm. In the case of atomic Boo...
Peter Z. Revesz
SYNTHESE
2008
95views more  SYNTHESE 2008»
13 years 4 months ago
Quantifiers and propositional attitudes: Quine revisited
Quine introduced a famous distinction between the `notional' sense and the `relational' sense of certain attitude verbs. The distinction is both intuitive and sound but i...
Sean Crawford
ACL
1997
13 years 6 months ago
A Uniform Approach to Underspecification and Parallelism
We propose a unified framework in which to treat semantic underspecification and parallelism phenomena in discourse. The framework employs a constraint language that can express e...
Joachim Niehren, Manfred Pinkal, Peter Ruhrberg