TESL: a Model with Metric Time for Modelingand Simulation. By Hai Nguyen Van time2020 contributedtalk 224 views You may also like 20:05 Complexity of qualitative timeline-based planning. By Nicola Gigante 297 views time2020 contributedtalk 58:54 Invited Talk – Johann Eder – Time and Business Process Management: Problems, Achievements, Challenges 145 views time2020 invitedtalk 15:30 On the Decidability of a Fragment of Preferential LTL. By Anasse Chafik 307 views time2020 contributedtalk 21:41 Knowledge Extraction with Interval Temporal Logic Decision Trees, By Ionel Eduard Stan 437 views time2020 contributedtalk 21:08 Mining Significant Temporal Networks is Polynomial. By Matteo Zavatteri 454 views time2020 contributedtalk 19:16 Universal Solutions in Temporal Data Exchange. By Zehui Cheng 279 views time2020 contributedtalk 20:39 Stab-forests: Dynamic Data Structures forEfficient Temporal Query Processing. By Jelle Hellings 412 views time2020 contributedtalk 1:07:27 Invited Talk – Clare Dixon – Verifying Autonomous Robots: Challenges and Reflections 193 views time2020 invitedtalk 22:11 Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. By Michael Sioutis 320 views time2020 contributedtalk 13:02 The Horn Fragment of Branching Algebra. By Stefano Trevisani 320 views time2020 contributedtalk «1…910111213»Page 11 of 13
