Invited Talk – Clare Dixon – Verifying Autonomous Robots: Challenges and Reflections time2020 invitedtalk 160 views You may also like 19:16 Universal Solutions in Temporal Data Exchange. By Zehui Cheng 218 views time2020 contributedtalk 20:39 Stab-forests: Dynamic Data Structures forEfficient Temporal Query Processing. By Jelle Hellings 301 views time2020 contributedtalk 22:11 Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. By Michael Sioutis 205 views time2020 contributedtalk 13:02 The Horn Fragment of Branching Algebra. By Stefano Trevisani 215 views time2020 contributedtalk 36:58 Integrating human expert knowledge and NLP tools for real-world applications – DIANA MAYNARD 8 views ekaw2020 invitedtalk 56:15 Fact Checking and Knowledge Graphs – Axel-Cyrille Ngonga Ngomo 47 views ekaw2020 invitedtalk 53:51 Preferences: Representing, Reasoning & Ethics – Toby Walsh 8 views ekaw2020 invitedtalk 27:02 One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov 294 views time2020 contributedtalk «1…567Page 7 of 7
