共 50 条
- [22] Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2019, : 2760 - 2767
- [24] Combining Diagrammatic Reasoning with Qualitative Spatial and Temporal Reasoning for Motion Event Detection 2015 FIFTH NATIONAL CONFERENCE ON COMPUTER VISION, PATTERN RECOGNITION, IMAGE PROCESSING AND GRAPHICS (NCVPRIPG), 2015,
- [25] Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 526 - 531
- [26] Point-based approaches to qualitative temporal reasoning SIXTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-99)/ELEVENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE (IAAI-99), 1999, : 739 - 744
- [28] SAT vs. Search for Qualitative Temporal Reasoning 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 426 - 431
- [29] On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning 2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 46 - 54
- [30] CHRONOS: Improving the Performance of Qualitative Temporal Reasoning in OWL 2014 IEEE 26TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2014, : 309 - 315