time2020 ← bosk2020 16:41 Window-slicing Techniques Extended to Spanning-event Streams. By AurĂ©lie Suzanne time2020 contributedtalk 39 views 1:06:16 Invited Talk – Pedro Cablar – Temporal Modalities in Answer Set Programming time2020 invitedtalk 32 views 20:06 Negotiating Temporal Commitments inCross-Organizational Business Processes. By Marco Franceschetti time2020 contributedtalk 37 views 16:17 TESL: a Model with Metric Time for Modelingand Simulation. By Hai Nguyen Van time2020 contributedtalk 20 views 19:46 Recursive Temporal Logic. By Martin Lange time2020 contributedtalk 163 views 18:20 Parametric Model Checking Continuous-Time Markov Chains. By Catalin-Andrei Ilie time2020 contributedtalk 121 views 20:05 Complexity of qualitative timeline-based planning. By Nicola Gigante time2020 contributedtalk 84 views 58:54 Invited Talk – Johann Eder – Time and Business Process Management: Problems, Achievements, Challenges time2020 invitedtalk 27 views 15:30 On the Decidability of a Fragment of Preferential LTL. By Anasse Chafik time2020 contributedtalk 85 views 21:41 Knowledge Extraction with Interval Temporal Logic Decision Trees, By Ionel Eduard Stan time2020 contributedtalk 115 views 12»Page 1 of 2
