We humans are bound by intellectual abilities. All knowledge is far beyond power of any person. The only way to apply knowledge is to build machines able to present it human way but not limited by volume.
Intellect Modeling Kit (IMK) is intended to build knowledge machines (KM) assisting experts on the steps of activity:
* Observation;
* Producing propositions based on knowledge;
* Elimination of impossible propositions;
* Selection and verification of the most appropriate...
VIKAMINE is a flexible environment for visual analytics, data mining and business intelligence - implemented in pure Java. It features several powerful visualization and mining methods, and can utilize background knowledge.
This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.