Readings on "ANDOR":
SNePS's Non-Standard Logical Connectives

Last Update: 15 September 2003

Note: NEW or UPDATED material is highlighted

  1. Bechtel, Robert & Shapiro, Stuart C. (1976), NEW link added: "A Logic for Semantic Networks" [PDF], Technical Report 47 (Bloomington, IN: Indiana University Computer Science Department).

  2. Shapiro, Stuart C. (1979), NEW link added: "Using Non-Standard Connectives and Quantifiers for Representing Deduction Rules in a Semantic Network" [PDF], invited paper presented at Current Aspects of AI Research, a seminar held at the Electrotechnical Laboratory, Tokyo.

  3. Martins, João P. & Shapiro, Stuart C. (1988), NEW link added: "A Model for Belief Revision" [PDF], Artificial Intelligence 35(1): 25-79.

  4. Shapiro, Stuart C. (1996), "Formalizing English" International Journal of Expert Systems 9.

  5. Shapiro, Stuart C. (2000), "SNePS: A Logic for Natural Language Understanding and Commonsense Reasoning", in Lucja M. Iwanska & Stuart C. Shapiro (eds.), Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language (Menlo Park, CA: AAAI Press/The MIT Press): 175-195.

  6. Martins, João P. (2002), Knowledge Representation, Sect. 6.3: SNePS: A case study

Copyright © 2003 by William J. Rapaport (
file: andorrdgs.2003.09.15.html