Event Details

Security Lancaster Seminar with Dr Fabio Papacchini

Speaker: Dr Fabio Papacchini

Date: 26th July 2023.

Time: 2pm - 3pm

Join us: In Person or via teams

Title:

Logics in Computer Science - A Knowledge Representation and Reasoning Perspective

Abstract:

In this talk I discuss my journey through the use of non-classical logics within the areas of knowledge representation and automated reasoning. I will present different non-classical logics and point-of-views such as exploring expressivity via model theoretical approaches, investigating practicality of ontology-based data access languages, and resolution-based algorithms for satisfiability checking.

Bio:

Dr Papacchini is Assistant Professor in Computing at Lancaster University Leipzig in Germany. He worked on several research projects at the University of Liverpool, after receiving his PhD and a Doctoral Prize fellowship from the University of Manchester. His main research is in the area of non-classical logics in computer science. In order to understand the expressive power, limitations and practical uses of those logics, his research interests include knowledge representation, automated reasoning, and model theory.