共 50 条
- [42] Rule-based runtime verification [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2004, 2937 : 44 - 57
- [45] Evolution of rule-based programs [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 141 - 193
- [49] Rule-based programming with pLog [J]. SEVENTH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, PROCEEDINGS, 2005, : 31 - 38
- [50] Robust rule-based prediction [J]. IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2006, 18 (08) : 1043 - 1054