KL-One, Clássico, Powerloom são sistemas de representação do conhecimento, usando lógica de primeira ordem, taxonomias, e classificação conceito automática por capacidades de raciocínio. Uma breve apresentação durante o 2014 Simpósio Europeu Lisp em Paris.
O simpósio é acessível em Este lugar

Representações do conhecimento

No IRCAM Paris

KL-One, Clássico, powerloom