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

SIRIUS is continuing to grow as companies in the oil and gas supply chain see that our research and innovation is relevant to their businesses. The latest company to join is Robert Bosch GmbH, through their global centre for Artificial Intelligence near Stuttgart. ...

We received a letter from the Research Council on 9th September 2019, This told us that the Board of the Research Council had received the report on the mid-term evaluation of the Centres for Research Based innovation. They decided on the basis of this report...

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

SIRIUS and the University of Oslo hosted the 32nd International Workshop on Description Logics on the 18-21 June 2019. This workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both...

What are the implications of data science for maintenance? Can I safely share my industrial data with academics? The SIRIUS Centre at the University of Oslo and Energy Valley invite you to a breakfast seminar on the digitalisation of engineering and heavy industry. Our guest lecturer, Professor Melinda Hodkiewicz from...