-
1
-
-
63949087626
-
A logical formalization of the OCC theory of emotions
-
C. Adam, A. Herzig, and D. Longin A logical formalization of the OCC theory of emotions Synthese 168 2 2009 201 248
-
(2009)
Synthese
, vol.168
, Issue.2
, pp. 201-248
-
-
Adam, C.1
Herzig, A.2
Longin, D.3
-
4
-
-
0042908709
-
Alternating-time temporal logic
-
R. Alur, and T. Henzinger Alternating-time temporal logic Journal of the ACM 49 2002 672 713
-
(2002)
Journal of the ACM
, vol.49
, pp. 672-713
-
-
Alur, R.1
Henzinger, T.2
-
5
-
-
79151473620
-
Coalition games over Kripke semantics
-
P. Balbiani, O. Gasquet, A. Herzig, F. Schwarzentruber, and N. Troquard Coalition games over Kripke semantics C. Dégremont, L. Keiff, H. Rückert, Festschrift in Honour of Shahid Rahman 2008 College Publications 1 12
-
(2008)
Festschrift in Honour of Shahid Rahman
, pp. 1-12
-
-
Balbiani, P.1
Gasquet, O.2
Herzig, A.3
Schwarzentruber, F.4
Troquard, N.5
-
6
-
-
79151482364
-
An alternating procedure for the satisfiability problem of S5n
-
IRIT
-
P. Balbiani, O. Gasquet, E. Lorini, F. Schwarzentruber, An alternating procedure for the satisfiability problem of S 5 n, Tech. Rep. IRIT/RT-2009-1-FR, IRIT, 2009.
-
(2009)
Tech. Rep. IRIT/RT-2009-1-FR
-
-
Balbiani, P.1
Gasquet, O.2
Lorini, E.3
Schwarzentruber, F.4
-
7
-
-
46349111802
-
Alternative axiomatics and complexity of deliberative STIT theories
-
P. Balbiani, A. Herzig, and N. Troquard Alternative axiomatics and complexity of deliberative STIT theories Journal of Philosophical Logic 37 4 2008 387 406
-
(2008)
Journal of Philosophical Logic
, vol.37
, Issue.4
, pp. 387-406
-
-
Balbiani, P.1
Herzig, A.2
Troquard, N.3
-
8
-
-
0028477517
-
The role of emotion in believable agents
-
J. Bates The role of emotion in believable agents Communications of the ACM 37 7 1994 122 125
-
(1994)
Communications of the ACM
, vol.37
, Issue.7
, pp. 122-125
-
-
Bates, J.1
-
12
-
-
33750720613
-
Embedding Alternating-time temporal logic in strategic STIT logic of agency
-
J. Broersen, A. Herzig, and N. Troquard Embedding Alternating-time temporal logic in strategic STIT logic of agency Journal of Logic and Computation 16 5 2006 559 578
-
(2006)
Journal of Logic and Computation
, vol.16
, Issue.5
, pp. 559-578
-
-
Broersen, J.1
Herzig, A.2
Troquard, N.3
-
17
-
-
0025403233
-
Intention is choice with commitment
-
P.R. Cohen, and H.J. Levesque Intention is choice with commitment Artificial Intelligence 42 2-3 1990 213 261
-
(1990)
Artificial Intelligence
, vol.42
, Issue.23
, pp. 213-261
-
-
Cohen, P.R.1
Levesque, H.J.2
-
18
-
-
0037872024
-
From Greta's mind to her face: Modelling the dynamics of affective states in a conversational embodied agent
-
F. de Rosis, C. Pelachaud, I. Poggi, V. Carofiglio, and B. De Carolis From Greta's mind to her face: modelling the dynamics of affective states in a conversational embodied agent International Journal of Human-Computer Studies 59 2003 81 118
-
(2003)
International Journal of Human-Computer Studies
, vol.59
, pp. 81-118
-
-
De Rosis, F.1
Pelachaud, C.2
Poggi, I.3
Carofiglio, V.4
De Carolis, B.5
-
19
-
-
0036948051
-
Investigating the appraisal patterns of regret and disappointment
-
W.W. Dijk, and M. Zeelenberg Investigating the appraisal patterns of regret and disappointment Motivation and Emotion 26 4 2002 321 331
-
(2002)
Motivation and Emotion
, vol.26
, Issue.4
, pp. 321-331
-
-
Dijk, W.W.1
Zeelenberg, M.2
-
22
-
-
0003893572
-
-
Cambridge University Press
-
N. Frijda The Emotions 1986 Cambridge University Press
-
(1986)
The Emotions
-
-
Frijda, N.1
-
23
-
-
0000446205
-
Relations among emotion, appraisal, and emotional action readiness
-
N.H. Frijda, P. Kuipers, and E. Ter Schure Relations among emotion, appraisal, and emotional action readiness Journal of Personality and Social Psychology 57 2 1989 212 228
-
(1989)
Journal of Personality and Social Psychology
, vol.57
, Issue.2
, pp. 212-228
-
-
Frijda, N.H.1
Kuipers, P.2
Ter Schure, E.3
-
28
-
-
0026853865
-
A guide to completeness and complexity for modal logics of knowledge and belief
-
J.Y. Halpern, and Y. Moses A guide to completeness and complexity for modal logics of knowledge and belief Artificial Intelligence 54 2 1992 319 379
-
(1992)
Artificial Intelligence
, vol.54
, Issue.2
, pp. 319-379
-
-
Halpern, J.Y.1
Moses, Y.2
-
31
-
-
0000569452
-
The deliberative STIT: A study of action, omission, and obligation
-
J.F. Horty, and N. Belnap The deliberative STIT: A study of action, omission, and obligation Journal of Philosophical Logic 24 6 1995 583 644
-
(1995)
Journal of Philosophical Logic
, vol.24
, Issue.6
, pp. 583-644
-
-
Horty, J.F.1
Belnap, N.2
-
33
-
-
0000050520
-
Norm theory: Comparing reality to its alternatives
-
D. Kahneman, and D.T. Miller Norm theory: comparing reality to its alternatives Psychological Review 93 2 1986 136 153
-
(1986)
Psychological Review
, vol.93
, Issue.2
, pp. 136-153
-
-
Kahneman, D.1
Miller, D.T.2
-
35
-
-
0000595575
-
The computational complexity of provability in systems of modal propositional logic
-
R.E. Ladner The computational complexity of provability in systems of modal propositional logic SIAM Journal on Computing 6 3 1977 467 480
-
(1977)
SIAM Journal on Computing
, vol.6
, Issue.3
, pp. 467-480
-
-
Ladner, R.E.1
-
37
-
-
0000923828
-
Regret theory: An alternative theory of rational choice under uncertainty
-
G. Loomes, and R. Sugden Regret theory: an alternative theory of rational choice under uncertainty Economic Journal 92 4 1982 805 824
-
(1982)
Economic Journal
, vol.92
, Issue.4
, pp. 805-824
-
-
Loomes, G.1
Sugden, R.2
-
38
-
-
84936628640
-
Testing for regret and disappointment in choice under uncertainty
-
G. Loomes, and R. Sugden Testing for regret and disappointment in choice under uncertainty Economic Journal 97 1987 118 129
-
(1987)
Economic Journal
, vol.97
, pp. 118-129
-
-
Loomes, G.1
Sugden, R.2
-
43
-
-
0036466117
-
A modal logic for coalitional power in games
-
M. Pauly A modal logic for coalitional power in games Journal of Logic and Computation 12 1 2002 149 166
-
(2002)
Journal of Logic and Computation
, vol.12
, Issue.1
, pp. 149-166
-
-
Pauly, M.1
-
46
-
-
0004096821
-
Building emotional agents
-
CMUCS-92-143, School of Computer Science, Carnegie Mellon University
-
W.S. Reilly, J. Bates, Building emotional agents, Tech. Rep., CMUCS-92-143, School of Computer Science, Carnegie Mellon University, 1992.
-
(1992)
Tech. Rep.
-
-
Reilly, W.S.1
Bates, J.2
-
47
-
-
67249144314
-
Emotional experience in the computational belief-desire theory of emotion
-
R. Reisenzein Emotional experience in the computational belief-desire theory of emotion Emotion Review 1 3 2009 214 222
-
(2009)
Emotion Review
, vol.1
, Issue.3
, pp. 214-222
-
-
Reisenzein, R.1
-
48
-
-
0030636245
-
Counterfactual thinking
-
N.J. Roese Counterfactual thinking Psychological Bulletin 121 1 1997 133 148
-
(1997)
Psychological Bulletin
, vol.121
, Issue.1
, pp. 133-148
-
-
Roese, N.J.1
-
49
-
-
34247531797
-
The mechanics of imagination: Automaticity and control in counterfactual thinking
-
N.J. Roese, L.J. Sanna, and A.D. Galinsky The mechanics of imagination: automaticity and control in counterfactual thinking R.R. Hassin, J.S. Uleman, J.A. Bargh, The New Unconscious 2005 Oxford University Press
-
(2005)
The New Unconscious
-
-
Roese, N.J.1
Sanna, L.J.2
Galinsky, A.D.3
-
51
-
-
0001126515
-
Appraisal determinants of emotions: Constructing a more accurate and comprehensive theory
-
I.J. Roseman, A.A. Antoniou, and P.E. Jose Appraisal determinants of emotions: constructing a more accurate and comprehensive theory Cognition and Emotion 10 1996 241 277
-
(1996)
Cognition and Emotion
, vol.10
, pp. 241-277
-
-
Roseman, I.J.1
Antoniou, A.A.2
Jose, P.E.3
-
52
-
-
0002088759
-
Appraisal considered as a process of multilevel sequential checking
-
K. Scherer Appraisal considered as a process of multilevel sequential checking K.R. Scherer, A. Schorr, T. Johnstone, Appraisal Processes in Emotion: Theory, Methods, Research 2001 Oxford University Press Oxford
-
(2001)
Appraisal Processes in Emotion: Theory, Methods, Research
-
-
Scherer, K.1
-
53
-
-
0003675938
-
-
Oxford University Press Oxford
-
K.R. Scherer, A. Schorr, T. Johnstone, Appraisal Processes in Emotion: Theory, Methods, Research 2001 Oxford University Press Oxford
-
(2001)
Appraisal Processes in Emotion: Theory, Methods, Research
-
-
Scherer, K.R.1
Schorr, A.2
Johnstone, T.3
-
57
-
-
0004200534
-
-
University of Notre Dame Press Notre Dame
-
R.C. Solomon The Passions 1976 University of Notre Dame Press Notre Dame
-
(1976)
The Passions
-
-
Solomon, R.C.1
-
59
-
-
0002335083
-
Regret, recrimination and rationality
-
R. Sugden Regret, recrimination and rationality Theory and Decision 19 1 1985 77 99
-
(1985)
Theory and Decision
, vol.19
, Issue.1
, pp. 77-99
-
-
Sugden, R.1
-
61
-
-
46349093037
-
-
Ph.D. thesis, Univ. Paul Sabatier Toulouse III & Univ. degli studi di Trento
-
N. Troquard, Independent agents in branching time, Ph.D. thesis, Univ. Paul Sabatier Toulouse III & Univ. degli studi di Trento, 2007.
-
(2007)
Independent Agents in Branching Time
-
-
Troquard, N.1
-
64
-
-
78650689720
-
Towards a dynamic logic of questions
-
Proceedings of Second International Workshop on Logic, Rationality and Interaction (LORI-II), Springer-Verlag
-
J. van Benthem, and S. Minicǎ Towards a dynamic logic of questions Proceedings of Second International Workshop on Logic, Rationality and Interaction (LORI-II) LNCS vol. 5834 2009 Springer-Verlag 27 41
-
(2009)
LNCS
, vol.5834
, pp. 27-41
-
-
Van Benthem, J.1
Minicǎ, S.2
-
66
-
-
4544383448
-
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
-
W. van der Hoek, and M. Wooldridge Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications Studia Logica 75 2003 125 157
-
(2003)
Studia Logica
, vol.75
, pp. 125-157
-
-
Van Der Hoek, W.1
Wooldridge, M.2
-
68
-
-
0030078497
-
Consequences of regret aversion: Effects of expected feedback on risky decision making
-
M. Zeelenberg, J. Beattie, J. van der Pligt, and N.K. de Vries Consequences of regret aversion: effects of expected feedback on risky decision making Organizational Behavior and Human Decision Processes 65 2 1996 148 158
-
(1996)
Organizational Behavior and Human Decision Processes
, vol.65
, Issue.2
, pp. 148-158
-
-
Zeelenberg, M.1
Beattie, J.2
Van Der Pligt, J.3
De Vries, N.K.4
-
69
-
-
0033919360
-
On bad decisions and disconfirmed expectancies: The psychology of regret and disappointment
-
M. Zeelenberg, W. van Dijk, A.S.R. Manstead, and J. van der Pligt On bad decisions and disconfirmed expectancies: The psychology of regret and disappointment Cognition and Emotion 14 4 2000 521 541
-
(2000)
Cognition and Emotion
, vol.14
, Issue.4
, pp. 521-541
-
-
Zeelenberg, M.1
Van Dijk, W.2
Manstead, A.S.R.3
Van Der Pligt, J.4
-
70
-
-
0000447359
-
Emotional reactions to the outcomes of decisions: The role of counterfactual thought in the experience of regret and disappointment
-
M. Zeelenberg, W. van Dijk, J. van der Pligt, A.S.R. Manstead, P. van Empelen, and D. Reinderman Emotional reactions to the outcomes of decisions: the role of counterfactual thought in the experience of regret and disappointment Organizational Behavior and Human Decision Processes 75 2 1998 117 141
-
(1998)
Organizational Behavior and Human Decision Processes
, vol.75
, Issue.2
, pp. 117-141
-
-
Zeelenberg, M.1
Van Dijk, W.2
Van Der Pligt, J.3
Manstead, A.S.R.4
Van Empelen, P.5
Reinderman, D.6
|