478 search results - page 41 / 96 » Formal Modelling of Cognitive Interpretation |
140
click to vote
ARGMAS
2004
Springer
15 years 7 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
100
click to vote
ACMSE
2010
ACM
15 years 8 hour ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
103
click to vote
CLIMA
2004
15 years 3 months ago
2004
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper examines the relationship between gestures' function and form in design collaboration. It adopts a cognitive design research viewpoint. The analysis is restricted t...
112
click to vote
FTRTFT
1998
Springer
15 years 6 months ago
1998
Springer
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...