• ConGolog

  • Referenced in 48 articles [sw01801]
  • presented and illustrated with some examples. The language includes facilities for prioritizing the execution ... become true, and dealing with exogenous actions. The language differs from other procedural formalisms ... incompletely specified and the primitive actions can be user-defined by axioms in the situation ... calculus. Some mathematical properties of the language are proven, for instance, that the proposed semantics...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains ... axioms about the preconditions and effects of actions and the initial state of the world ... effects of various possible courses of action before committing to a particular behavior ... abstraction than is usually possible. The language appears well suited for applications in high level...
  • Coala

  • Referenced in 10 articles [sw08842]
  • Coala: a compiler from action languages to ASP. Action languages allow for compactly describing dynamic ... offering manifold compilation techniques for several action languages. We provide an overview of the salient...
  • CCalc

  • Referenced in 78 articles [sw09899]
  • maintained by Texas Action Group at Austin. The semantics of the language of CCalc...
  • Society Visualiser

  • Referenced in 10 articles [sw20845]
  • specification is formalized in two action languages, the C+ language and the Event Calculus ... strengths and weaknesses of the employed action languages for the specification of open agent societies...
  • ALM

  • Referenced in 5 articles [sw29436]
  • Modular Action Language ALM. The paper introduces a new modular action language, ALM, and illustrates ... which a high-level action language is used as a front end for a logic ... tasks. The methodology based on existing action languages works well for small and even medium...
  • Tweety

  • Referenced in 8 articles [sw22090]
  • revision, preference reasoning, preference aggregation, and action languages. A series of utility libraries that deal...
  • PREGO

  • Referenced in 5 articles [sw16793]
  • PREGO: An action language for belief-based cognitive robotics in continuous domains. The area ... world robotics. This paper proposes a new language and an implemented system, called prego, based ... representational richness of conventional logic-based action languages, such as contextsensitive successor state axioms...
  • AWK

  • Referenced in 17 articles [sw23781]
  • data-driven scripting language consisting of a set of actions to be taken against streams ... text, such as producing formatted reports. The language extensively uses the string datatype, associative arrays...
  • LUPS

  • Referenced in 37 articles [sw02579]
  • LUPS -- a language for updating logic programs. Most of the work conducted ... built? For instance, in the domain of actions, what are the appropriate sequences...
  • Murphi

  • Referenced in 16 articles [sw22149]
  • input language (also called Murphi) which is a guard -> action notation similar to Unity, which ... executed in an infinite loop. The Murphi language contains support for familiar data types...
  • REBA

  • Referenced in 4 articles [sw29435]
  • different levels of granularity. An action language is extended to support non-boolean fluents ... program provides a plan of abstract actions. To implement each such abstract action, the robot...
  • B-Prolog

  • Referenced in 18 articles [sw06949]
  • standard Prolog language with several extended features including matching clauses, action rules for event handling...
  • Cplus2ASP

  • Referenced in 3 articles [sw09897]
  • implementation of the action language C+ (an extension of causal logic) that is very useful...
  • TLA

  • Referenced in 26 articles [sw04442]
  • Actions, but it has become a shorthand for referring to the TLA+ specification language...
  • mAL

  • Referenced in 1 article [sw26683]
  • presence of state constraints: the action language mAL. Reasoning about actions forms the basis ... broad class of languages called action languages has been developed together with a methodology ... epistemic logic community towards understanding how the actions of an agent may affect the knowledge ... setting. This paper presents a new action language, $mmathcal{AL}$, which brings together techniques developed...
  • OTSL

  • Referenced in 3 articles [sw21005]
  • language of actions in ontological transition systems. In the framework of the development ... language for ontological transition systems, a sublanguage of actions is defined. Actions are used...
  • 3APL

  • Referenced in 33 articles [sw20859]
  • Agent Programming Language. 3APL is a programming language for implementing cognitive agents. It provides programming ... basic capabilities (such as belief updates, external actions, or communication actions...
  • TLC

  • Referenced in 14 articles [sw09530]
  • specification language based on TLA, the Temporal Logic of Actions. See the TLA web page...
  • ANML

  • Referenced in 2 articles [sw12930]
  • ANML language. The Action Notation Modeling Language (ANML) provides a high-level, convenient, and succinct ... ASPEN modeling language (AML). ANML is based on strong notions of action and state (like ... common forms of action conditions, effects, and resource usage. The language supports both generative...