5675 search results - page 2 / 1135 » Formalising Performative Interaction |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Similarly to institutions in human societies, Electronic Institutions (EI) provide structured frameworks for Multi-Agent Systems (MAS) to regulate agents' interactio...
EHCI
2004
13 years 8 months ago
2004
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
TPHOL
2009
IEEE
14 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
ICIDS
2009
Springer
14 years 1 months ago
2009
Springer
The IRIS Network of Excellence (NoE) started its work in January 2009. In this paper we highlight some new research directions developing within the network: one is revisiting narr...
EACL
1993
ACL Anthology
13 years 8 months ago
1993
ACL Anthology
It is traditionally assumed that various sources of linguistic knowledge and their interaction should be formalised in order to be able to convert words into their phonemic repres...