issues
search
opencog
/
ure
Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.
Other
54
stars
31
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Move URE types from atomspace to URE
#131
linas
closed
7 months ago
0
Replace `make test` by `make check`
#130
linas
closed
1 year ago
0
Redirecting in README.md to the github repo of the term unifier.
#129
gl-yziquel
closed
1 year ago
3
The hyperlink to the term unifier in the README leads nowhere.
#128
gl-yziquel
opened
1 year ago
1
Split out Unify into it's own git repo
#127
linas
closed
1 year ago
2
Explicitly require eager evaluation.
#126
linas
closed
2 years ago
1
Removed extra parens in VariableSet
#125
linas
closed
2 years ago
0
Revert changes to the negation_conflict_test
#124
linas
closed
2 years ago
0
Explicitly clear the COW flag on AtomSpaces
#123
linas
closed
2 years ago
1
Provide proper initialization for a unit test
#122
linas
closed
2 years ago
0
The intent here is IdenticalLink, not EqualLink
#121
linas
closed
2 years ago
0
Forward chainer is not stable against library changes.
#120
linas
closed
2 years ago
3
Unbalanced quotations
#119
linas
opened
3 years ago
0
BackwardChainerUTest fails to build referencing Atomtable
#118
mjsduncan
closed
3 years ago
3
Port over to AtomSpacePtr from AtomSpace*
#117
linas
closed
3 years ago
3
Add method to automatically create rule name abbreviations
#116
ngeiswei
closed
3 years ago
0
Remove trailing space in debug msg
#115
ngeiswei
closed
3 years ago
0
Move code from AtomSpace to here.
#114
linas
closed
3 years ago
1
Use contains or such instead of is_in
#113
ngeiswei
closed
3 years ago
0
Use contains instead is_in
#112
ngeiswei
closed
3 years ago
0
Fix more stringent gcc 11 warnings
#111
ngeiswei
closed
3 years ago
0
Add rule-symbol->rule-name in head comment
#110
ngeiswei
closed
3 years ago
0
Fix incorrect usage of cog-delete
#109
linas
closed
3 years ago
0
Merge singnet -> opencog
#108
ngeiswei
closed
4 years ago
0
Expose ure logger to Python
#107
ngeiswei
closed
4 years ago
1
Merge singnet -> opencog
#106
ngeiswei
closed
4 years ago
0
Merge singnet -> opencog
#105
ngeiswei
closed
4 years ago
0
Cleanup CMakefile
#104
linas
closed
4 years ago
1
Merge singnet/ure to opencog/ure
#103
ngeiswei
closed
4 years ago
1
Make README.md and circleci config project agnostic
#102
ngeiswei
closed
4 years ago
0
Remove the ad-hoc type intersection code
#101
linas
closed
4 years ago
10
Make UniVars inherit from Variables
#100
linas
closed
4 years ago
2
Variable type unifier
#99
linas
closed
4 years ago
2
Name of intrnal-use-only type has changed
#98
linas
closed
4 years ago
0
Fix deb dependencies
#97
vsbogd
closed
4 years ago
0
Search rules
#96
kasimebrahim
closed
4 years ago
5
Improve comments for not_in_atomspace and not_constant
#95
ngeiswei
closed
4 years ago
0
Possible bug in AndBIT::expand()
#94
linas
closed
4 years ago
1
Alter unit test to match new AtomSpace behavior.
#93
linas
closed
4 years ago
4
Bogus always-false clauses
#92
linas
opened
4 years ago
1
Change around directory locations
#91
linas
closed
4 years ago
1
Fix focus set + add unit test
#90
ngeiswei
closed
4 years ago
1
Revert the previous pull req #88
#89
linas
closed
4 years ago
0
Disable tests that trigger pettern engine bug #2630
#88
linas
closed
4 years ago
0
test_conditional_instantiation_1 triggers warnings in pattern engine
#87
linas
closed
4 years ago
6
Add python ure_logger bindings
#86
ngeiswei
closed
3 years ago
6
Replace production-application-ratio parameter by expansion-pool-size
#85
ngeiswei
closed
4 years ago
1
Optimize Thompson sampling
#84
ngeiswei
closed
4 years ago
0
MapLink no longer returns an invalid handle.
#83
linas
closed
4 years ago
1
Complete source rule producer
#82
ngeiswei
closed
4 years ago
0
Next