KL-Uno, Clásico, PowerLoom son sistemas de representación del conocimiento que utilizan lógica de primer orden, taxonomías, y clasificación automática de conceptos por capacidades de razonamiento. Una breve presentación durante el 2014 Simposio europeo Lisp en París.
El simposio está disponible en este lugar

Representaciones del conocimiento

En el IRCAM Paris

KL-Uno, Clásico, PowerLoom