Integration in Knowledge Representation and Reasoning KU Leuven
In the field of Knowledge Representation and Reasoning, many different logics are developed to represent knowledge in. Furthermore, for several of those languages tools for automatic reasoning are developed. In order to successfully apply these methods to practical problems, it is important to keep an overview of the various language. In this project, we aim at developing the tools that facilitate the possibility to keep such an overview. We ...