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.
Highly Cited
2015
Highly Cited
2015
An intrinsic part of information extraction is the creation and manipulation of relations extracted from text. In this article… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2009
Highly Cited
2009
We define Recursive Markov Chains (RMCs), a class of finitely presented denumerable Markov chains, and we study algorithms for… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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
Highly Cited
2007
Highly Cited
2007
Many logical systems today describe intelligent interacting agents over time. Frameworks include Interpreted Systems (IS, Fagin… Expand
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
Highly Cited
2005
Highly Cited
2005
The skyline of a d-dimensional dataset contains the points that are not dominated by any other point on all dimensions. Skyline… Expand
  • figure 1
  • figure 2
  • table I
  • table II
  • figure 3
Highly Cited
2005
Highly Cited
2005
We present a formal model that captures the subtle interaction between knowledge and action in distributed systems. We view a… Expand
2005
2005
Belief-based programs generalize knowledgebased programs [Fagin et al., 1995] by allowing for incorrect beliefs, unreliable… Expand
Highly Cited
1998
Highly Cited
1998
This paper presents a logical system in which various group-level epistemic actions are incorporated into the object language… Expand
  • figure 1
  • figure 2
Highly Cited
1997
Highly Cited
1997
Belief change is a fundamental problem in AI: Agents constantly have to update their beliefs to accommodate new observations. In… Expand
  • figure 1
  • figure 2
  • figure 3