A logic of arbitrary and indefinite objects
Stuart C. Shapiro · 2004
A Logic of Arbitrary and Indefinite Objects, , has been developed as the logic for knowledge representation and reasoning systems designed to support natural language understanding and generation, and commonsense reasoning. The motivations for the design of are given, along with an informal introduction to the theory of arbitrary and indefinite objects, and to itself...