SPHERES Facility software for scientists
Open-Source Framework for Distributed Constraint Optimization (DCOP)
FRODO is a Java platform to solve Distributed Constraint Satisfaction Problems (DisCSPs) and Optimization Problems (DCOPs). It provides implementations for a variety of algorithms, including DPOP (and its variants), ADOPT, SynchBB, DSA...
clipsmm is a C++ interface to the CLIPS libray, a C library for developing expert systems.
GPU Machine Learning Library. This library aims to provide machine learning researchers and practitioners with a high performance library by taking advantage of the GPU enormous computational power. The library is developed in C++ and CUDA.
V/OS is an Operating System driven by Artificial Intelligence
V is the new Operating System for the masses. It is specially aimed at Tablet PCs, Laptops and Desktop Workstations. It is solid as a rock and constitutes a new milestone in Operating Systems. It integrates Artificial Intelligence Out-of-the-Box and allows a seamless integration of any Software from any Operating System at the same time without compatibility Issues. The User Interface is minimalistic and elegant, designed and aimed for anyone wanting speed and reliability with State-of-the-Art Technology Integration. The inbuilt security system makes V/OS the most secure and reliable Operating System around. It is being developed since 2009 and currently is at it's last steps for public release.
jChecs is an open source Java chess program, designed to introduce the basics of computer chess programming concepts.
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more.
JGAP is a Genetic Algorithms and Genetic Programming package written in Java. It is designed to require minimum effort to use, but is also designed to be highly modular. JGAP features grid functionality and a lot of examples. Many unit tests included. Legal notice/Impressum: Klaus Meffert An der Struth 25 D-65510 Idstein sourceforge <at> klausmeffert.de
Computerized guideline editor for clinical decision support
The GDL editor is multiplatform application that allows users to create, edit and run GDL files. GDL is a formal language designed to represent clinical knowledge for decision support. It is designed to be natural language- and reference terminology- agnostic by leveraging the designs of openEHR Reference Model and Archetype Model. The tool provides an editing and testing environment capable of generating forms based on the elements defined in the GDL. Requirements: Java Runtime Enviroment (JRE) 1.6 or higher
The KReator project is a collection of software systems, tools, algorithms and data structures for logic-based knowledge representation. Currently, it includes the software systems KReator and MECore and the library Log4KR: - KReator is an integrated development environment (IDE) for relational probabilistic knowledge representation languages such as Bayesian Logic Programs (BLPs), Markov Logic Networks (MLNs), Relational Maximum Entropy (RME), First-Order Probabilistic Conditional Logic (FO-PCL), and others. - MECore is a shell-based system that allows the user to create propositional knowledge bases, to perform a variety of belief change operations, and to query a knowledge base with respect to the principle of optimum entropy. - Log4KR is a library providing data structures to represent knowledge bases in various logic formalisms (propositional, relational, conditional, probabilistic, ...) and providing algorithms to perform reasoning operations
This project relates to research work at Imperial College conducted by members of the SPIKE (Structured and Probabilistic Intelligent Knowledge Engineering), including in particular logic-based learning systems such as TAL, ASPAL and ILASP.
The Mars Simulation Project is an open source Java project to create a simulation of future human settlement on the planet Mars. See https://github.com/mars-sim/mars-sim for code/issues/wiki
PLEXIL is a plan execution language developed and applied in automation applications at NASA. This software includes an executive (runtime environment) and many related tools. It runs on Unix-based computers.
Tools to train Image Operators automatically from a set of samples.
TRIOS - Training Image Operators from Samples is a set of tools to bring Image Processing closer to scientists in general. It is capable of estimating an operator between two images using only pairs of samples that contain an input image and the desired output. The operator is saved to a file and can be applied to any image.
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.
Mentalese Database Engine
MentDB is a new way to consider a database. It is ... a cognitive database. A digital brain to house a future consciousness, who thinks in his head like you and me. A cerebral structure with an innate Mentalese. It has its own query language (MQL: Mentalese Query Language) to manage languages, symbols, words, thoughts, relations, emotions, strategies... cognitively. If you call all the Mentalese functions in a good order, you get a strong AI. Unlike the graph databases that manages hardly experience, MentDB allows quickly to switch from one topic to another like a humain. You can directly stimulate memory areas as a psychologist is to reach hidden areas. In a brain, everything is cognitive... our emotions, our daily tasks or long term, our principles ... This is where all the forces of MentDB.
*** The site is moved to github *** https://github.com/rcsoccersim The RoboCup Soccer Simulator is a research and educational tool for multi-agent systems and artificial intelligence. It enables for two teams of 11 simulated autonomous robotic players to play soccer (football).
Fast C++ KNN classifier
KNN Classifier library for C++, at background using armadillo. In k-NN classification, the output is a class membership. An object is classified by a majority vote of its neighbors, with the object being assigned to the class most common among its k nearest neighbors (k is a positive integer, typically small). If k = 1, then the object is simply assigned to the class of that single nearest neighbor.
Projeny (Probablistic Networks Generator in Java) is a graphical (Java SWT) front-end to BNT (Bayes Net Toolbox for Matlab). Projeny requires BNT, JMatLink and a Matlab back-end. There is no installable release package, but source code is available on SVN - please check out from SVN to use Projeny. Projeny was started with BNJ as the base.
C++ framework for application of any type of evolutionary computation.
ECF is a framework intended for application of any type of evolutionary computation (GA/GP, DE, Clonalg, ES, PSO, ABC, GAn, local search...). It offers simplicity for the end-user (parameterless usage, tutorial) and customization for experienced EC practicioners.
SPatial Analysis With self-organizing Neural Networks
The SPAWNN toolkit is an innovative toolkit for spatial analysis with self-organizing neural networks which is particularily useful for spatial analysis, visualization and geographical data mining. To run the toolkit, simply download and execute (double-click) the jar-file. Please cite: - Hagenauer, J., & Helbich, M. (2016). SPAWNN: A Toolkit for SPatial Analysis With Self-Organizing Neural Networks. Transactions in GIS, 20(5), 755-775. Other related publications: - Hagenauer, J. (2016). Weighted merge context for clustering and quantizing spatial data with self-organizing neural networks. Journal of Geographical Systems, 18(1), 1-15. - Hagenauer, J., & Helbich, M. (2013). Contextual neural gas for spatial clustering and analysis. International Journal of Geographical Information Science, 27(2), 251-266.
Unistroke gesture recognizer
NEWS: PolyRec is now on GitHub. Please visit https://github.com/cluelab/polyrec PolyRec is a unistroke gesture recognizer suitable for fast prototyping of gesture-based applications. The recognizer uses a nearest neighbor approach, and requires a small number of samples for each class. The similarity between two gestures is calculated through a three steps procedure: -firstly, each gesture is approximated to a polyline, in order to extract its main movements; - then, the two polylines are aligned to obtain an equal number of segments from both of them; - lastly, the distance is found by summing the contribution of each pair of segments. This implementation is a prototype developed for scientific purposes. More technical details on PolyRec can be found in the following scientific paper: V Fuccella, G. Costagliola; Unistroke Gesture Recognition Through Polyline Approximation and Alignment; in Proceedings of CHI 2015; pp. 3351-3354 http://dl.acm.org/citation.cfm?id=2702
Traveling Salesman Problem "window time based" aproximate solver
Time based Traveling salesman problem solver. Using iterated local search algorithm, implements xkick perturbation Programmed in Java. A class to use the TSP Suite(Thomas Weise, Raymond Chiong, J ¨org L¨assig, Ke Tang, Shigeyoshi Tsutsui, Wenxiang Chen, Zbigniew Michalewicz, Xin Yao, Benchmarking Optimization Algorithms: An Open Source Framework for the Traveling Salesman Problem. 2014.),is implemented.
The Project moved to github https://github.com/EnFlexIT/AgentWorkbench
The project has moved to github https://github.com/EnFlexIT/AgentWorkbench Agent.GUI is a simulation framework and toolkit based on the JADE framework. It provides functionalities for time aspects, agent-environment interaction, visualization and load balancing, Furthermore, the included application focuses the usability for end users.
Fast and robust map analyser for Brood War.
Brood War Easy Map is a C++ library that analyses Brood War's maps and provides relevant information such as areas, choke points and base locations. It is built on top of the BWAPI library. It first aims at simplifying the development of bots for Brood War, but can be used for any task requiring high level map information. It can be used as a replacement for the BWTA2 add-on, as it performs faster and shows better robustness while providing similar information.