Browsing tag: subsumption  

Algernon 1.0.0

Algernon project is a subsumption architecture built on top of Simbad.

Dec 13th 2007, 16:02 GMT

Logic Reasoner 0.1

Logic Reasoner is a theorem prover for first-order logic with equality.

Oct 25th 2007, 20:57 GMT