KL-ワン, クラシック, PowerLoom are knowledge representation systems using first order logic, taxonomies, and automatic concept classification by reasoning capabilities. A short presentation during the 2014 European Lisp Symposium in Paris.
The symposium is accessible at この場所
Knowledge Representations
プラセオジムの最初のソース
YouTube で
At the IRCAM Paris
KL-ワン, クラシック, PowerLoom