no code implementations • 7 May 2015 • Max Wisniewski, Alexander Steen, Christoph Benzmüller
LeoPARD supports the implementation of knowledge representation and reasoning tools for higher-order logic(s).