Search results

The hyperlink to the term unifier in the README leads nowhere.

Status: Open.

#128 In opencog/ure;

· gl-yziquel opened on Sep 5, 2023

Unbalanced quotations

Status: Open.

#119 In opencog/ure;

· linas opened on Nov 8, 2021

Bogus always-false clauses

Status: Open.

#92 In opencog/ure;

· linas opened on Jun 12, 2020

Fix replacement example inference tree expansion

bugSomething isn't workingSomething isn't working

Status: Open.

#80 In opencog/ure;

· ngeiswei opened on May 7, 2020

Add BackwardChainerGetLink

enhancementNew feature or requestNew feature or request

Status: Open.

#56 In opencog/ure;

· ngeiswei opened on Jan 15, 2020

Rule::unify_source method execution takes about 30% of ForwardChainer execution time

enhancementNew feature or requestNew feature or request

Status: Open.

#54 In opencog/ure;

· vsbogd opened on Dec 27, 2019

add api to extract inference trace

Status: Open.

#48 In opencog/ure;

· noskill opened on Nov 20, 2019

Why not DualLink ?

Status: Open.

#30 In opencog/ure;

· linas opened on Jul 26, 2019

Have the URE fully support formula premises wrapped in SetLink

Status: Open.

#16 In opencog/ure;

· ngeiswei opened on Feb 3, 2019

Remove focus set from URE?

Status: Open.

#39 In opencog/ure;

· ngeiswei opened on Jan 11, 2019

Create an incremental unifier

Status: Open.

#18 In opencog/ure;

· ngeiswei opened on Nov 19, 2018

Memoize unification to speed up URE

Status: Open.

#19 In opencog/ure;

· ngeiswei opened on Nov 19, 2018