found a way to yield temporal formulas analytically
Merge github.com:opencog/opencog
Improve python shell
Phew. disable the separate pln inference history atomspace because linas broke it
Fix rules and formulas
Fix formula
more rule fixes
start adding quantifier rules
You can choose a target, and also do monte carlo sampling
Merge branch 'master' of github.com:opencog/opencog
Delete temporary atoms created by the backward chainer
concept geometry deduction rule
Fix revisionformula
Add slightly less hacky breakdown-rules
minor refactoring
add a function to simplify (i.e. flatten) boolean expressions
Some boolean conversion rules
Try a better version of the mixed score
fix some errors. add a rule that computes several extensional links at the same time
Don't implement a fuzzy-probabilistic semantics for subset