714 search results - page 110 / 143 » Formal Verification of Cognitive Models |
126
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
107
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
118
Voted
COGSR
2010
14 years 8 months ago
2010
Emotion regulation describes how a subject can use certain strategies to affect emotion response levels. Usually, models for emotion regulation assume mechanisms based on feedback...
COLLABORATION
1999
Springer
15 years 6 months ago
1999
Springer
The paper presents the computational model underlying new agent communication languages. The model, called STROBE, has been identified and two prototypical languages inspired by th...
104
click to vote
IJCAI
2003
15 years 3 months ago
2003
Conventional methods used for the interpretation of activation data provided by functional neuroimaging techniques provide useful insights on what the networks of cerebral structu...