A Logic for Reasoning About Knowledge of Unawareness, Journal of Logic, Language and Information, vol.27, issue.2, pp.197-217, 2014. ,
DOI : 10.1006/game.1998.0666
A complete and decidable logic for resource-bounded agents, Proceedings of AAMAS 2014, pp.606-613, 2004. ,
Working memory The psychology of learning and motivation: Advances in research and theory, pp.47-89, 1974. ,
Logics for Epistemic Programs, Synthese, vol.139, issue.2, pp.165-224, 2004. ,
DOI : 10.1023/B:SYNT.0000024912.56773.5e
A Qualitative Theory of Dynamic Interactive Belief Revision, Proceedings of LOFT 7, pp.13-60, 2008. ,
DOI : 10.1007/978-1-4020-5839-4
URL : http://www.vub.ac.be/CLWF/SS/chapter.pdf
An embedded process model of working memory, Models of working memory: Mechanisms of Active Maintenance and Executive Control, pp.62-101, 1999. ,
DOI : 10.1017/cbo9781139174909.006
Belief, awareness, and limited reasoning, Artificial Intelligence, vol.34, issue.1, pp.39-76, 1988. ,
DOI : 10.1016/0004-3702(87)90003-8
URL : http://www.almaden.ibm.com/cs/people/fagin/ai88.pdf
Reasoning about knowledge, 1995. ,
A logic for characterizing multiple bounded agents, Autonomous Agents and Multi-Agent Systems, vol.3, issue.4, pp.351-387, 2000. ,
DOI : 10.1023/A:1010050603219
Twelve Angry Men: A Study on the Fine-Grain of Announcements, Proceedings of LORI 2009, pp.147-160, 2009. ,
DOI : 10.1093/logcom/7.5.633
URL : http://staff.science.uva.nl/~grossi/pubblicazioni/grossi09twelve.pdf
A guide to completeness and complexity for modal logics of knowledge and belief, Artificial Intelligence, vol.54, issue.3, pp.319-379, 1992. ,
DOI : 10.1016/0004-3702(92)90049-4
Reasoning about knowledge of unawareness, Games and Economic Behavior, vol.67, issue.2, pp.503-525, 2009. ,
DOI : 10.1016/j.geb.2009.02.001
URL : http://arxiv.org/pdf/cs.lo/0603020.pdf
Impossible possible worlds vindicated, Journal of Philosophical Logic, vol.4, issue.4, pp.475-484143, 1975. ,
DOI : 10.1007/BF00558761
The Soar Cognitive Architecture, 2012. ,
DOI : 10.21236/ada473738
URL : http://www.dtic.mil/dtic/tr/fulltext/u2/a473738.pdf
A logic of implicit and explicit belief, Proceedings of AAAI-84, pp.198-202, 1984. ,
Modeling Working Memory in a Unified Architecture: An ACT-R Perspective, Models of working memory: Mechanisms of Active Maintenance and Executive Control, pp.135-182 ,
DOI : 10.1017/CBO9781139174909.008
Complexity and succinctness of public announcement logic, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems , AAMAS '06, pp.137-144, 2006. ,
DOI : 10.1145/1160633.1160657
Semantics for Knowledge and Change of Awareness, Journal of Logic, Language and Information, vol.169, issue.2, pp.169-195, 2014. ,
DOI : 10.1006/game.1998.0666
URL : https://hal.archives-ouvertes.fr/hal-01273565
Dynamic Epistemic Logic, 2008. ,
DOI : 10.1007/978-1-4020-5839-4
URL : https://hal.archives-ouvertes.fr/hal-00868361
Explicit and Implicit Knowledge in Neighbourhood Models, Proceedings of LORI 2013, pp.239-252 ,
DOI : 10.1007/978-3-642-40948-6_19
The Soar Cognitive Architecture and Human Working Memory, Models of working memory: Mechanisms of Active Maintenance and Executive Control, pp.135-182, 1999. ,
DOI : 10.1017/CBO9781139174909.010
URL : http://phoenix.herts.ac.uk/pub/R.M.Young/publications/99.Young-Lewis.pdf