AI Synergies


Matthias van der Hallen

Data scientist

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.


Syrah room
Research presentations AI
Day 3 - Nov 8th

Brewery of Ideas

AI Synergies is organized by VUB/ULB, BNVKI and Brewery of Ideas.

More info about our events