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