Citation: Sc. Shapiro, SNePS: A logic for natural language understanding and commonsense reasoning, NATURAL LANGUAGE PROCESSING AND KNOWLEDGE REPRESENTATION, 2000, pp. 175-195
Citation: Sc. Shapiro, Propositional, first-order, and higher-order logics - Basic definitions, rules of inference, and examples, NATURAL LANGUAGE PROCESSING AND KNOWLEDGE REPRESENTATION, 2000, pp. 379-395