3505 search results - page 168 / 701 » A Language for Human Action |
CHI
2010
ACM
15 years 12 months ago
2010
ACM
The indexicality of language refers to the linkage between the language and the situation of use for determining the meaning of what is being said. In this paper I describe how a ...
171
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
We develop a generic framework for the analysis of programs with recursive procedures and dynamic process creation. To this end we combine the approach of weighted pushdown systems...
178
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
184
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
136
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We present an evaluation of pattern languages as tools for participatory design, based on three criteria, derived from the work of Christopher Alexander: empowering users, generat...