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