A Symbolic Approach for Counterfactual Explanations-Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure and Karim Tabia 419views sum2020 contributedtalk You may also like 19:46 Recursive Temporal Logic. By Martin Lange 662views time2020 contributedtalk 18:20 Parametric Model Checking Continuous-Time Markov Chains. By Catalin-Andrei Ilie 412views time2020 contributedtalk 20:05 Complexity of qualitative timeline-based planning. By Nicola Gigante 308views time2020 contributedtalk 15:30 On the Decidability of a Fragment of Preferential LTL. By Anasse Chafik 312views time2020 contributedtalk 21:41 Knowledge Extraction with Interval Temporal Logic Decision Trees, By Ionel Eduard Stan 447views time2020 contributedtalk 21:08 Mining Significant Temporal Networks is Polynomial. By Matteo Zavatteri 469views time2020 contributedtalk 19:16 Universal Solutions in Temporal Data Exchange. By Zehui Cheng 281views time2020 contributedtalk 20:39 Stab-forests: Dynamic Data Structures forEfficient Temporal Query Processing. By Jelle Hellings 426views time2020 contributedtalk 22:11 Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. By Michael Sioutis 339views time2020 contributedtalk 13:02 The Horn Fragment of Branching Algebra. By Stefano Trevisani 330views time2020 contributedtalk «1…910111213»Page 11 of 13