Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Fagin's theorem

Known as: Fagin (disambiguation), Fagin theorem 
Fagin's theorem is a result in descriptive complexity theory that states that the set of all properties expressible in existential second-order logic… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
The amount of content served on social networks can overwhelm users, who must sift through the data for relevant information. To… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
We present a new robot platform, the Finch, that was designed to align with the learning goals and concepts taught in… Expand
  • figure 1
  • figure 3
  • figure 2
  • table 1
  • figure 4
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Background: Humanitarian aid workers (HAWs) who aid traumatized populations experience emotional, cognitive, and physical… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
In this paper we present a number of measures that compare rankings of search engine results. We apply these measures to five… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • table 4
Is this relevant?
2006
2006
In this paper, we propose building a vertical image search engine called EnjoyPhoto that leverages rich metadata from various… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
2006
2006
We propose a new class of representations that can be used for modeling (and model checking) of temporal, strategic and epistemic… Expand
Is this relevant?
2005
2005
Belief-based programs generalize knowledgebased programs [Fagin et al., 1995] by allowing for incorrect beliefs, unreliable… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We present a novel approach for efficient and self-tuning query expansion that is embedded into a top-k query processor with… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 6
  • table 2
Is this relevant?
Highly Cited
1997
Highly Cited
1997
In this paper, we study a simple SQL extension that enables query writers to explicitly limit the cardinality of a query result… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 6
  • figure 9
Is this relevant?
Highly Cited
1989
Highly Cited
1989
We present a formal model that captures the subtle interaction between knowledge and action in distributed systems. We view a… Expand
Is this relevant?