Search Results for "software"

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

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. If you use Flora-2 and like it, please acknowledge it in your project!

PUPS/P3 facilitates development of multi-process multi-host computations by providing tools to emulate colonies of homeostatic organisms. It permits persistent computation, homeostatic resource protection, and asychronous interprocess communication.

The Hydroponic Automation Platform Initiative (HAPI) develops and provides hardware and software components for automating food production using hydroponic, aquaponics, and precision agriculture techniques. High-yield production in urban settings is one of the primary goals. Artifacts include hardware design (mainly Arduino-based), firmware, management software and reporting modules.

The MaxParser is written in c++ and can parse with first, second, third and fourth order projective Graph-based Dependency parsing algorithm. The project is the new version of the project "Max-MSTParser". If you want to use this software for research, please reference this web address in your papers

AIS is an Development Platform providing a high-speed JIT compiler for LISP and JavaScript, web server, object repositories, MySQL integration and libraries supporting a wide variety of advanced genetic programming and symbolic regression techniques.

We define a simulant or (a bioinformant) as a software agent which serves as an assistant for a scientist. Simulants/Bioinformants will help scientists to manage, process and analyze their data, based on knowledge specific to the context and the domai

breve is a free, open-source 3D multi-agent simulation package designed for simulating decentralized systems and artificial life.

Sakura is a Knowledge Navigator and User Interface for UNIX, which implements HyperMedia and its own windowing and packing system, both in the main program and in an extensive API for Tcl and other languages.

CAMA (Context-Aware Mobile Agents) is a middleware for supporting mobile agents coordination. It is based on Linda-style coordination and provides numerous extentions for interoperability and fault-tolerance. It supports portable platforms such as PDAs.

Zeus Grid is a Grid Computing environment usefull to run systems in heterogenous machines at same time. In this first step, it will only compile, run and collect application results and file storage.

A software package for evolving neural networks on several e-puck robots (www.e-puck.org, www.glowbots.com). The intention is to let the e-pucks evolve communication in cooperation with human beings.