RW 2023

School Programme

Thursday 21 September

08.30 - 09.00 Arrival and coffee

09.00 - 12.15 

Evgeny Kharlamov, Bosch Center for Artificial Intelligence, Germany and University of Oslo, Norway

Declarative AI for Industry: methods, applications, trends

12:15-13:45 Lunch + coffee

13:45 - 17:00 

Martin Giese, University of Oslo, Norway

Ontologies vs Constraints

Friday 22 September

08.30 - 09.00 Arrival and coffee

09.00 - 12.15 

Andreas Pieris, University of Edinburgh, UK and University of Cyprus, Cyprus

Termination of Reasoning

12:15-13:45 Lunch + coffee

13:45 - 17:00 

Michael Thomazo, INRIA, France 

Compact Query Rewritings for Ontology-Based Query Answering

Saturday 23  September

08.30 - 09.00 Arrival and coffee

09.00 - 12.15  

Filip Murlak, University of Warsaw, Poland 

Graph queries and description logics

12:15-13:45 Lunch + coffee

13:45 - 17:00  

Riccardo Rosati Sapienza, University of Rome, Italy

Controlled Query Evaluation in Description Logic Ontologies

18.00 - 21.00 Bowling & tapas

Sunday 24 September

08.30 - 09.00 Arrival and coffee

09.00 - 12.15  

Ana Ozaki, University of Bergen, Norway

Learning from Neural Networks with Queries and Counter Examples

12:15-13:45 Lunch + coffee

13:45 - 17:00  

Christian Straßer and Kees van Berkel, Ruhr University Bochum, Germany. 

Proof-Theoretic Approaches in Logical Argumentation