Search Results for "void-linux"

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

Amoeba is a Linux command-line learning program that observes and adapts to the Linux command line storing learned strings and their usage data. It enhances command-line proficiency by capturing command outputs, adapting string lengths, and periodically saving knowledge. Sandboxing is essential for security, and optionally a virtual machine would further isolates it from the host system.

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!

Simultra is an open-source, hybrid road traffic simulator designed to handle large roadmaps in real-time. It combines microscopic and mesoscopic simulations into one multiagent hybrid simulator. The large-scale maps are modelled mesoscopically in real-time, and the complex traffic interactions benefit from detailed agent-based microscopic simulations. To resolve the concurrency issues within the maps representation and the meso-micro transitions, Simultra combines an event-based mesoscopic...

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.

OpenCity is another 3D city simulator. You can build residential, commercial and industrial zones then supply them with necessary goods and watch them grow up. Version 0.0.6stable is now available for download. Any feature request/bug report is welcome

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

ExPo: Exchange Portal is an online financial trading exchange platform designed to run controlled scientific trading experiments between human traders and automated trader robots.

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.

An open source chess engine in C, released under the GPL. Compatible with the XBoard and UCI interface protocols to link to a GUI or other chess arbiter.

ATL-RP

openMCL (Monte Carlo Localization) implements probabilistic method to determine the position of a robot on a map.

An attempt to develop some algorithms to solve coalition formation problems and then to find a way to build an agent that is capable of deceiving (even) in cooperative scenarios

Module linux kernel for upload chaosnet protocol into network layer. Server and client programm for share with lisp machine data space. Api interface for make program and service with chaosnet protocol.

A packet dissector driven by machine learning algorithms. You train it to recognize specific types of packets by showing it examples and counterexamples of some packet type, and it will figure out which bits in the packet define it as the type you seek.

This project is a project to make a small robot using Linux as the OS.

Vehikel is a learning environment for behavior based control of mobile robots. A little bit artificial intelligence based on a domain specific language for the c't Bot.

This is a bot programming game written in JAVA.You are required to write a program to control the player in a virtual environment to make the bot move, scan the arena for enemies, throw bombs etc. Two such programs are made to fight against each other.

AIBICOM is a C subroutine library for the development of binary control applications.

Lillybot is an OpenCyc-based irc chatbot. It implements a very simple reasoning engine that works with the OpenCyc ontology, and hooks it to a natural-language parser. It can answer simple english questions with small simple-english replies.

The Robosuitcase project aims to build an autonomous suitcase that is able to follow its owner.