VDict - Definition of inference rule

search result for inference rule in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

inference inference engine symbolic inference deductive database inference rule type inference OPS5 knowledge grammatical inference inductive inference complete inference system proof LogC Tree Transformation Language declarative language least recently used incremental constraint solver grammar sound ML Kit airplane rule abduction narrowing 90-90 Rule Ninety-Ninety Rule operational semantics logic programming Isabelle computational learning PRISM type assignment CONSTRAINTS forward chaining delta reduction Ontic complete Machiavelli Extended Concurrent Prolog Cyc cognitive architecture KL1 ThingLab PROgrammed Graph REwriting Systems demon XC redex Constraint Logic Programming Alex term rewriting system Extended Self-containing Prolog Sketchpad depeditate FOCL active DBMS Adaline mouse arrest instantiation off-side rule invariant YAPS field servoid wart assertion heuristic PARULEL safety-critical system Official Production System fact KEE integrity constraint PLisp COMIT structural recursion knowledge representation Conway's Law ISWIM Bertrand Sturgeon's Law vanity domain eta conversion

First < Previous 1 2 Next > Last