Skip to content

Issues: opencog/ure

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

20 Open 13 Closed
20 Open 13 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

The hyperlink to the term unifier in the README leads nowhere.
#128 opened Sep 5, 2023 by gl-yziquel
1
Unbalanced quotations
#119 opened Nov 8, 2021 by linas
Bogus always-false clauses
#92 opened Jun 12, 2020 by linas
1
Fix replacement example inference tree expansion bug Something isn't working
#80 opened May 7, 2020 by ngeiswei
2 tasks
Add BackwardChainerGetLink enhancement New feature or request
#56 opened Jan 15, 2020 by ngeiswei
@ngeiswei
Rule::unify_source method execution takes about 30% of ForwardChainer execution time enhancement New feature or request
#54 opened Dec 27, 2019 by vsbogd
6
add api to extract inference trace
#48 opened Nov 20, 2019 by noskill
4
Why not DualLink ?
#30 opened Jul 26, 2019 by linas
2
Have the URE fully support formula premises wrapped in SetLink
#16 opened Feb 3, 2019 by ngeiswei
Remove focus set from URE?
#39 opened Jan 11, 2019 by ngeiswei
4
Create an incremental unifier
#18 opened Nov 19, 2018 by ngeiswei
1
Memoize unification to speed up URE
#19 opened Nov 19, 2018 by ngeiswei
1
Replace specialized/incomplete type intersection code in unifier by TypeSetLink
#20 opened Nov 15, 2018 by ngeiswei
1
Have the unifier supports deep types
#21 opened Nov 9, 2018 by ngeiswei
Have the backward chainer support URE rules without formula
#22 opened Aug 20, 2018 by ngeiswei
10
Merge the forward and backward chainer into a mixed chainer
#23 opened Mar 26, 2018 by ngeiswei
Support other fitness than maximizing confidence in URE
#24 opened Mar 26, 2018 by ngeiswei
Forward-chainer general discussion
#26 opened Nov 19, 2016 by linas
2
URE performance
#27 opened Nov 19, 2016 by linas
11
Support meta-rule in the URE
#28 opened Nov 8, 2016 by ngeiswei
@ngeiswei
11
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.