inference-rules topic

An Inference Engine based on Propositional Calculus written in Common Lisp

ryukinix

Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.

opencog

Physics Derivation Graph: mathematical connections among equations

allofphysicsgraph