scientific article; zbMATH DE number 1305380
From MaRDI portal
Publication:4252258
zbMath0926.68108MaRDI QIDQ4252258
Wiebe van der Hoek, John-Jules Ch. Meyer, Bernd van Linder
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
A formal model of emotion triggers: an approach for BDI agents ⋮ Towards a theory of intention revision ⋮ On the dynamic logic of agency and action ⋮ Using temporal logics of knowledge for specification and verification -- a case study ⋮ A logic of situated resource-bounded agents ⋮ Group knowledge is not always distributed (neither is it always implicit) ⋮ A logical formalization of the OCC theory of emotions
This page was built for publication: