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

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The action language BC provides an elegant way of formalizing dynamic domains which involve indirect effects of actions and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2009
2009
We describe a translation of a subset of executable UML (xUML) into the process algebraic specification language mCRL2. This… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2007
2007
This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper we present recent work on GATE, a widely-used framework and graphical development environment for creating and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
The UML has been widely accepted as a standard for modeling software systems and is supported by a great number of CASE tools… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
1999
Highly Cited
1999
  • V. Lifschitz
  • The Logic Programming Paradigm
  • 1999
  • Corpus ID: 12357894
This is a discussion of some of the achievements and challenges related to representing actions and the design of planners from… Expand
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… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We describe Occam, a query planning algorithm that determines the best way to integrate data from di erent sources. As input… Expand
  • figure 1
  • figure 2
  • table 1
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Abstract Clausal intuitionistic logic is an extension of Horn-clause logic which permits the appearance of negations and embedded… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?