Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,065,656 papers from all fields of science
Search
Sign In
Create Free Account
Quantifier (logic)
Known as:
Solution quantifier
, Quantificational fallacy
, Quantifier
Expand
For example, in arithmetic, it allows the expression of the statement that every natural number has a successor. A language element which generates a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
46 relations
Actualism
Algorithm
Alloy (specification language)
Artificial intelligence
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Switching Loss Analysis of 4.5-kV–5.5-kA IGCTs Within a 3L-ANPC Phase Leg Prototype
D. Andler
,
R. Álvarez
,
S. Bernet
,
José R. Rodríguez
IEEE transactions on industry applications
2014
Corpus ID: 16501109
Three-level active neutral-point-clamped (NPC) (3L-ANPC) voltage-source converters (3L-ANPC-VSCs) enable additional switch states…
Expand
2010
2010
Tracking of multiple target types with a single neural extended Kalman filter
K. Kramer
,
S. Stubberud
2010
Corpus ID: 14735133
The neural extended Kalman filter is an adaptive state estimation routine that can be used in target-tracking systems to aid in…
Expand
2003
2003
Using SAT based image computation for reachability analysis
P. Chauhan
,
E. Clarke
,
D. Kroening
2003
Corpus ID: 10967400
Satisfiability procedures have shown significant promise for symbolic simulation of large circuits, hence they have been used in…
Expand
Highly Cited
2002
Highly Cited
2002
Reasons for Larger Warming Projections in the IPCC Third Assessment Report
T. Wigley
,
S. Raper
2002
Corpus ID: 56313015
Abstract Projections of future warming in the Intergovernmental Panel on Climate Change (IPCC) Third Assessment Report (TAR) are…
Expand
2001
2001
Diagnosing plant water status as a tool for quantifying water stress on a regional basis in Mediterranean drylands
M. Vertovec
,
S. Sakcali
,
+4 authors
A. Nardini
2001
Corpus ID: 54064724
Cette etude rapporte les mesures de conductance stomatique, de la teneur relative en eau et du potentiel hydrique (Ψ L ) d'arbres…
Expand
Highly Cited
2000
Highly Cited
2000
Border-Block Triangular Form and Conjunction Schedule in Image Computation
In-Ho Moon
,
G. Hachtel
,
F. Somenzi
Formal Methods in Computer-Aided Design
2000
Corpus ID: 7311491
Conjunction scheduling in image computation consists of clustering the parts of a transition relation and ordering the clusters…
Expand
1998
1998
Polynomial methods for component matching and verification
James Smith
,
G. Micheli
IEEE/ACM International Conference on Computer…
1998
Corpus ID: 9562882
Component reuse requires designers to determine whether or not an existing component implements desired functionality. If a…
Expand
Highly Cited
1994
Highly Cited
1994
Interpreting linguistically quantified propositions
R. Yager
International Journal of Intelligent Systems
1994
Corpus ID: 20539579
We discuss the idea of a linguistic quantifier and fuzzy set representations of these objects. We describe two formalisms for…
Expand
Highly Cited
1982
Highly Cited
1982
Using Slots and Modifiers in Logic Grammars for Natural Language
M. McCord
Artificial Intelligence
1982
Corpus ID: 5165290
Highly Cited
1981
Highly Cited
1981
Behavioural aspects of predation by juvenile Atlantic salmon (Salmo salar L.) on particulate, drifting prey
J. Wańkowski
Animal Behaviour
1981
Corpus ID: 53175547
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE