Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,869,416 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.
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
The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems
Thomas Eiter
,
Michael Fink
,
Giovambattista Ianni
,
P. Schüller
INAP/WLP
2011
Corpus ID: 874912
Multi-context systems are a declarative formalism for interlinking knowledge-based systems (contexts) that interact via (possibly…
Expand
2011
2011
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems
Thomas Eiter
,
Michael Fink
,
Giovambattista Ianni
,
P. Schüller
Log-IC@LPNMR
2011
Corpus ID: 5610930
Multi-context systems are a formalism for interlinking knowledge based system (contexts) which interact via (possibly…
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
2004
2004
Improving Pattern Support in UML CASE Tools
Samir Ammour
,
Xavier Blanc
,
M. Ziane
,
P. Desfray
2004
Corpus ID: 15372371
In this paper we improve the UML2.0 Collaboration Templates mechanism to better support patterns in UML CASE tools. Collaboration…
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
2002
2002
A Causal Modeling Technique
Naci Akkok
2002
Corpus ID: 58343463
A continuous hinge attached to the windshield of a cycle to permit rotation of the windshield from the upright protective…
Expand
2002
2002
DPADL: An Action Language for Data Processing Domains
K. Golden
,
D. Clancy
2002
Corpus ID: 14294143
This paper presents DPADL (Data Processing Action Description Language), a language for describing planning domains that involve…
Expand
1998
1998
Simulating PCCP programs in the Action language Workbench
T. Valkevych
1998
Corpus ID: 16826743
We describe the simulation of programs in the probabilistic concurrent constraint programming language PCCP. The simulation is…
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
or Only Accept Required