Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / opencog/ure issues and pull requests

#131 - Move URE types from atomspace to URE

Pull Request - State: closed - Opened by linas 11 months ago

#130 - Replace `make test` by `make check`

Pull Request - State: closed - Opened by linas over 1 year ago

#129 - Redirecting in README.md to the github repo of the term unifier.

Pull Request - State: closed - Opened by gl-yziquel over 1 year ago - 3 comments

#128 - The hyperlink to the term unifier in the README leads nowhere.

Issue - State: open - Opened by gl-yziquel over 1 year ago - 1 comment

#127 - Split out Unify into it's own git repo

Pull Request - State: closed - Opened by linas about 2 years ago - 2 comments

#126 - Explicitly require eager evaluation.

Pull Request - State: closed - Opened by linas over 2 years ago - 1 comment

#125 - Removed extra parens in VariableSet

Pull Request - State: closed - Opened by linas almost 3 years ago

#124 - Revert changes to the negation_conflict_test

Pull Request - State: closed - Opened by linas almost 3 years ago

#123 - Explicitly clear the COW flag on AtomSpaces

Pull Request - State: closed - Opened by linas almost 3 years ago - 1 comment

#122 - Provide proper initialization for a unit test

Pull Request - State: closed - Opened by linas almost 3 years ago

#121 - The intent here is IdenticalLink, not EqualLink

Pull Request - State: closed - Opened by linas almost 3 years ago

#120 - Forward chainer is not stable against library changes.

Issue - State: closed - Opened by linas over 3 years ago - 3 comments
Labels: bug

#119 - Unbalanced quotations

Issue - State: open - Opened by linas over 3 years ago

#118 - BackwardChainerUTest fails to build referencing Atomtable

Issue - State: closed - Opened by mjsduncan over 3 years ago - 3 comments

#117 - Port over to AtomSpacePtr from AtomSpace*

Pull Request - State: closed - Opened by linas over 3 years ago - 3 comments

#116 - Add method to automatically create rule name abbreviations

Pull Request - State: closed - Opened by ngeiswei over 3 years ago

#115 - Remove trailing space in debug msg

Pull Request - State: closed - Opened by ngeiswei over 3 years ago

#114 - Move code from AtomSpace to here.

Pull Request - State: closed - Opened by linas over 3 years ago - 1 comment

#113 - Use contains or such instead of is_in

Pull Request - State: closed - Opened by ngeiswei over 3 years ago

#112 - Use contains instead is_in

Pull Request - State: closed - Opened by ngeiswei over 3 years ago

#111 - Fix more stringent gcc 11 warnings

Pull Request - State: closed - Opened by ngeiswei over 3 years ago

#110 - Add rule-symbol->rule-name in head comment

Pull Request - State: closed - Opened by ngeiswei over 3 years ago

#109 - Fix incorrect usage of cog-delete

Pull Request - State: closed - Opened by linas almost 4 years ago

#108 - Merge singnet -> opencog

Pull Request - State: closed - Opened by ngeiswei over 4 years ago

#107 - Expose ure logger to Python

Pull Request - State: closed - Opened by ngeiswei over 4 years ago - 1 comment

#106 - Merge singnet -> opencog

Pull Request - State: closed - Opened by ngeiswei over 4 years ago

#105 - Merge singnet -> opencog

Pull Request - State: closed - Opened by ngeiswei over 4 years ago

#104 - Cleanup CMakefile

Pull Request - State: closed - Opened by linas over 4 years ago - 1 comment

#103 - Merge singnet/ure to opencog/ure

Pull Request - State: closed - Opened by ngeiswei over 4 years ago - 1 comment

#102 - Make README.md and circleci config project agnostic

Pull Request - State: closed - Opened by ngeiswei over 4 years ago

#101 - Remove the ad-hoc type intersection code

Pull Request - State: closed - Opened by linas over 4 years ago - 10 comments

#100 - Make UniVars inherit from Variables

Pull Request - State: closed - Opened by linas over 4 years ago - 2 comments

#99 - Variable type unifier

Pull Request - State: closed - Opened by linas over 4 years ago - 2 comments

#98 - Name of intrnal-use-only type has changed

Pull Request - State: closed - Opened by linas over 4 years ago

#97 - Fix deb dependencies

Pull Request - State: closed - Opened by vsbogd over 4 years ago

#96 - Search rules

Pull Request - State: closed - Opened by kasimebrahim over 4 years ago - 5 comments

#95 - Improve comments for not_in_atomspace and not_constant

Pull Request - State: closed - Opened by ngeiswei over 4 years ago

#94 - Possible bug in AndBIT::expand()

Issue - State: closed - Opened by linas over 4 years ago - 1 comment

#93 - Alter unit test to match new AtomSpace behavior.

Pull Request - State: closed - Opened by linas over 4 years ago - 4 comments

#92 - Bogus always-false clauses

Issue - State: open - Opened by linas over 4 years ago - 1 comment

#91 - Change around directory locations

Pull Request - State: closed - Opened by linas over 4 years ago - 1 comment

#90 - Fix focus set + add unit test

Pull Request - State: closed - Opened by ngeiswei over 4 years ago - 1 comment

#89 - Revert the previous pull req #88

Pull Request - State: closed - Opened by linas over 4 years ago

#88 - Disable tests that trigger pettern engine bug #2630

Pull Request - State: closed - Opened by linas over 4 years ago

#87 - test_conditional_instantiation_1 triggers warnings in pattern engine

Issue - State: closed - Opened by linas over 4 years ago - 6 comments

#86 - Add python ure_logger bindings

Issue - State: closed - Opened by ngeiswei almost 5 years ago - 6 comments
Labels: enhancement, good first issue

#85 - Replace production-application-ratio parameter by expansion-pool-size

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago - 1 comment

#84 - Optimize Thompson sampling

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#83 - MapLink no longer returns an invalid handle.

Pull Request - State: closed - Opened by linas almost 5 years ago - 1 comment

#82 - Complete source rule producer

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#81 - Add note about JoinLink

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#80 - Fix replacement example inference tree expansion

Issue - State: open - Opened by ngeiswei almost 5 years ago
Labels: bug

#79 - Add replacement example

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#78 - Use nil? instead of null?

Pull Request - State: closed - Opened by linas almost 5 years ago - 2 comments

#77 - Fix python import of bad TruthValue

Pull Request - State: closed - Opened by linas almost 5 years ago - 1 comment

#76 - Switch to python version 3.

Pull Request - State: closed - Opened by linas almost 5 years ago - 1 comment

#75 - First "working" version of URE parallel

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#74 - Misc improvements

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#73 - Only log new sources

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#72 - There is no pattern matcher in here...

Pull Request - State: closed - Opened by linas almost 5 years ago - 1 comment

#71 - Improve trace recording + fitness function

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#70 - Improve logging

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#69 - More work towards supporting multi-threaded URE

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#68 - Pass any C++ exceptions on to python.

Pull Request - State: closed - Opened by linas almost 5 years ago - 1 comment

#67 - Backward chainer takes super long in this case

Issue - State: closed - Opened by alexander-gabriel almost 5 years ago - 3 comments

#66 - Add missing new line

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#65 - MetaRule support

Pull Request - State: closed - Opened by rTreutlein almost 5 years ago - 1 comment

#64 - Improve URE API, unit tests + Optimize

Pull Request - State: closed - Opened by ngeiswei almost 5 years ago

#63 - Make all copying explicit

Pull Request - State: closed - Opened by linas almost 5 years ago

#62 - Add ForwardChainer options and optimize source insertion

Pull Request - State: closed - Opened by ngeiswei about 5 years ago

#61 - Glob unify

Pull Request - State: closed - Opened by kasimebrahim about 5 years ago - 1 comment

#61 - Glob unify

Pull Request - State: closed - Opened by kasimebrahim about 5 years ago - 1 comment

#60 - Another attempt at reconciling a multi-implicand API

Pull Request - State: closed - Opened by linas about 5 years ago

#59 - Maintanance update for API changes

Pull Request - State: closed - Opened by linas about 5 years ago - 1 comment

#58 - Add missing new line in BITNode log

Pull Request - State: closed - Opened by ngeiswei about 5 years ago

#57 - Improve default values of URE parameters

Pull Request - State: closed - Opened by ngeiswei about 5 years ago

#56 - Add BackwardChainerGetLink

Issue - State: open - Opened by ngeiswei about 5 years ago
Labels: enhancement

#55 - Use the move, not the copy constructors.

Pull Request - State: closed - Opened by linas about 5 years ago - 1 comment

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

Issue - State: open - Opened by vsbogd about 5 years ago - 6 comments
Labels: enhancement

#53 - URE compilation fails: warning: control reaches end of non-void function

Issue - State: closed - Opened by vsbogd about 5 years ago - 1 comment

#52 - Upgrade to VariableSet

Pull Request - State: closed - Opened by ngeiswei about 5 years ago

#51 - Remove Unify::is_unordered and use Value::is_unordered_link()

Pull Request - State: closed - Opened by ngeiswei about 5 years ago

#50 - Fix unifying terms with cyclic dependencies

Pull Request - State: closed - Opened by ngeiswei about 5 years ago

#49 - Use OpenCogFindPython macro to get Python dependencies uniformly.

Pull Request - State: closed - Opened by vsbogd about 5 years ago - 5 comments

#48 - add api to extract inference trace

Issue - State: open - Opened by noskill over 5 years ago - 4 comments

#47 - Variables set adjust

Pull Request - State: closed - Opened by ngeiswei over 5 years ago

#46 - Minor improvements

Pull Request - State: closed - Opened by ngeiswei over 5 years ago

#45 - Elevate debug function message to info

Pull Request - State: closed - Opened by ngeiswei over 5 years ago

#44 - Remove obsolete gen_standardize_apart

Pull Request - State: closed - Opened by ngeiswei over 5 years ago

#43 - Fix for #33

Pull Request - State: closed - Opened by rTreutlein over 5 years ago - 5 comments

#42 - Add (disabled) unit test for issue #33

Pull Request - State: closed - Opened by ngeiswei over 5 years ago - 1 comment

#41 - Fix indentation (smart tabs)

Pull Request - State: closed - Opened by ngeiswei over 5 years ago

#40 - Add unify utest where X and Y are treated as constants

Pull Request - State: closed - Opened by ngeiswei over 5 years ago

#39 - Remove focus set from URE?

Issue - State: open - Opened by ngeiswei about 6 years ago - 4 comments

#38 - Fixed Argument Ordering in crisp-modus-ponens-rule

Pull Request - State: closed - Opened by rTreutlein over 5 years ago - 1 comment

#36 - Consider undeclared variable as constant

Pull Request - State: closed - Opened by ngeiswei over 5 years ago

#35 - Add 1-liner comment about gt-zero-confidence-eval

Pull Request - State: closed - Opened by ngeiswei over 5 years ago

#34 - Fix mk_stv when alpha = 1 and 1 < beta + add utest

Pull Request - State: closed - Opened by ngeiswei over 5 years ago

#33 - forward chainer finds that Tweety is a green frog in examples/ure/frog

Issue - State: closed - Opened by astroseger over 5 years ago - 2 comments