3505 search results - page 249 / 701 » A Language for Human Action |
142
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
155
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...
167
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a high-level language for programming modular robotic systems, based on locally distributed predicates (LDP), which are distributed conditions that hold for a connec...
152
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a multi-agent system architecture based on introspective agents provided with an expressive communication language and reasoning capabilities on their skills. ...
215
click to vote
FMCO
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...