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

Topic mentions per year

Topic mentions per year

1988-2016
051019882016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic… (More)
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
In this paper we develop a logical framework for specifying and verifying systems of communicating agents and interaction… (More)
Is this relevant?
2007
2007
Pratt (1991, Proceedings of JELIA’90, Volume 478, pp. 97–120) defines action algebras as Kleene algebras with residuals and… (More)
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Though the exact definition of the boundary between intelligent and non-intelligent artifacts has been a subject of much debate… (More)
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 4.1
  • figure 4.2
Is this relevant?
2004
2004
In this paper we address the problem of specifying and verifying systems of communicating agents in a Dynamic Linear Time… (More)
Is this relevant?
2003
2003
We propose an approach to reasoning about conversation protocols within the framework of a logic-based agent language. We show… (More)
  • figure 1
Is this relevant?
2001
2001
An increasing volume of research in e-commerce is concerned with the development of tools and environments to support various… (More)
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We present TALplanner, a forward-chaining planner based on the use of domain-dependent search control knowledge represented as… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… (More)
  • figure 2
  • figure 3
Is this relevant?
1990
1990
Man is capable of reasoning when the available information is incomplete. The conclusions obtained are based on knowledge… (More)
  • figure 1
  • figure 2
Is this relevant?