| P82-1004 | can then design a specialized | limited inference mechanism | that can operate on a data base |
| P82-1004 | knowledge base with respect to the | limited inference mechanism | . While consistency in general |
| P82-1004 | undecidable , with respect to the | limited inference mechanism | it is computationally feasible |
| H86-1001 | this , we will investigate the | limited inference mechanisms | of KL - TWO \ -LSB- Moser 83 |
| P82-1004 | technique for building such a | limited inference mechanism | by moving to a meta-logic is |
| H86-1007 | longer adequate . However , the | limited inference mechanism | \ -LSB- 15 \ -RSB- of NIKL formed |
