Kunskapsrepresentationssystem skrivna i Common LISP

Kl-one, Klassisk, PowerLoom är kunskapsrepresentationssystem som använder första ordningen logik, taxonomi, och automatisk konceptklassificering genom resonemangsfunktioner. En kort presentation under 2014 European Lisp Symposium i Paris.
Symposiet är tillgängligt vid den här platsen

Kunskapsrepresentationer

Första källan på Lutecium

På YouTube

Vid Ircam Paris

Kl-one, Klassisk, Spärrloom