Click: Social Institutions
Click: Papers for Downloading
I intend to work also on sequential and distributed rule systems for the build-up and verification of joint intentions that can be applied to inconsistent "real-life" knowledge bases.