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

Action algebra

Known as: Action logic, Residuated Kleene algebra 
In algebraic logic, an action algebra is an algebraic structure which is both a residuated semilattice and a Kleene algebra. It adds the star or… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
The deep reinforcement learning community has made several independent improvements to the DQN algorithm. However, it is unclear… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2016
Highly Cited
2016
While current approaches to action recognition on presegmented video clips already achieve high accuracies, temporal action… Expand
  • table 1
  • figure 1
  • table 3
  • figure 2
  • table 4
Is this relevant?
Highly Cited
2009
Highly Cited
2009
Research with autonomous unmanned aircraft systems is reaching a new degree of sophistication where targeted missions require… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
  • POLYHEDRAL DIVISORS
  • 2006
  • Corpus ID: 15616751
We provide a complete description of normal affine varieties with effective algebraic torus action in terms of what we call… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
In this paper, we propose to model an action based on both the shape and the motion of the performing object. When the object… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Opportunists, for example, believe in winning any way possible, and often exploit others to score personal gains. Few people… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We present TALplanner, a forward-chaining planner based on the use of domain-dependent search control knowledge represented as… Expand
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
This article presents a conceptual typology of 27 different flavors of action research, underpinned by the dimensions of voice… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1990
Highly Cited
1990
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become… Expand
  • figure 1
  • figure 3
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Soit Y n une variete de Riemann connexe complete et p∈Y n . Le rayon d'injectivite, i p , de l'application exponentielle en p est… Expand
Is this relevant?