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

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

2. Shapiro, Stuart C. (1979), 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), link added: "A Model for Belief Revision" [PDF], Artificial Intelligence 35(1): 25-79.
   • Online abstract

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