共 50 条
- [41] Case studies in meta-level theorem proving [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, 1998, 1479 : 461 - 478
- [42] On the integration of configuration and meta-level programming approaches [J]. REFLECTION AND SOFTWARE ENGINEERING, 2000, 1826 : 189 - 208
- [44] Specialising meta-level compositions of logic programs [J]. LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION, 1997, 1207 : 275 - 294
- [45] Completing causal networks by meta-level abduction [J]. MACHINE LEARNING, 2013, 91 (02) : 239 - 277
- [48] Dynamical systems account for meta-level cognition [J]. FROM ANIMALS TO ANIMATS 10, PROCEEDINGS, 2008, 5040 : 311 - 320
- [49] THE PANDORA DEADLOCK HANDLER META-LEVEL RELATION [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 649 : 162 - 176