Deduction


Advertisement

Definite Clause Deduction  v.4.2.8

Analyze deduction algorithms. Definite Clause Deduction demonstrate various deduction algorithms, from the SLD resolution used by Prolog to the user manually unifying clauses.

Deducrion online puzzle

Deduction free logic puzzle. Click on one of the five spaces to change the color of the rock in it. You can choose from five colors. When you press done, you get a white rock for every rock in the right place, and a black rock for every rock that is the





Advertisement

TimeVue  v.1.0.34

TimeVue Lite is entry-level PC-based software for Icon Time Systems' automated Time and Attendance Solutions, and hand punch biometric readers.

TaxACT  v.2010

The most complete tax solution. TaxACT is a useful program that was designed in order to help you prepare, print & e-file simple and complex IRS tax returns easily and get your maximum tax refund.TaxACT Features: 1. FREE to Prepare, FREE to Print,

Robot Control  v.4.6.0

Robot simulation to help you with your studies. A robot is an intelligent agent that perceives, reasons, and acts in time in an environment. It acts to achieve its assigned goals and at the same time avoids getting into undesired states.

Graph Searching  v.4.5.0

Search is an important part of AI; many problems can be cast as the problem of finding a path in a graph. Graph Searching is a graph-searching tool, it is designed to help you learn about different search strategies.

MailEnable MAPI Connector for Microsoft Outlook  v.1.43

MailEnable MAPI Connector for Microsoft Outlook is a client installation that provides rich collaboration integration between Microsoft Outlook and MailEnable Enterprise Premium.

Isanaki  v.2.6b

Isanaki is a free Multilingual Sudoku and Wordoku Game, a Sudoku Board Generator, Solver and Printer designed for Windows 2K and XP. In this release, using the brute-force technique, it solves all boards (to the best of my knowledge) and,

Decision Trees  v.4.3.8

Create decision trees to help you with your work. Learning is the capability to improve one's behaviour based on experience and represents an essential element of computational intelligence.

Stochastic Local Search Based CSP Solver  v.4.6.0

Stochastic Local Search Based CSP Solver use stochastic local search algorithms to solve constraint satisfaction problems. Constraint satisfaction problems (CSPs) are pervasive in AI problems.

Belief and Decision Networks  v.5.1.9

View and solve Bayesian Nets fast and easy. Bayesian Belief and Decision Networks help you solve Bayesian Nets. It has a robust variable elimination algorithm,

Neural Networks  v.4.3.7

Create neural networks fast and easy. Inspired by neurons and their connections in the brain, neural network is a representation used in machine learning. After running the back-propagation learning algorithm on a given set of examples,

Pages : All
Newest Reviews