The Tekna subject group on Big Data held a seminar on language processing on 22nd September 2020. Basil Ell from SIRIUS held one of two lectures in the program on What is Natural Language Processing, and what can it do?  The other lecture was held...

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...