VDict - Definition of symbolic inference

search result for symbolic inference in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

inference symbolic inference symbolic mathematics grammatical inference SCL inference engine inductive inference complete inference system artificial intelligence symbolic link SETS deductive database Symbolic Automatic INTegrator Symbolic Mathematical Laboratory incremental constraint solver symbolic logic SODA MATHLAB Cyc SYMBAL SYGMA sound Symbolic Link abduction MACSYMA CAYLEY shortcut logic type inference Isabelle computational learning George Boole PRISM type assignment CONSTRAINTS forward chaining SPS STENSOR Ontic SNOBOL LISP, Objects, and Symbolic Programming complete Machiavelli Mathcad Extended Concurrent Prolog cognitive architecture Nother KL1 Magic Paper symlink SYLK SYMBOLIC ASSEMBLY ThingLab String EXpression Interpreter TRIGMAN MAO Algebraic Manipulation Package REG-SYMBOLIC Ashmedai CCalc ORTHOCARTAN MuSimp SAC-1 SOAP SAC2 OIL Symbolic Assembler Program demon MuMath IBM 705 FLAP proof ALGY PL/I-FORMAC soft link LiE SAINT SAP shambolic link link

First < Previous 1 2 3 Next > Last