| P89-1024 | semantic classes ( or sorts of a | sorted logic | ) that form the primitives for |
| E89-1024 | sufficient to note that UCG uses a | sorted logic | which requires being able to |
| E89-1024 | we employ to do this come from | sorted logics | and from strong data typing in |
| J89-3018 | admissible arguments . If a many | sorted logic | is used for representing the |
| J89-3018 | well-sorted expressions in a many | sorted logic | , i.e. , to specify the logic |
| J89-2013 | be formulated in a first-order | sorted logic | . Chapter 6 describes the implementation |
| J03-2002 | work should address the use of | sorted logics | , include experimenting with |
