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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Let 1N and SN be the classes of families of problems solvable by families of polynomial-size one-way and sweeping… (More)
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… (More)
  • figure 1
  • figure 3
  • figure 2
  • table 1
  • figure 4
Is this relevant?
2007
2007
Background: Humanitarian aid workers (HAWs) who aid traumatized populations experience emotional, cognitive, and physical… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
2006
2006
In this paper, we propose building a vertical image search engine called EnjoyPhoto that leverages rich metadata from various… (More)
  • 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… (More)
Is this relevant?
2004
2004
In this article on getting on with colleagues in the workplace we explore how the nurse–doctor relationship in psychiatry has… (More)
Is this relevant?
1999
1999
McCarthy has argued that modal logic is too limited for various purposes. I consider the extent to which he is right. 
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… (More)
  • figure 1
  • figure 2
  • figure 6
  • figure 7
Is this relevant?
1996
1996
Fagin's theorem characterizes NP as the set of decision problems that are expressible as second-order existential sentences, i.e… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1982
Highly Cited
1982
Certain first-order sentences, called "dependencies," about relations in a database are defined and studied. These dependencies… (More)
  • figure 3
  • figure 4
  • figure 5
  • figure 7
  • figure 8
Is this relevant?