The INTROSPECTION Home Page

Pointers to Home Pages and Other Items of Interest on Introspection

Theses
Individual Papers
Paper collections
Symposia
Architectures

Anderson's MetaCognition In Computation Page
Chalmer's Bibliography on Consciousness and Qualia
Debate on Introspection
Experimenting with Introspection
Formal Self-Reference in Artificial Intelligence
The International Association for MetaCognition (IAM)
The Jini Model
The Massive Memory Project
McCarthy on Introspection
Metacognition : Learning and mathematics
Reasoning about Reasoning
REFLECT - Reflective Expertise in Knowledge-Based Systems
Self Reference
Stanford Artificial Intelligence Project: Primitive concepts underlying verb of thought
The Way of Introspection

Theses (Back to top of page)
- Baker, D. (1997) . Memento: A collaborative semantic-based infrastructure for building assistant applications (Doctoral dissertation, Rice University, Houston, Texas, 1997).
- Bolander, T. (2003) . Logical theories for agent introspection (Doctoral dissertation, Informatics and Mathematical Modelling, Technical University of Denmark, 2003).
- Cazenave, T. (1996) . System Learning by Self-Observation: Application to the game of Go (Abstract) (Doctoral dissertation, Universite Pierre et Marie Curie, Paris, 1996).
- Costa, F. M. (2001) . Combining meta-information management and reflection in an architecture for configurable and reconfigurable middleware (Doctoral dissertation, Lancaster University, Lancaster, 2001).
- Cox, M. T. (1996) . Introspective multi strategy learning: Constructing a learning strategy under reasoning failure (Doctoral dissertation, Georgia Institute of Technology, College of Computing, Atlanta, Georgia, 1996).
- Dell'Acqua, P. (1998). Reflection Principles in Computational Logic. PhD Thesis No 30/98, Dept. of Computing Science (CSD), Uppsala University, Sweden.
- Doyle, J (1980) . A model for deliberation, action, and introspection (Doctoral dissertation, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1980).
- Fox, S. E. (1995) . Introspective learning for case-based planning (Doctoral dissertation, Indiana University, Bloomington, Indiana, 1995).
- Horvitz, E. J. (1990) . Computation and action under bound resources (Doctoral Dissertation, Stanford University, California, 1990).
- Kaplan, A. N. (2000) . A computational model of belief (Doctoral dissertation, University of Rochester, New York, 2001).
- Marcos, C. A. (2001) . Design patterns as first-class entities (Doctoral dissertation, Central National University of Buenos Aires, Buenos Aires, 2001).
- Murdock, J. W. (2001) . Self improvement through self understanding (Doctoral dissertation, Georgia Institute of Technology, Atlanta, Georgia).
- Scassellati, B. M. (2001) . Foundations for a Theory of Mind for a Humanoid Robot (Doctoral dissertation, Massachusetts Institute of Technology, Cambridge, Massachusetts).
- Stein, G.C. (1996) . Common sense reasoning about beliefs (Doctoral dissertation, New Mexico State University, Las Cruses, New Mexico).
- Stroulia, E. (1994) . Failure-Driven Learning as Model-Based Self Redesign (Doctoral dissertation, Georgia Institute of Technology, College of Computing, Atlanta).
- Sosic, R. (1992) . The many faces of introspection (Doctoral dissertation, University of Utah, Salt Lake City).
- Yu, X. (2007) . Reflection and Its Application to Mechanized Metareasoning about Programming Languages (Doctoral dissertation, California Institute of Technology, Pasadena).
Individual Papers (Back to top of page)

Adkins, J. (1997). Metacognition: Designing for transfer. Educational Communications and Technology Department, University of Saskatchewan.
Anderson, M. L., Darsana, J. P., Perlis, D. (2003). Talking to Computers In Proceedings of the IJCAI-2003 Workshop on Mixed Initiative Intelligent Systems,(pp 1-8), Acapulco, Mexico.
Anderson, M. L., Josyula, D. P., Okamoto, Y. A. & Perlis, D. (2002, September). Time-situated agency: Active logic and intention formation In Cognitive Agents Workshop, German Conference on Artificial Intelligence.
Asker, M. & Malec, J. (2003, November) Reasoning with limited resources: An LDS-based approach In the Eighth Scandinavian Conference of Artificial Intelligence, Bergen, Norway.
Aydede, M. & Guzeldere, G. (in review) Concepts, introspection and phenomenal consciousness: An information theoretic account The Philosophical Review (under review).
Barklund, J., Dell'Acqua, P., Constantini, S. & Lanzarone, G. A.(1997) Reflection principles in computational logic. Journal of Logic and Computation, 10(6), (pp. 743-786).
Blake, M. B.(2001, November) Agent-based workflow configuration and management of on-line services In Proceedings of the International Conference on Electronic Commerce Research (ICECR-4), (pp 567-588), Dallas, TX.
Bojadziev, D. (1995, November). Goedel's theorems for minds and computers. Informatica, 19( 4), (pp 627-634).
Chong, W., O'Donovan-Anderson, M., Okamoto, Y. & Perlis, D. (2002, January) Seven days in the life of a robotic agent: Bootstrapping intelligence by continual reflection In Proceedings of the GSFC/JPL Workshop on Radical Agent Concepts, NASA Goddard Space Flight Center, Greenbelt, MD, USA.
Conitzer, V. & Sandholm, T. (2003, July) Definition and complexity of some basic metareasoning problems In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-03), (pp. 1099-1106), Acapulco, Mexico.
Cox, M. T., & Ram, A. (1999). Introspective multistrategy learning: On the construction of learning strategies. Artificial Intelligence, 112, 1-55.

Criscuolo, G., Giunchiglia, F. & Serafini, L. (2002, February). A foundation for metareasoning, Part I: The proof theory. Journal of Logic and Computation, 12(1), (pp.167-208). Oxford University Press.
Criscuolo, G., Giunchiglia, F. & Serafini, L. (2002, June). A foundation for metareasoning, Part II: The model theory. Journal of Logic and Computation, 12(3), (pp. 345-370). Oxford University Press.
Dell'Acqua, P., Sadri, F. and Toni, F., Combining introspection and communication with rationality and reactivity in agents. Logics in Artificial Intelligence (eds. J. Dix, F.L. Del Cerro and U. Furbach), LNCS 1489, Springer-Verlag, Berlin, 1998.
Doucet, F., Shukla, S., & Gupta, R., (2003). Introspection in System-Level Language Frameworks: Meta-level vs. Integrated In Proc. Design Automation and Test in Europe.
Fox, S. E. (2000, August). Reflective introspective reasoning through CBR. Poster session presented at Cogsci 2000, the Twenty-Second annual meeting of the Cognitive Science Society, Philadelphia, Pennsylvania, USA.
Goel, A. & Murdock, J. W. (1996, November) Meta-cases: Explaining case-based reasoning In Proceedings of the Third European Workshop on Case-Based Reasoning (EWCBR'96), Lausanne, Switzerland.
Goeree. J., & Holt, C. (2004) A model of noisy introspection. Games and Economic Behavior, 46(2):365.382.
Goldman, A. I. (1993). The psychology of folk psychology. Behavioral and Brain Sciences, 16, (pp 15-28) . Cambridge University Press.
Gordon, A., Kazemzadeh, A., Nair, A. & Petrova, M. (2003) Recognizing Expressions of Commonsense Psychology in English Text In Proceedings of the 41st Annual Meeting of the Association for Computational Linguistics (ACL-2003) Sapporo, Japan, July 7-12, 2003.
Gratch, J. (1998, October) Reasoning about multiple plans in dynamic multi agent environments In Proceedings AAAI 1998 Fall Symposium Series on Distributed Continual Planning. Orlando, Florida.
Guarino, N., Carrara, N.& Giaretta, P.(1994, May) An ontology of metalevel categories In Proceedings of the Fourth International Conference on Knowledge Representation and Reasoning, Bonn, Germany (pp 270--280). Morgan Kaufmann Publishers.
Horvitz, E., Cooper, G., & Heckerman, D. (1989, August). Reflection and action under scarce resources: Theoretical principles and empirical study In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, Michigan, (pp. 1121-1127). Morgan Kaufmann.
Jantke, K. P. (1995, November). Towards competence assessment for intelligent systems Seminar at James Cook University of North Queensland, Australia.
Lamma, E., Mello, P. & Natali, A. (1991, June) Reflection mechanisms for combining Prolog databases .In Software-Practice and Experience (SPE), 21(6), (pp 603-624).
Lecoeuche, R., Catinaud, O. & Greboval-Barry, C. (1996) Competence in human beings and knowledge-based systems In Proceedings of the 10th Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada.
Lindstrom., S., & Rabinowicz., W. (1999). Belief Change for Introspective Agents in Spinning Ideas, Electronic Essays Dedicated to Peter Grdenfors on His Fiftieth Birthday http://www.lucs.lu.se/spinning/.
McKay, E. (2002). Cognitive Skill Acquisition Through a Meta-Knowledge Processing Model. Interactive Learning Environments. 10(3).
Minsky, M. (1965). Mind, matter and models In Proceedings of the International Federation of Information Processing Congress, vol.1, (pp. 45-49). MIT press
Osawa, I.(1990, November). A computational model of an intelligent agent for natural language dialogue systems. In Proceedings of the Pacific Rim International Conference on AI, Nayogo, Japan, (pp 209-214).
Perlis, D. (1988, March). Languages with self reference II: Knowledge, belief, and modality. Artificial Intelligence, 34(2), ( pp 179-212).
Perlis, D. Theory and application of self reference: Logic and beyond (To appear as a chapter in CLSI)
Rosenblum, M. & Garfinel, T. (2003, February). A virtual machine introspection based architecture for intrusion detection In Proceedings of the 2003 Network and Distributed System Security Symposium.
Rosenthal, D. (2000). Metacognition and Higher-Order Thoughts. Consciousness and Cognition, 9, 231-242.
Russell, S., & Wefald, E. (1991). Principles of metareasoning. Artificial Intelligence, 41, (pp 361-395).
Schoenegge., A.(1994). Valid extensions of introspective systems: A foundation for reflective theorem provers. Technical Report 26/94, Universitaet Karlsruhe, Fakultaet fuer Informatik.
Slezak, P. (2002, July). Thinking about thinking: Language, thought and introspection. Language & Communication, 22(3), (pp 353-373).

Sloman, A. (2000, September). Intelligent beasts and artefacts or how to turn philosophers of mind into engineers. Talk at New Castle International Seminar

Stroulia, E. & Goel, A. (1994, April). Learning problem-solving concepts by reflecting on problem solving . In Proceedings of the Seventh European Conference on Machine Learning, Catania Sicily, Springer Verlag.

Wooldridge, M. & Jennings, N. R. (in review) Intelligent agents: Theory and practice. Submitted to knowledge engineering review.

Paper Collections (Back to top of page)

Mike Cox's Collection
David Leake's Collection
Janet Metcalfe's Collection
Ruediger Oehlmann's Collection
Bill Murdock's Collection

Symposia and Workshops(Back to top of page)

AAAI-08 Workshop on Metareasoning: Thinking about thinking, July 13-14, 2008. Chicago, IL
ITS 2008 The 3rd Workshop on Meta-Cognition and Self-Regulated Learning in Educational Technologies June 23-27, 2008. Montreal
Third Biennial Meeting of the Special Interest Group on Metacognition of the European Association of Research on Learning and Instruction, May 8-10, 2008. Ioannina, Greece
AIED 2007 Workshop on Metacognition and Self-Regulated Learning in Intelligent Tutoring Systems, July 10, 2007. Marina Del Rey, CA
AAMAS 2007 First International Workshop on Meta-Reasoning In Agent-Based Systems
ICML 2005 Meta-learning Workshop
AAAI 2005 Spring Symposium on Metacognition in Computation
DARPA 2004 Workshop on Self-Aware Computer Systems
1998 10th European Conference on Machine Learning
AAAI 1995 Spring Symposium on Representing Mental States and Mechanisms

Architectures (Back to top of page)