3 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
Max Wisniewski, Alexander Steen, Christoph Benzmüller
LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s). It combines a sophisticated data structure layer (polymorphically typ…