A central finding in experimental research identified with Embodied Cognition (EC) is that understanding actions involves their embodied simulation, i.e. executing some processes involved in performing these actions. Extending these findings, I argue that reenactment – the overt embodied simulation of actions and practices, including especially communicative actions and practices, within uttera...

In this work we deal with actions of vector groupoid which is a new concept in the literature‎. ‎After we give the definition of the action of a vector groupoid on a vector space‎, ‎we obtain some results related to actions of vector groupoids‎. ‎We also apply some characterizations of the category and groupoid theory to vector groupoids‎. ‎As the second part of the work‎, ‎we define the notion...

Transfer protocols are composed from basic protocol mechanisms and accordingly a complex protocol can be veriied by a series of relatively simple mechanism proofs. Our approach applies L. Lamport's Temporal Logic of Actions (TLA). It is based on a modular compositional TLA-style and supports the analysis of exibly conngured high-speed transfer protocols.

In this paper we analyse the new paradigm represented by the Internet as a global means of communication and the linguistic differences as an obstacle to the increasing demand in international interchange. The Universal Networking Language (UNL) is presented as a highly important initiative within the scope of actions of the United Nations Organisation, representing a solution to overcome the b...

This paper presents new approaches to modelling both linguistic and non-linguistic feedback during instruction giving in a virtual domain. Our approach enables finegrained investigation of how language and actions are conditioned by task-level and domain-level features of dialogue. In a preliminary study, we examine the interaction between pauses in linguistic and non-linguistic activity. As fa...