Awareness and Forgetting of Facts and Agents

We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We model these dynamics by quantifying over propositional variables and agent variables, in a multi-agent epistemic language with...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03 Vol. 3; pp. 478 - 483
Main Authors: Ditmarsch, Hans van, French, Tim
Format: Conference Proceeding
Language:English
Published: Washington, DC, USA IEEE Computer Society 15.09.2009
IEEE
Series:ACM Conferences
Subjects:
ISBN:0769538010, 9780769538013
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first