RebeccaAIML is an enterprise cross platform AIML development platform. RebeccaAIML supports C++, Java, C#, Python, and many other programming languages. It allows AIML development out of the box. RebeccaAIML also comes with an array of AIML administration tools, great documentation, and an Eclipse AIML editor plugin.
clipsmm is a C++ library that provides an interface to the CLIPS library. CLIPS provides a C environment for the construction of rule- and/or object-based expert systems used by NASA, branches of the military, numerous federal bureaus, government contractors, universities, and many companies. Several areas in which clipsmm extends the CLIPS interface are templated function callbacks using sigc++ slots, and encapsulated CLIPS execution environments.
Logic Reasoner is a theorem prover for first-order logic with equality. The main objective leading the development of Logic Reasoner has been the creation of a flexible architecture: in particular, the program has been designed as a generic infrastructure for theorem proving, which forms the basis for a collection of specific proving techniques. These techniques can be easily combined or replaced to create configurations with different properties.
Nomatic*IM provides a service that supports the convenient and appropriate broadcasting of presence through instant messaging clients. It provides the flexibility to support multiple IM protocols, IM clients, and operating systems. From a high-level, what Nomatic*IM does is to figure out where you are and what you are doing from the sensors that come with your computing platform. That information is processed with machine learning techniques to develop a semantic interpretation about the name of your current place, activity, and social context.
Aseba is an event-based architecture for distributed control of mobile robots. It targets integrated multi-processor robots or groups of single-processor units, real or simulated. The core of aseba is a lightweight virtual machine tiny enough to run even on microcontrollers. Robots are programmed in a user-friendly scripting language using a cozy integrated development environment.
METSlib is an object-oriented metaheuristics framework in C++ designed to make implementing or adapting models easy. The model is modular: all the implemented search algorithms can be applied to the same model. METSlib implements the basics of some metaheuristics algorithms, such as Random Restart Local Search, Variable Neighborhood Search, Iterated Local Search, Simulated Annealing, and Tabu Search. For each algorithm, you must implement an objective function, a neighborhood (move manager), and some moves. Tabu Search is one of the fastest ways to generate near-optimal solutions to a wide range of hard combinatorial optimization problems.
RegMAS (Regional Multi Agent Simulator) is a spatially explicit multi-agent model framework, designed for long-term simulations of effects of government policies over agricultural systems (e.g. farm sizes, incomes, land use). RegMAS uses a profit-maximization algorithm to derive farmers' behaviors. Using RegMAS, researchers can write regional-specific models, adapting the pool of activities and resources to their specific region.
OpenEphyra is a question answering (QA) system. It retrieves answers to natural language questions from the Web and other sources. OpenEphyra comes with implementations of algorithms that proved effective in Carnegie Mellon's Ephyra system, which participated in the TREC evaluations. It is platform independent and can be set up in just a few minutes. The goal of this project is to give researchers the opportunity to develop new QA techniques without worrying about the end-to-end system.
Grammar Browser provides a simple-to-use graphical interface to the grammatical structure and relations of any text, as parsed by the Stanford Parser. It contains a grammatical relation editor to modify, import, and export grammatical relation definitions (tregex patterns and features).