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