共 30 条
- [1] MAINTAINING KNOWLEDGE ABOUT TEMPORAL INTERVALS [J]. COMMUNICATIONS OF THE ACM, 1983, 26 (11) : 832 - 843
- [2] Alluhaibi R., 2015, P 11 INT C COMP SEM, P283
- [4] [Anonymous], 2005, ELECT J SYMBOLIC DAT
- [6] BaezaYates R, 2004, LECT NOTES COMPUT SC, V2945, P445
- [7] Bartocci Ezio, 2014, Formal Modeling and Analysis of Timed Systems. 12th International Conference, FORMATS 2014. Proceedings. LNCS: 8711, P23, DOI 10.1007/978-3-319-10512-3_3
- [10] A Decision Tree Approach to Data Classification using Signal Temporal Logic [J]. HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2016, : 1 - 10