Search Results for "all-in-one"

We humans are bound by intellectual abilities. All knowledge is far beyond power of any person. The only way to apply knowledge is to build machines able to present it human way but not limited by volume. Intellect Modeling Kit (IMK) is intended to build knowledge machines (KM) assisting experts on the steps of activity: * Observation; * Producing propositions based on knowledge; * Elimination of impossible propositions; * Selection and verification of the most appropriate propositions...

EVLib is a library for the management and the simulation of Electric Vehicle (EV) activities, at a charging station level, within a Smart Grid environment. EVLib provides a simple, yet efficient interface for the management of all major EV related activities such as the charging and dis-charging of batteries, as well as battery swapping. Moreover, a large number of parameters, such as the number of chargers, the waiting queues, and the available energy can be easily configured. On top...

[ Please read https://sourceforge.net/p/darkbot/news/2014/01/darkbots-revitalization/ ] Darkbot is a portable IRC chat robot written in the C language that can be taught responses to user inquiries, and even have conversations with them. Darkbot was originally created by Jason Hamilton as an aid for help channels on Intenet Relay Chat.

PVN evaluates logical formula in a user defined n-valued semantics. Current efforts are aimed at fleshing out the port to GNU\'s prolog environment. Possible uses include embedding into a public domain knowledge base for a defeasible reasoning system.

Voxapl is a suite of voice-enabled applications supporting voice recognition and text to speech functions for home automation services. It is written in Java and communicates via xAP and/or xPL messaging.

J-Alice is a C++ implementation of an Alicebot clone. It can chat on console, irc and function as a mini-http server. Currently it runs on Linux, BeOS, Windows and Solaris with equal functionality.

This is a Java Email client for academic purpose. It will include the general email client features and other experimental techniques such as uncertain reasoning, HCI principles. This project is not supported now.

This is one approach to implementing the ideas discussed as the Public Domain Knowledge Base. Originally coded by Stephen Reed before joining Cycorp and currently maintained by Vic Bancroft. The next release with contributions made here will be versio

A beginners' level theorem prover project for logic students. Okitsune is written in Haskell and open for contributions.