共 50 条
- [1] ON DEDUCTIVE PLANNING AND THE FRAME PROBLEM LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 13 - 29
- [4] DEDUCTIVE GRAMMATICALITY AND SEMANTIC INCOMPLETENESS OF DEDUCTIVE SYSTEMS COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1989, 308 (17): : 503 - 505