Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,214,972 papers from all fields of science
Search
Sign In
Create Free Account
Existential quantification
Known as:
∃E
, Existential operator
, ∄
Expand
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
37 relations
Alternating finite automaton
Attempto Controlled English
Category theory
Conjunctive query
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
A Unified Approach to Interpreting Model Predictions
Scott M. Lundberg
,
Su-In Lee
NIPS
2017
Corpus ID: 21889700
Understanding why a model makes a certain prediction can be as crucial as the prediction's accuracy in many applications. However…
Expand
Highly Cited
2015
Highly Cited
2015
Variational Inference with Normalizing Flows
Danilo Jimenez Rezende
,
S. Mohamed
International Conference on Machine Learning
2015
Corpus ID: 12554042
The choice of approximate posterior distribution is one of the core problems in variational inference. Most applications of…
Expand
Highly Cited
2006
Highly Cited
2006
Mining Frequent Patterns without Candidate Generation: A Frequent-Pattern Tree Approach
Jiawei Han
,
J. Pei
,
Yiwen Yin
,
Runying Mao
Sixth IEEE International Conference on Data…
2006
Corpus ID: 21192
Mining frequent patterns in transaction databases, time-series databases, and many other kinds of databases has been studied…
Expand
Highly Cited
2005
Highly Cited
2005
Consensus seeking in multiagent systems under dynamically changing interaction topologies
W. Ren
,
R. Beard
IEEE Transactions on Automatic Control
2005
Corpus ID: 12071837
This note considers the problem of information consensus among multiple agents in the presence of limited and unreliable…
Expand
Highly Cited
2000
Highly Cited
2000
Mining frequent patterns without candidate generation
Jiawei Han
,
J. Pei
,
Yiwen Yin
ACM SIGMOD Conference
2000
Corpus ID: 6059661
Mining frequent patterns in transaction databases, time-series databases, and many other kinds of databases has been studied…
Expand
Highly Cited
2000
Highly Cited
2000
A Posteriori Error Estimation in Finite Element Analysis
M. Ainsworth
,
J. Oden
2000
Corpus ID: 15470194
Highly Cited
1998
Highly Cited
1998
Existential Sentences without Existential Quantification
L. McNally
1998
Corpus ID: 60578021
The analysis to be proposed has two notable consequences. First, it indicates that while presupposition may play a role in…
Expand
Highly Cited
1991
Highly Cited
1991
Measuring the hedonic and utilitarian sources of consumer attitudes
R. Batra
,
O. Ahtola
1991
Corpus ID: 38189603
It has been suggested theoretically that consumer attitudes have distinct hedonic and utilitarian components, and that product…
Expand
Highly Cited
1990
Highly Cited
1990
Studying Information Technology in Organizations: Research Approaches and Assumptions
W. Orlikowski
,
Jack J. Baroudi
Information systems research
1990
Corpus ID: 13526273
We examined 155 information systems research articles published from 1983 to 1988 and found that although this research is not…
Expand
Highly Cited
1987
Highly Cited
1987
Increased rates of convergence through learning rate adaptation
R. Jacobs
Neural Networks
1987
Corpus ID: 9947500
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