8 packages returned for Tags:"reasoning"

A lightweight, linq-friendly inference library for .NET

Deliberative Coherence Computation Library based on a artificial neural network library (NeNe and NeNe.ANN)

Deliberative Coherence Computation Library: DeCoLib is the connectionist network computation library specifically targeting the deliberative coherence computation. this library is used in some academic and... More information

Class library supporting the construction of logic algorithms.

Reasoning engine that provides knowledge base builders and basic reasoning service. https://github.com/lwardzala/Business-Rules-Reasoning-System

Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#

Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#

Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#