One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov time2020 contributedtalk 284 views You may also like 14:53 Undecided Voters as Set-Valued Information – An Epistemic Approach to Election Forecasting-Dominik Kreiss and Thomas Augustin 229 views sum2020 contributedtalk 20:10 Belief functions for safety arguments confidence estimation: A comparative study-Yassir Idmessaoud, Didier Dubois and Jérémie Guiochet 229 views sum2020 contributedtalk 20:51 When nominal analogical proportions do not fail- Miguel Couceiro, Erkko Lehtonen, Laurent Miclet, Henri Prade and Gilles Richard 196 views sum2020 contributedtalk 13:29 A Symbolic Approach for Counterfactual Explanations-Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure and Karim Tabia 258 views sum2020 contributedtalk 13:18 Evidence Theory based Combination of Frequent Chronicles for Failure Prediction-Achraf Ben Chrayet, Ahmed Samet and Mohamed Anis Bach Tobji 178 views sum2020 contributedtalk 13:10 Modelling Multivariate Ranking Functions with Min-Sum Networks-Xiaoting Shao, Arseny Skryagin, Zhongjie Yu, Tjitze Rienstra, Matthias Thimm and Kristian Kersting 228 views sum2020 contributedtalk 23:40 Inference of imprecise Plackett–Luce models: application to label ranking-Loïc Adam, Arthur Van Camp, Sébastien Destercke and Benjamin Quost 256 views sum2020 contributedtalk 10:50 Inference with Choice Functions Made Practical-Arne Decadt, Jasper De Bock and Gert de Cooman 214 views sum2020 contributedtalk 26:36 Logic, Probability and Action: A Situation Calculus Perspective-Vaishak Belle 289 views sum2020 contributedtalk 14:45 Rule-Based Classification for Evidential Data-Nassim Bahri, Mohamed Anis Bach Tobji and Boutheina Ben Yaghlane 217 views sum2020 contributedtalk «1…7891011…13»Page 9 of 13