共 50 条
- [4] Scalable Online First-Order Monitoring [J]. RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 353 - 371
- [5] Scalable online first-order monitoring [J]. International Journal on Software Tools for Technology Transfer, 2021, 23 : 185 - 208
- [7] Scalable First-Order Methods for Robust MDPs [J]. THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 12086 - 12094
- [8] First-order rule mining by using graphs created from temporal medical data [J]. Ichise, R. (ichise@nii.ac.jp), 1600, (Springer Verlag):
- [9] First-order rule mining by using graphs created from temporal medical data [J]. ACTIVE MINING, 2005, 3430 : 112 - 125