Sciweavers

1588 search results - page 113 / 318
» Modular action language
Sort
View
FLAIRS
2000
15 years 7 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...
USENIX
1990
15 years 7 months ago
Tcl: An Embeddable Command Language
Tcl is an interpreter for a tool command language. It consists of a library package that is embedded in tools (such as editors, debuggers, etc.) as the basic command interpreter. ...
John K. Ousterhout
RML
2002
94views Business» more  RML 2002»
15 years 6 months ago
The situation manager rule language
This paper presents the "situation manager" rule language. The situation manager is a tool that includes both a language and an efficient runtime execution mechanism, aim...
Asaf Adi, Opher Etzion
E4MAS
2004
Springer
15 years 12 months ago
ELMS: An Environment Description Language for Multi-agent Simulation
This paper presents ELMS, a language used for the specification of multi-agent environments. This language is part of the MAS-SOC approach to the design and implementation of mult...
Fabio Y. Okuyama, Rafael H. Bordini, Antônio...
DALT
2008
Springer
15 years 8 months ago
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
Abstract. In most agent programming languages in practice a programmer is committed to the use of a single knowledge representation technology. In this paper we argue this is not n...
Mehdi Dastani, Koen V. Hindriks, Peter Nová...