Declarative AI 2020: Rules, Reasoning, Decisions and Explanations https://2020.declarativeai.net 24 June - 1 July 2020 Oslo, Norway Welcome to Declarative AI 2020, an event co-organised by SINTEF AS, University of Oslo, and Norwegian University of Science and Technology, under the umbrella of the SIRIUS Centre for Scalable Data Access....

Date: Friday 23rd August Time: 14:15-15.00 NB New Time! Place: SIRIUS meeting room (8459). 8th Floor, Ole-Johan Dahls hus. Chi Mai Nguyen, our new postdoctoral researcher at SIRIUS, will present a short introduction about SMT (a technique for deciding the satisfiability of properties expressed as of qualifier-free...