Pocket KrHyper The mobile reasoner Pocket KrHyper is an automated theorem proving library for first order logic (and description logic)
Scientific/Engineering::Artificial Intelligence
GUI Ant-Miner GUI Ant-Miner is a tool for extracting classification rules from data. It is an updated version of a data mining algorithm
JGames JGames is a collection of 2D and 3D java-based games. Particular attention is turned to board games and to all those strategic
EducationGames/Entertainment::Board GamesGames/Entertainment::Card GamesGames/Entertainment::Console-based GamesGames/Entertainment::Turn Based StrategyScientific/Engineering::Artificial Intelligence
JOthi JOthi is the java-based game of "Othello". This project is son of the greater parent SourceForge project "JGames", that
Games/Entertainment::Board GamesGames/Entertainment::Turn Based StrategyScientific/Engineering::Artificial Intelligence
miarn Miarn stands for: Modules for Intelligent Autonomous Robot Navigation. We provide a gui for controlling and visualizing
Multimedia::Graphics::3D RenderingScientific/Engineering::Artificial IntelligenceScientific/Engineering::Human Machine InterfacesScientific/Engineering::RoboticsScientific/Engineering::Visualization
Laola Laola`s core is a soccer simulation which tries to get a comparison of teams not by mere calculation but by rather placing
Games/Entertainment::SimulationScientific/Engineering::Artificial IntelligenceScientific/Engineering::Simulations
Sentensa SENTENSA Knowledge Miner is a platform independent tool for searching any text. SENTENSA uses robust methods of indexing
Internet::WWW/HTTP::Indexing/SearchScientific/Engineering::Artificial IntelligenceScientific/Engineering::Bio-InformaticsScientific/Engineering::Information Analysis
Toody Machine Toody is a software model of a sentient entity. It inhabits a 2D world and its eyes are a 512 x 512 bitmap. At any given
Scientific/Engineering::Artificial IntelligenceScientific/Engineering::Robotics
MelDance Web Enhancer Site visitor support for any web site. Give a more up to date feel, support returning visitors re-finding what they looked
Internet::Log AnalysisInternet::WWW/HTTP::Dynamic ContentInternet::WWW/HTTP::Indexing/SearchMultimedia::Graphics::PresentationOffice/Business::Enterprise::CRMScientific/Engineering::Artificial Intelligence
Java A-Life JLife is a Java framework for testing and playing with A-Life. The the main idea is about evolving “creatures”, that consists
