Atkinson, R. C. and Shiffrin, R. M. 1971. The control of short-term memory. Scientific American 225, 82–90.
Balduccini, M., Gelfond, M. and Nogueira, M. 2000. A-Prolog as a tool for declarative programming. In Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE'2000). 63–72.
Baral, C. and Gelfond, M. 2005. Reasoning about intended actions. In Proceedings of the 20th National Conference on Artificial Intelligence. 689–694.
Card, S. K., Moran, T. P. and Newell, A. 1983. The Psychology of Human-Computer Interaction. L. Erlbaum Associates Inc.
Chintabathina, S., Gelfond, M., and Watson, R. 2005. Modeling hybrid domains using process description language. In Proceedings of ASP '05 – Answer Set Programming: Advances in Theory and Implementation. 303–317.
Cowan, N. 2000. The magical number 4 in short-term memory: A reconsideration of mental storage capacity. Behavioral and Brain Sciences 24, 87–185.
Delgrande, J. P., Grote, T., and Hunter, A. 2009. A general approach to the verification of cryptographic protocols using answer set programming. In 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR09). 355–367.
Gelfond, M. 2002. Representing knowledge in A-Prolog. In Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II, Kakas, A. C. and Sadri, F., Eds. Vol. 2408. Springer, Berlin, 413–451.
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385.
Gelfond, M. and Lifschitz, V. 1998. Action languages. Electronic Transactions on AI 3, 16.
Kassin, S. 2006. Psychology in Modules. Prentice Hall.
Kieras, D. and Polson, P. G. 1983. A generalized transition network representation for interactive systems. In Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (SIGCHI-83). 103–106.
Kieras, D. and Polson, P. G. 1985. A quantitative model of the learning and performance of text editing knowledge. 16, 4 (April), 207–212.
Lee, J. and Lifschitz, V. 2001. Additive fluents. In Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, Provetti, A. and Son, T. C., Eds. AAAI Spring Symposium Series.
Leite, J. and Ilic, M. 2007. Answer-set programming based dynamic user modeling for recommender systems. In Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intelligence. 29–42.
Marek, V. W. and Truszczynski, M. 1999. The Logic Programming Paradigm: A 25-Year Perspective. Springer, Berlin (Chapter Stable models and an alternative logic programming paradigm), 375–398.
McCarley, J. S., Wickens, C. D., Gob, J. and Horrey, W. J. 2002. A computational model of attention/situation awareness. In Proceedings of the 46th Annual Meeting of the Human Factors and Ergonomics Society.
Miller, G. A. 1956. The magical number seven, plus or minus two: Some limits on our capacity for processing information. Psychological Review 63, 81–97.
Nevid, J. S. 2007. Psychology: Concepts and Applications, 2nd ed.Houghton Mifflin Company.
Niemela, I. and Simons, P. 2000. Logic-Based Artificial Intelligence. Kluwer (Chapter extending the smodels system with cardinality and weight constraints), 491–521.
Son, T. C. and Sakama, C. 2009. Negotiation using logic programming with consistency restoring rules. In International Joint Conferences on Artificial Intelligence (IJCAI).
Thielscher, M. 2009. Answer set programming for single-player games in general game playing. In 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR09). 327–341.