A logical approach to the dynamics of commitments
From MaRDI portal
Publication:1978378
DOI10.1016/S0004-3702(99)00061-2zbMath0939.68831OpenAlexW2085858758MaRDI QIDQ1978378
Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
Publication date: 4 June 2000
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(99)00061-2
Related Items (18)
A verification framework for agent programming with declarative goals ⋮ A STIT logic for reasoning about social influence ⋮ A formal model of emotion triggers: an approach for BDI agents ⋮ Towards a theory of intention revision ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ Trust and Norms in the Context of Computer Security: A Logical Formalization ⋮ Agent deliberation in an executable temporal framework ⋮ A logic of intention and attempt ⋮ The cognitive structure of surprise: looking for basic principles ⋮ Intention as commitment toward time ⋮ A logic for reasoning about counterfactual emotions ⋮ Temporal agent programs ⋮ Interactions between knowledge, action and commitment within agent dynamic logic ⋮ Agents with emotions ⋮ On combinations of propositional dynamic logic and doxastic modal logics ⋮ REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION ⋮ A logical characterisation of qualitative coalitional games ⋮ A logical formalization of the OCC theory of emotions
Uses Software
This page was built for publication: A logical approach to the dynamics of commitments