One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov time2020 contributedtalk 297 views You may also like 15:51 Multi-dimensional Stable Matching Problems in Abstract Argumentation-Francesco Santini 186 views sum2020 contributedtalk 25:00 Conversational Recommender System by Bayesian Methods-Francesca Mangili, Denis Broggini and Alessandro Antonucci 328 views sum2020 contributedtalk 28:06 From possibilistic rule-based systems to machine learning-Didier Dubois and Henri Prade 455 views sum2020 contributedtalk 24:15 A Formal Learning Theory for Three-way Clustering-Andrea Campagner and Davide Ciucci 301 views sum2020 contributedtalk 13:48 An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set Programming-Isabelle Kuhlmann and Matthias Thimm 317 views sum2020 contributedtalk 16:41 Window-slicing Techniques Extended to Spanning-event Streams. By Aurélie Suzanne 183 views time2020 contributedtalk 1:06:16 Invited Talk – Pedro Cablar – Temporal Modalities in Answer Set Programming 133 views time2020 invitedtalk 20:06 Negotiating Temporal Commitments inCross-Organizational Business Processes. By Marco Franceschetti 220 views time2020 contributedtalk 16:17 TESL: a Model with Metric Time for Modelingand Simulation. By Hai Nguyen Van 169 views time2020 contributedtalk 19:46 Recursive Temporal Logic. By Martin Lange 542 views time2020 contributedtalk «1…8910111213»Page 10 of 13