478 search results - page 39 / 96 » Formal Modelling of Cognitive Interpretation |
106
click to vote
CAISE
2007
Springer
15 years 8 months ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
103
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
124
click to vote
IGPL
2010
15 years 14 days ago
2010
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quantitative representation of the...
123
click to vote
CRITICAL
2005
15 years 3 months ago
2005
While affective computing explicitly challenges the primacy of rationality in cognitivist accounts of human activity, at a deeper level it relies on and reproduces the same inform...
123
click to vote
FAC
2000
15 years 1 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...