Symbolic Reasoning Logic

Rationale is the first high-quality "argument processing" software. Use Rationale to create "argument maps", diagrams of reasoning and argument. Rationale will help students learn the fundamentals of good reasoning, critical thinking, and argumentative essay writing. Three Map Types. Use...

Math Science Quest is a fun way to learn the fundamental reasoning skills that are the essence of scientific method. It can be played as an individual puzzle or a multi-player game. Players explore a complex mathematical puzzle attempting to find all the solutions. Experiments can be designed to...

Flying Logic is a revolutionary tool for proactive thinkers, whether you want to change your personal life for the better, or grow a world-class business that impacts thousands or millions of people. Flying Logic is a highly visual, easy to use software application that does for reasoning what...


Platforms: Mac

Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.


Platforms: Windows, Mac, BSD, Linux

Flying Logic Pro is a highly visual, easy to use software application that does for reasoning what spreadsheets do for numbers. Just as you would not do detailed financial projections in your head, you need Flying Logic for all nontrivial planning and reasoning endeavors. The Flying Logic...


Platforms: Mac

The probabilistic logic sampling algorithm is described in (Henrion 1988). Here is the website: http://genie.sis.pitt.edu/wiki/Stochastic_Sampling_Algorithms:_Probabilistic_Logic_SamplingAbout the theory under PLS, please refer toMax Henrion: Practical issues in constructing a Bayes belief...


Platforms: Matlab

v(1.0) fSC-Net - Win Neural Net Fuzzy Pattern Recognition. Quick, hassle-free automatic construction of Neural Networks. Incremental learning. Support of fuzzy logic. Hybrid symbolicconnectionist representation. Complete graphical support of training and testing. Point and click recall of network...


Platforms: Windows

A logic game. The game has got two modes: a single mode (a computer places and hides chesspieces for you) and a network mode. In last one you can play with somebody else through a net, by placing your chesspieces for your opponent and guessing his variants. The winner's who will guess...


Platforms: Windows

Do you have two minutes to read about one of the most exciting arcade games currently available for download on the Internet? Then let me start. Many folks like puzzles, but the problem with those is that sometimes thinking too much wears people out. That’s why most of us like "think...


Platforms: Windows

Logic Protect supports all kinds of software activation (including Phone Activation and Software-as-a-Service (SaaS) features) that makes Logic Protect a flexible activation and copy protection tool for any software author and vendor. In minutes Logic Protect can be easily integrated with...


Platforms: Windows

Logic Protect is a reliable license management, anti-piracy, copy protection, and product activation system featuring high level security and protection against illegal software copying and distribution. Logic Protect supports all kinds of product activation (including Phone Activation and...


Platforms: Windows

Do you think that there is something in your life, work or business that needs some kind of improvement? If so, take a look at Flying Logic Student. It is a very easy to use and highly visual software that works with reasoning in the same way that a worksheet works with numbers.You need to let...


Platforms: Windows

Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database. SYNOPSIS use Math::Logic::Predicate; $db = new Math::Logic::Predicate; # Enter some predicates into the database $db->add(<


Platforms: *nix

Math::Logic is a Perl module that provides pure 2, 3 or multi-value logic. SYNOPSIS use Math::Logic qw( $TRUE $FALSE $UNDEF $STR_TRUE $STR_FALSE $STR_UNDEF ) ; # 1 0 -1 TRUE FALSE UNDEF use Math::Logic :NUM ; # $TRUE $FALSE $UNDEF -- what you normally want use Math::Logic :ALL ; # All...


Platforms: *nix

Math::Symbolic is a Perl module for symbolic calculations. SYNOPSIS use Math::Symbolic; my $tree = Math::Symbolic->parse_from_string(1/2 * m * v^2); # Now do symbolic calculations with $tree. # ... like deriving it... my ($sub) = Math::Symbolic::Compiler->compile_to_sub($tree); my...


Platforms: *nix

Math::Symbolic::MiscAlgebra contains miscellaneous algebra routines like det(). SYNOPSIS use Math::Symbolic qw/:all/; use Math::Symbolic::MiscAlgebra qw/:all/; # not loaded by Math::Symbolic @matrix = ([x*y, z*x, y*z],[x, z, z],[x, x, y]); $det = det @matrix; @vector = (x, y, z);...


Platforms: *nix

Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step. It is geared for those involved in engineering fields, more precisely digital and formal logic scholars and academics, digital devices constructors or anybody involved with...


Platforms: Windows, Other

The most important features of this product is the Step-Sequencer Emulation in Logic using the Matrix Editor combined with new EXS24 Step-Sequenzer Sounds and Sliced Drum Kits. In a limited key range you will find muted notes for each 1/16-segment. You can de-mute the notes intuitive and quickly...


Platforms: Mac

Solve logic problems on your computer or print them out for solving in your easy chair. Use a fill in chart or traditional solving chart to enter your answers. You can also get hints, restart the puzzle, check you answers or see the entire solution. The shareware version comes with five puzzles,...


Platforms: Windows

The Speak logic Information Analysis Desktop enables users to analyze manage information in their own desktops. For instance, while reading a webpage, a user may flag specific information, and then later that same information can be identified in the desktop, where it can then be analyzed. The...


Platforms: Windows