Expressive power

Known as: Expressivity 
In computer science, the expressive power (also called expressiveness or expressivity) of a language is the breadth of ideas that can be represented… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1948-2017
020040019482016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
This paper studies the expressive power of SPARQL. The main result is that SPARQL and non-recursive safe Datalog with negation… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on… (More)
  • table 1
  • table 2
  • figure 1
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The recent approaches of extending the GRAPHPLAN algorithm to handle more expressive planning formalisms raise the question of… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
1999
1999
  • Faron Mollery, Alexander Rabinovichz
  • 1999
We show that the expressive power of the branching time logic CTL coincides with that of the class of bisimulation invariant… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The expressive power of first-order query languages with several classes of equality and inequality constraints is studied in… (More)
  • figure 1
Is this relevant?
1995
1995
We investigate the expressive power of timing restrictions on labeled transition systems. In particular, we show how constraints… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Most practical work on AI planning systems during the last fifteen years has been based on hierarchical task network (HTN) d… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
We study here the language Datalog(≠), which is the query language obtained from Datalog by allowing equalities and… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
We compare the expressive powers of three semantics for deductive databases and logic programming: the 3-valued program… (More)
Is this relevant?