The Leibniz Software System
http://www.utdallas.edu/~klaus/Leibnizprogram/leibnizmain.htmlA formal system for constructing artificial intelligent software agents from the book, 'Design of Logic-based Intelligent Systems' covering such topics as production rules, neural nets, support vector machines, fuzzy logic, and Bayesian networks. License is given through purchase of the book alone. [COMM]
Submitted in section: Artificial Intelligence: Machine Learning: Software: The Leibniz Software System