Pages that link to "Item:Q1978378"
From MaRDI portal
The following pages link to A logical approach to the dynamics of commitments (Q1978378):
Displayed 18 items.
- A STIT logic for reasoning about social influence (Q310094) (← links)
- A formal model of emotion triggers: an approach for BDI agents (Q375310) (← links)
- Agent deliberation in an executable temporal framework (Q456706) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Towards a theory of intention revision (Q885523) (← links)
- A logic of intention and attempt (Q934779) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- A logical formalization of the OCC theory of emotions (Q1036048) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Intention as commitment toward time (Q1989411) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- The cognitive structure of surprise: looking for basic principles (Q2460293) (← links)
- Agents with emotions (Q3065306) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- Trust and Norms in the Context of Computer Security: A Logical Formalization (Q3522042) (← links)
- A logical characterisation of qualitative coalitional games (Q3647281) (← links)
- Temporal agent programs (Q5940961) (← links)
- A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)