A general theory of action languages
type: Item
instance of: scholarly article
title: A general theory of action languages
zbMATH Open document ID: 0920.68024
DOI: 10.1007/BF02911258
author: A. A. Letichevskij
author: David Gilbert
published in: Cybernetics and Systems Analysis
publication date: 1999-09-13T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1283608
zbMATH Keywords: action-based languages
zbMATH Keywords: action language
MaRDI profile type: Publication
cites work: A domain equation for bisimulation
cites work: Q4225147
cites work: Q4289659
cites work: Process algebra for synchronous communication
cites work: A process algebra for synchronous concurrent constraint programming
cites work: Q2736349
cites work: Q5576260
cites work: Initial Algebra Semantics and Continuous Algebras
cites work: Algebraic semantics
cites work: Q4385538
cites work: Q3997501
cites work: Q3777424
cites work: CIRCAL and the representation of communication, concurrency, and time
cites work: Q3992568
cites work: Q4260379
cites work: Q4312458
cites work: Truly concurrent constraint programming
cites work: Decidability of bisimulation equivalence for normed pushdown processes
cites work: Q3994996
full work available at URL: https://doi.org/10.1007/bf02911258
OpenAlex ID: W2116166443
Recommended article: Q3977929
Recommended article: A Language for Default Reasoning about Actions
Recommended article: Q4702576
Recommended article: A Declarative Agent Programming Language Based on Action Theories
Recommended article: A language of actions in ontological transition systems
Recommended article: An action language for multi-agent domains
Recommended article: A New Incarnation of Action Language H
Recommended article: Advances in Artificial Intelligence
Recommended article: Q4636294
description: scientific article; zbMATH DE number 1283608