Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,218,480 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.
2017
2017
Architectural Programming with MontiArcAutomaton
Arvid Butting
,
Oliver Kautz
,
Bernhard Rumpe
,
A. Wortmann
International Conference on Software Engineering…
2017
Corpus ID: 46750181
—Modeling software architectures usually requires programming the behavior of components interfacing general programming language…
Expand
2010
2010
Towards model checking executable UML specifications in mCRL2
H. Hansen
,
J. Ketema
,
B. Luttik
,
M. Mousavi
,
J. V. D. Pol
Innovations in Systems and Software Engineering
2010
Corpus ID: 12606701
We describe a translation of a subset of executable UML (xUML) into the process algebraic specification language mCRL2. This…
Expand
Highly Cited
2007
Highly Cited
2007
Human Comprehensible and Machine Processable Specifications of Operational Semantics
M. Scheidgen
,
J. Fischer
ECMDA-FA
2007
Corpus ID: 11492109
This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the…
Expand
2007
2007
An executable specification of a formal argumentation protocol
A. Artikis
,
M. Sergot
,
J. Pitt
Artificial Intelligence
2007
Corpus ID: 7729338
2005
2005
Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks
G. Gans
,
M. Jarke
,
G. Lakemeyer
,
D. Schmitz
Information Systems
2005
Corpus ID: 16179062
2001
2001
Action Language Verifier
T. Bultan
,
Tuba Yavuz-Kahveci
International Conference on Automated Software…
2001
Corpus ID: 1048416
Action Language is a specification language for reactive software systems. We present the Action Language Verifier which consists…
Expand
2000
2000
Action Language: a specification language for model checking reactive systems
T. Bultan
Proceedings of the International Conference on…
2000
Corpus ID: 7408840
We present a specification language called Action Language for model checking software specifications. Action Language forms an…
Expand
Highly Cited
2000
Highly Cited
2000
Formulating diagnostic problem solving using an action language with narratives and sensing
Chitta Baral
,
Sheila A. McIlraith
,
Tran Cao Son
International Conference on Principles of…
2000
Corpus ID: 18519005
Given a system and unexpected observations about the system, a diagnosis is often viewed as a fault assignment to the various…
Expand
Highly Cited
1999
Highly Cited
1999
Action Languages, Answer Sets, and Planning
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
Review
1991
Review
1991
Formal modelling techniques in human-computer interaction
G. D. Haan
,
G. Veer
,
J. C. V. Vliet
1991
Corpus ID: 16569008
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