3319 search results - page 141 / 664 » Subshifts, Languages and Logic |
106
click to vote
VRML
2003
ACM
15 years 6 months ago
2003
ACM
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
100
Voted
ENTCS
2002
15 years 17 days ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
98
Voted
ENTCS
2002
15 years 17 days ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
82
Voted
CMOT
1998
15 years 13 days ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
117
Voted
CORR
2002
Springer
15 years 17 days ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...