Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 224,954,787 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Action description language
Action model learning
Answer set programming
Artificial intelligence
Expand
Broader (1)
Automated planning and scheduling
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The motor-semantic meanings of verbs generated by Parkinson's disease patients on/off dopamine medication in a verbal fluency task
E. Herrera
,
B. Bermúdez-Margaretto
,
R. Ribacoba
,
F. Cuetos
Journal of Neurolinguistics
2015
Corpus ID: 53181247
2015
2015
A history based approximate epistemic action theory for efficient postdictive reasoning
Manfred Eppe
,
M. Bhatt
Journal of Applied Logic
2015
Corpus ID: 4657511
2013
2013
Characterization of Adaptable Interpreted-DSML
Eric Cariou
,
Olivier Le Goaër
,
F. Barbier
,
Samson Pierre
European Conference on Modelling Foundations and…
2013
Corpus ID: 2712679
One of the main goals of model-driven engineering (MDE) is the manipulation of models as exclusive software artifacts. Model…
Expand
2012
2012
Achieving Completeness in Bounded Model Checking of Action Theories in ASP
Laura Giordano
,
A. Martelli
,
D. T. Dupré
International Conference on Principles of…
2012
Corpus ID: 4615566
Temporal logics can be used in reasoning about actions for specifying constraints on domain descriptions and temporal properties…
Expand
2011
2011
State Transitions and Normative Positions within Normative Systems
Magnus Hjelmblom
2011
Corpus ID: 14880075
Many multi-agent systems are naturally viewed as transition systems, in which the transitions between states are connected to the…
Expand
2010
2010
Tool Support for fUML Models
Codrut-Lucian Lazar
,
I. Lazar
,
B. Pârv
,
S. Motogna
,
I. Czibula
International Journal of Computers Communications…
2010
Corpus ID: 54806774
In this paper we present a tool chain that aids in the construction of executable UML models according to the new Foundational…
Expand
2009
2009
Circumscriptive Event Calculus as Answer Set Programming
Tae-Won Kim
,
Joohyung Lee
,
R. Palla
International Joint Conference on Artificial…
2009
Corpus ID: 2335733
Recently, Ferraris, Lee and Lifschitz presented a general definition of a stable model that is similar to the definition of…
Expand
2006
2006
Integration of an Action Language Via UML Action Semantics
Claudius Heitz
,
Peter Thiemann
,
Thomas Wölfle
Trends in Enterprise Application Architecture
2006
Corpus ID: 10533582
Transformations play a central role in MDA. A desirable goal of MDA is to obtain the complete source code by model…
Expand
2003
2003
UML-Based Co-Design for Run-Time Reconfigurable Architectures
D. Fröhlich
,
B. Steinbach
,
Thomas Beierlein
Forum on Specification and Design Languages
2003
Corpus ID: 14126991
In this article we present an object-oriented approach and a development environment for the system-level design of run-time…
Expand
2002
2002
Defining OCL expressions using templates.
J. Willans
,
P. Sammut
,
Girish Maskeri
,
A. Evans
,
A. Clark
2002
Corpus ID: 1290601
OCL expressions are an essential part of UML. The current versions of OCL fail to have a meta-model which means that the…
Expand
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)
ACCEPT & CONTINUE