One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov time2020 contributedtalk 288 views You may also like 12:17 D1S3 – Concept Extraction Using Pointer-Generator Networks and Distant Supervision for Data Augmentation – Shvets Alexander V. 10 views ekaw2020 contributedtalk 16:44 D1S1 – Effective Use of Personal Health Records to Support Emergency Services-Alba Catalina Morales Tirado 7 views ekaw2020 contributedtalk 12:42 D1S1 – Capturing and Querying Uncertainty in RDF Stream Processing – Keskisärkkä Robin 15 views ekaw2020 contributedtalk 8:20 D1S2 – Comp-O: An OWL-S Extension for Composite Service Description- Natalie Hernandez 6 views ekaw2020 contributedtalk «1…111213Page 13 of 13