Invited Talk – Pedro Cablar – Temporal Modalities in Answer Set Programming time2020 invitedtalk 115 views You may also like 20:39 Stab-forests: Dynamic Data Structures forEfficient Temporal Query Processing. By Jelle Hellings 248 views time2020 contributedtalk 1:07:27 Invited Talk – Clare Dixon – Verifying Autonomous Robots: Challenges and Reflections 149 views time2020 invitedtalk 22:11 Dynamic Branching in Qualitative Constraint Networks via Counting Local Models. By Michael Sioutis 179 views time2020 contributedtalk 13:02 The Horn Fragment of Branching Algebra. By Stefano Trevisani 167 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 43 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 284 views time2020 contributedtalk «1…567Page 7 of 7