共 50 条
- [31] Dynamic CSPs for interval-based temporal reasoning DEVELOPMENTS IN APPLIED ARTIFICAIL INTELLIGENCE, PROCEEDINGS, 2002, 2358 : 575 - 585
- [32] Online Probabilistic Interval-Based Event Calculus ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 2624 - 2631
- [33] Constraint deduction in an interval-based temporal logic EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 103 - 117
- [37] An interval-based algebra for restricted event detection FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 121 - 133
- [38] An Interval-Based Inference of Variant Parametric Types PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5502 : 112 - +
- [40] Interval-Based Relaxation for General Numeric Planning ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 655 - 663