Jess is a fast, light rule engine and scripting environment written entirely in Java. You can build Java software that has the capacity to "reason" using knowledge you supply in the form of declarative rules. It is supplied as a programmer's library, making it ideal for embedding in larger applications. Jess includes development tools built on the Eclipse platform. It is free for academic use and can be licensed for commercial use.
JASA is a high-performance auction simulator. It is designed for performing experiments in agent-based computational economics. It implements variants of the double-auction market, which is commonly used to run real-world market places such as stock exchanges. It is designed to be highly extensible so that other types of auctions can easily be implemented. The software also provides a base classes for implementing simple adaptive trading agents.
Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.
Thinknowlogy is grammar-based software designed to utilize the logic contained within grammar in order to create intelligence through a natural language, which is demonstrated by programming in a natural language, reasoning in a natural language (drawing conclusions, making assumptions (with a self-adjusting level of uncertainty), asking questions (about gaps in the knowledge), and detecting conflicts), and intelligent answering of "is" questions, providing alternative answers as well.
Conquest is a simultaneous turn-based strategy game placed in a dark and distant future. Play the role of a futuristic commander. Divide your armies and conquer the world. Position satellites to reveal your opponents. Launch missiles to annihilate big armies, but watch out for incoming drop pods behind your back. Standing in your path to victory are other commanders like yourself. Fight them off one by one and prove you are the greatest of the great. The combination of fast gameplay and randomly generated maps equals intense, restless nights of battles for cities. Drag and drop your way to victory.
AceWiki is a semantic wiki that is powerful and at the same time easy to use. Making use of the controlled natural language ACE, the formal statements of the wiki are shown in a way that looks like natural English. In order to help the users to write correct ACE sentences, AceWiki provides a predictive editor.
libagf is a fast, innovative implementation of adaptive or variable-bandwidth kernel-based estimators for statistical classification, PDF estimation, and interpolation/non-linear regression. It is written in C++ and includes simple, command line executables as well as easy-to-use libraries.