Example image of eyePlorer eyePlorer map for 'SNePS': Action (philosophy) Knowledge representation Reasoning University at Buffalo, The State University of New York Frame language Logic Semantic network Intensional Sense and reference Agent architecture Cognitive robotics Intelligent agent Rule of inference Belief revision Augmented transition network Morphological analysis Commonsense reasoning Common Lisp List of artificial intelligence projects