30 citations · 57 across the 15 of their papers we have counts for
1 paper · 2 filters
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…