暂无分享,去创建一个
[1] Jeffrey J. P. Tsai,et al. An event-based real-time logic to specify the behavior and timing properties of real-time systems , 1991, [Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91.
[2] E. Mueller. Chapter 5 – The Commonsense Law of Inertia , 2015 .
[3] Sebastian Rudolph,et al. A Rule-Based Language for Complex Event Processing and Reasoning , 2010, RR.
[4] Jan Chomicki,et al. Temporal Query Languages: A Survey , 1994, ICTL.
[5] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[6] Christian S. Jensen,et al. Point-versus interval-based temporal data models , 1998, Proceedings 14th International Conference on Data Engineering.
[7] Alexander Artikis,et al. An Event Calculus for Event Recognition , 2015, IEEE Transactions on Knowledge and Data Engineering.
[8] Valentin Goranko,et al. Two-sorted Point-Interval Temporal Logics , 2011, M4M/LAMAS.
[9] Pierfrancesco Bellini,et al. Temporal logics for real-time system specification , 2000, CSUR.
[10] Jean Roy,et al. Rule-based expert system for maritime anomaly detection , 2010, Defense + Commercial Sensing.
[11] Cyril Ray,et al. Composite Event Recognition for Maritime Monitoring , 2019, DEBS.
[12] Angelo Montanari,et al. EFFICIENT TEMPORAL REASONING IN THE CACHED EVENT CALCULUS , 1996, Comput. Intell..
[13] Andreas Behrend,et al. Algebraic Operators for Processing Sets of Temporal Intervals in Relational Databases , 2018, TIME.
[14] Beatrice Lazzerini,et al. Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming , 2019, GCAI.
[15] Marek J. Sergot,et al. A logic-based calculus of events , 1989, New Generation Computing.
[16] Alessandro Margara,et al. TESLA: a formally defined event specification language , 2010, DEBS '10.
[17] Yuan Luo,et al. Efficient Genomic Interval Queries Using Augmented Range Trees , 2018, Scientific Reports.
[18] Clare Dixon,et al. A misuse-based network Intrusion Detection System using Temporal Logic and stream processing , 2011, 2011 5th International Conference on Network and System Security.
[19] Thomas Eiter,et al. LARS: A Logic-Based Framework for Analyzing Reasoning over Streams , 2015, AAAI.
[20] Sebastian Rudolph,et al. Stream reasoning and complex event processing in ETALIS , 2012, Semantic Web.
[21] Manfred Hauswirth,et al. StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web , 2013, RR.