Action language

In computer science, an action language is a language for specifying state transition systems, and is commonly used to create formal models of the… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Action languages are formal models of parts of natural language that are designed to describe effects of actions. Many of these… (More)
  • figure 1
Is this relevant?
2013
2013
The action description languages B andC have significant common core. Nevertheless, some expressive possibilities ofB are… (More)
Is this relevant?
2009
2009
The paper presents the syntax and semantics of an action language ALM. The language is used for representation of knowledge about… (More)
Is this relevant?
2008
2008
The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner is a formalism for specifying and reasoning about the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
Action Language Verifier (ALV) is an infinite state model checker which specializes on systems specified with linear arithmetic… (More)
Is this relevant?
2001
2001
Action Language is a specification language for reactive software systems. In this paper we present the Action Language Verifier… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1999
Highly Cited
1999
This is a discussion of some of the achievements and challenges related to representing actions and the design of planners from… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
The ontology of the original action language A Gelfond and Lifschitz1993] is more restrictive than the ontological assumptions of… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Action languages serve for describing changes that are caused by performing actions. We define a new action language g, based on… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
universit a di genova facolt a di ingegneria dipartimento informatica sistemistica telematica Abstract We deene and study a high… (More)
Is this relevant?