Reasoning

Sudoku is a game that is very fashinable in Britain at the moment. Everyone seems to be captured.The rules are very simple:Fill in the grid so that every row, every column, and every 3x3 box contains the digits 1 through 9.That's all there is to it. There's no math involved. The grid has numbers,... Platforms: Matlab

Onnac is an open source simplistic advanced Content Management System (CMS). Onnac is designed generically to help the advanced developer implement websites and applications in a (relatively) easy to manage manner.Why Onnac?There are lots of other content management systems out there for you to... Platforms: PHP

This module provides dynamic substitution of text with dynamically generated images using True type fonts.Each time a user views a page, pre-defined CSS selectors are sought for and their text is replaced with an image containing the text. The text is rendered according to a predefined "pseudo... Platforms: PHP

This module is coded against 4.7 Drupal and the Category module. I am using the form_alter hook to include a set of radio options "Enabled" and "Disabled" on the Category sections. When enabled, the navigation tree is appended to that nodes body. This will display all navigational elements, even... Platforms: PHP

Belief networks (also called Bayesian networks or causal networks) are a representation for independence amongst random variables for probabilistic reasoning under uncertainty. The purpose of this tool is to illustrate how probabilities are updated given new evidence in a belief network, and... Platforms: Mac

Prolog+CG 2.0 is an implementation in Java of standard Prolog, but with extensions for handling the Conceptual Graph theory of John Sowa. Object-Oriented extensions are also provided. CGs are first-class data structures, allowing easy reasoning about CGs. Ontologies are also supported. Prolog+CG... Platforms: Mac

txtkit is a visual text mining tool for exploring large amounts of multilingual texts. It's an multiuser-application which mainly focuses on the process of reading and reasoning as series of decisions and events. Platforms: Mac

gbrainy is a brain teaser game and trainer to have fun and to keep your brain trained. It provides the following types of games: * Logic puzzles. Games designed to challenge your reasoning and thinking skills. * Mental calculation. Games based on arithmetical operations designed to prove your... Platforms: *nix

Visual Spell is a program created to improve the spelling, reading, and vocabulary skills of English speaking children in the age 6-10. However, all ages may find it enjoyable. Reasoning Skills and Vocabulary. The program challenges players to use reasoning skills to match a word from their... Platforms: *nix

Prolog+CG 2.0 is an implementation in Java of standard Prolog, but with extensions for handling the Conceptual Graph theory of John Sowa. Object-Oriented extensions are also provided. CGs are first-class data structures, allowing easy reasoning about CGs. Ontologies are also supported. Prolog+CG... Platforms: *nix