Release Information

This page lets you download the Lisp source code for the basic Knext engine described by Schubert (2002) and by Schubert & Tong (2003).

This released version incorporates current bugfixes, but it does not include more recent extensions such as those for bulk processing and filtering of Web-scale corpora or for sharpening output into fully quantified Episodic Logic formulas.

Last release: 10.3 (2010-10-25)


By downloading this software, the user commits to using it and its parts for noncommercial uses only and agrees not to make copies available to others except by directing them to download it from this website.


Please provide the following information:

This information is just to give us an idea of who is interested in using Knext. We respect your privacy and will not make your email address available to any other parties.