Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Dynamic logic (modal logic)Formal languageKleene algebraKleene star

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
The asymptotics of the analytic torsion on CR manifolds with S1 action
Let [Formula: see text] be a compact connected strongly pseudoconvex CR manifold of dimension [Formula: see text], [Formula: see… 
2015
2015
Tunneling decay of false kinks
We consider the decay of “false kinks,” that is, kinks formed in a scalar field theory with a pair of degenerate symmetry… 
2015
2015
Realizations of $$\kappa $$κ-Minkowski space, Drinfeld twists, and related symmetry algebras
Realizations of $$\kappa $$κ-Minkowski space linear in momenta are studied for time-, space- and light-like deformations. We… 
2012
2012
Achieving Completeness in Bounded Model Checking of Action Theories in ASP
Temporal logics can be used in reasoning about actions for specifying constraints on domain descriptions and temporal properties… 
2011
2011
Capturing the relative distribution of features for action recognition
This paper presents an approach to the categorisation of spatio-temporal activity in video, which is based solely on the relative… 
2011
2011
Behavior extraction from multiple sensors information for human activity monitoring
A monitoring system based on multiple microelectromechanical systems (MEMS) has been developed to maintain human healthcare… 
2008
2008
Doppler spreading of internal gravity waves by an inertia‐wave packet
[1] Present Doppler-spreading models for the high wave number end of atmospheric and oceanic internal wave spectra either neglect… 
2006
2006
Parsing Computer Languages with an Automaton Compiled from a Single Regular Expression
When a programmer is faced with the task of producing a parser for a context-free language there are many tools to choose from… 
2006
2006
Unipotent Conjugacy in General Linear Groups
ABSTRACT Let U(n,q) be the group of upper uni-triangular matrices in GL(n,q), the n-dimensional general linear group over the… 
2003
2003
Autonomy in an Organizational Context
  • Olga Pacheco
  • Agents and Computational Autonomy
  • 2003
  • Corpus ID: 26591793
In this paper it is discussed how organizations deal with autonomy of agents that constitute them. Based on human organizations… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)