Matthias van der Hallen
SOGrounder: Modelling and Solving Second-Order Logic
Second-Order Logic is an expressive language that can model many problems in a declarative way. In this talk, we introduce a KR language based on second order logic and an associated system to perform model expansion, based on the traditional paradigm of ground-and-solve.
Matthias is a PhD student at KU Leuven studying Knowledge Representation and Reasoning systems. He is currently focused on providing support for second second order logic as a representation language.