Results 261 to 270 of about 11,536 (304)
Some of the next articles are maybe not open access.
Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat. No.03CH37417), 2004
We present algebraic equivalences that allow to unnest nested algebraic expressions containing quantifiers for order-preserving algebraic operators. We illustrate how these equivalences can be applied successfully to unnest nested queries formulated in XQuery. Measurements illustrate the performance gains possible by unnesting.
Norman May, Sven Helmer, Guido Moerkotte
openaire +2 more sources
We present algebraic equivalences that allow to unnest nested algebraic expressions containing quantifiers for order-preserving algebraic operators. We illustrate how these equivalences can be applied successfully to unnest nested queries formulated in XQuery. Measurements illustrate the performance gains possible by unnesting.
Norman May, Sven Helmer, Guido Moerkotte
openaire +2 more sources
2008
Bratman argued that the purpose of intentions are to constrain the complexity of future decisions. However, the role of intentions in making future commitments is not well understood. In this paper, we propose a methodology to understand how an agent's commitment to its intentions relates to their dynamics.
Timothy William Cleaver +1 more
openaire +1 more source
Bratman argued that the purpose of intentions are to constrain the complexity of future decisions. However, the role of intentions in making future commitments is not well understood. In this paper, we propose a methodology to understand how an agent's commitment to its intentions relates to their dynamics.
Timothy William Cleaver +1 more
openaire +1 more source
Hospital Pharmacy, 2016
Health systems are complex organizations with many moving parts. Ultimately, however, each patient views the health system as a place that should address his or her health needs. Increasingly, patients are bringing more information to the care process, adding complexity and potentially both useful and erroneous input to the process.
Brent I, Fox, Bill G, Felkey
openaire +2 more sources
Health systems are complex organizations with many moving parts. Ultimately, however, each patient views the health system as a place that should address his or her health needs. Increasingly, patients are bringing more information to the care process, adding complexity and potentially both useful and erroneous input to the process.
Brent I, Fox, Bill G, Felkey
openaire +2 more sources
The Syntax of Quantifiers and Quantifier Float
Linguistic Inquiry, 1999The Arabic quantifier kull displays a Q___NP and NP___Q alternation. Shlonsky (1991) argues that in both patterns Q heads a QP projection with the NP as a complement that may undergo movement to [Spec, QP] or beyond to yield the NP___Q pattern and Q-float structures.
openaire +1 more source
Linguistics and Philosophy, 1993
The present article is on the semantics of plural noun phrases. Perhaps the semantics of no category is studied as thoroughly as that of noun phrases. Yet, the resulting theory of generalised quantifiers is mainly developed by disregarding the fact that most noun phrases are plural.
openaire +1 more source
The present article is on the semantics of plural noun phrases. Perhaps the semantics of no category is studied as thoroughly as that of noun phrases. Yet, the resulting theory of generalised quantifiers is mainly developed by disregarding the fact that most noun phrases are plural.
openaire +1 more source
Linguistics and Philosophy, 1989
Some aspects of the theory of generalized quantifiers related to linguistics are considered. Syntactically, generalized polyadic quantifiers appear in expressions \(Qx_ 1...x_ n\cdot \phi (x_ 1,...,x_ n)\); this is interpreted set-theoretically as \(\| \phi \| \in Q\).
openaire +3 more sources
Some aspects of the theory of generalized quantifiers related to linguistics are considered. Syntactically, generalized polyadic quantifiers appear in expressions \(Qx_ 1...x_ n\cdot \phi (x_ 1,...,x_ n)\); this is interpreted set-theoretically as \(\| \phi \| \in Q\).
openaire +3 more sources
Pacific Philosophical Quarterly, 2014
AbstractIn a series of publications I have claimed that by contrast to standard formal languages, quantifiers in natural language combine with a general term to form a quantified argument, in which the general term's role is to determine the domain or plurality over which the quantifier ranges.
openaire +2 more sources
AbstractIn a series of publications I have claimed that by contrast to standard formal languages, quantifiers in natural language combine with a general term to form a quantified argument, in which the general term's role is to determine the domain or plurality over which the quantifier ranges.
openaire +2 more sources
Journal of Symbolic Logic, 1979
Originally generalized quantifiers were introduced to specify that a given formula was true for “many x's” e.g. ⊨ Qxφ(x) iff card{x ∈ ∣∣ ∣ ⊨ φ[x]} ≥ ℵ0, ℵ1, or some fixed cardinal κ. In this paper we formalize the notion that φ{x) is true “for almost all x”.
openaire +1 more source
Originally generalized quantifiers were introduced to specify that a given formula was true for “many x's” e.g. ⊨ Qxφ(x) iff card{x ∈ ∣∣ ∣ ⊨ φ[x]} ≥ ℵ0, ℵ1, or some fixed cardinal κ. In this paper we formalize the notion that φ{x) is true “for almost all x”.
openaire +1 more source
2012
This paper studies how quantificational expressions such as few, three and all can be grounded in real-world perception. Based on findings from psycholinguistics, we propose a computational model designed for use in robot-robot interaction scenarios which involve discrimination tasks for objects in the real world.
Pauw, S., Spranger, M.
openaire +3 more sources
This paper studies how quantificational expressions such as few, three and all can be grounded in real-world perception. Based on findings from psycholinguistics, we propose a computational model designed for use in robot-robot interaction scenarios which involve discrimination tasks for objects in the real world.
Pauw, S., Spranger, M.
openaire +3 more sources
Philosophical Studies, 2005
In the tradition of substructural logics, it has been claimed for a long time that conjunction and inclusive disjunction are ambiguous:we should, in fact, distinguish between ‘lattice’ connectives (also called additive or extensional) and ‘group’ connectives (also called multiplicative or intensional).
openaire +2 more sources
In the tradition of substructural logics, it has been claimed for a long time that conjunction and inclusive disjunction are ambiguous:we should, in fact, distinguish between ‘lattice’ connectives (also called additive or extensional) and ‘group’ connectives (also called multiplicative or intensional).
openaire +2 more sources