1 paper
Matthias van der Hallen, Sergey Paramonov, Michael Leuschel +1
Many problems, especially those with a composite structure, can naturally be expressed in higher order logic. From a KR perspective modeling these problems in an intuitive way is a…