Also show archived
Intelligent Robotics
Algernon Access-Limited Logic is a language for representing knowledge in the computer, and a method for drawing conclusions and ...
QPC: Qualitative Process Compiler The latest release includes Algernon 1.3.3 but not QSIM. QPC requires QSIM...
QSIM The world is infinite, continuous, and continually changing over time. Human knowledge and human inference abilities are...
Knowledge Representation & Reasoning
KM: The Knowledge Machine To encode our knowledge bases, we use the KM knowledge representation and reasoning system. KM is a powerful, frame-base...
Component Library The cornerstone of our approach to building Knowledge Systems is the assembly of knowledge bases from reusable component...
Learning Agents
2004 TacTex agent binary This is the binary version of our 2004 TAC SCM agent....
2005 TacTex agent binary Our agent from the 2005 TAC SCM competition is available for download. The current download is a binary-only version of ...
Keepaway player framework source code, version 0.6 The Keepaway player framework is an implementation of all the low- and mid-level keepaway behaviors described in the pub...
Machine Learning
RAPIER RAPIER is a bottom-up inductive learning system for learning information extract rules. It has been tested on several do...
NEITHER NEITHER is a propositional theory refinement system that will modify a incomplete or incorrect rule base so as to make i...
ML Programs A set of standard inductive classification algorithms and software for automated experimentation and system comparison w...
FORTE FORTE (First Order Revision of Theories from Examples) is a machine learning system for modifiying a first-order Horn-cl...
FOIDL FOIDL is an ILP system for learning first-order decision lists (ordered lists of clauses each ending in a cut). It has b...
ELIXIR A library for writing wrappers in Java. Download from here....
DOLPHIN DOLPHIN is a system which combines Inductive Logic Programming (i.e. FOIL) and Explanation-Based Learning (i.e. EBG) to ...
CHILLIN CHILLIN is an ILP system which integrates top-down search (a la FOIL), bottom-up search (a la GOLEM) and predicate inven...
CHILL CHILL (Constructive Heuristics Induction for Language Learning) is a general approach to the problem of inducing natural...
BETH An ILP system that integrates traditional top-down and bottom-up approaches to combine the strengths of each and elimina...
ACCEL ACCEL is a general purpose system that uses abductive reasoning to construct explanations for observed intelligent pheno...
Neural Networks
1-20 21-25 View All 25
OpenNERO OpenNERO is a general research and education platform for artificial intelligence. The platform is based on a simulatio...
DISCERN DISCERN is a large, modular neural network system for reading, paraphrasing and answering questions about stereotypical ...
Polebalancing This simulator contains the code used to compare (neuron-level) SANE to one- and two-layer adaptive heuristic critics in...
SIGNALSIM The SignalSim Spiking Neuron package is a Tcl/Tk GUI built on top of an event-driven simulator of an interconnected net...
ESP JAVA 1.1 The ESP package contains the source code for the Enforced Sup-Populations system written in Java. This package is a near...
MIR Sentence Processing Package The MIR Sentence Processing package contains the C source code for the MIR system, as well as a selection of scripts wi...
LISSOM

The LISSOM package contains the C++, Python, and Scheme source code and examples for training and testing firing-rate...

NEAT C# The SharpNEAT package contains C# source code for the NeuroEvolution of Augmenting Topologies method (see the original <...
SOFM The SOFM package contains C- and TK/TCL-code (integrated through SWIG) for the standard feature map algorithm for formi...
SANE-C The SANE-C package contains the source code for the Hierarchical SANE system, written in C. This package has been rewrit...
PROC The PROC package contains the C-code and data for training and testing the story processing modules of the DISCERN syste...
PGLISSOM This package is a simulator for the PGLISSOM model of perceptual grouping and self-organization in the visual cortex. Th...
JavaSANE The JavaSANE package contains the source code for the Hierarchical SANE system, based on SANE-C, but rewritten extensive...
HFM The HFM package contains the C-code and data for training and testing the HFM memory organization and hierarchical class...
FGREPNET The FGREPNET package contains the C-code and data for training and testing an FGREP network in developing distributed re...
DISLEX

This package contains the C-code and data for training and testing the DISLEX model of the lexicon, which is also par...

NEAT Java (JNEAT) The JNEAT package contains Java source code for the NeuroEvolution of Augmenting Topologies method (see the original
NEAT: ANJI (Another NEAT Java Implementation) The ANJI package contains Java source code for the NeuroEvolution of Augmenting Topologies method (see the original
NEAT C++ Original The NEAT package contains source code implementing the NeuroEvolution of Augmenting Topologies method. The source code i...
NEAT C++ for Microsoft Windows The Windows NEAT package contains C++ source code for the NeuroEvolution of Augmenting Topologies method (see the origin...