The following pages link to D. Longin (Q1036047):
Displaying 10 items.
- A logical formalization of the OCC theory of emotions (Q1036048) (← links)
- (Q2852092) (← links)
- A logical analysis of responsibility attribution: emotions, individuals and collectives (Q2939304) (← links)
- Unifying the Intentional and Institutional Semantics of Speech Acts (Q3402240) (← links)
- OCC’s Emotions: A Formalization in a BDI Logic (Q3541828) (← links)
- The Logic of Acceptance: Grounding Institutions on Agents' Attitudes (Q3656760) (← links)
- (Q4247690) (← links)
- (Q4539631) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479288) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5900623) (← links)