Ecosyste.ms: Issues

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

GitHub / logic-and-learning-lab/Popper issues and pull requests

#79 - Fix missing `noisy` parameter in popper-ilp script

Pull Request - State: closed - Opened by morxa 9 months ago - 1 comment

#78 - Added windows support

Pull Request - State: open - Opened by MohammadSakhnini 12 months ago

#77 - Error in the testing phase popper

Issue - State: closed - Opened by seddiqbenterki about 1 year ago - 3 comments

#76 - Overfitting and wrong solution in 'find-dupl' example.

Issue - State: closed - Opened by viyx about 1 year ago - 2 comments

#75 - Add script to directly execute popper

Pull Request - State: closed - Opened by sargreal about 1 year ago - 1 comment

#74 - Can Popper generalize?

Issue - State: closed - Opened by pauljurczak over 1 year ago - 8 comments

#73 - It seems that Popper can't find a rule for increment by one

Issue - State: closed - Opened by pauljurczak over 1 year ago - 6 comments

#72 - Adding test examples

Issue - State: closed - Opened by subhashree8 over 1 year ago - 1 comment

#71 - What're the constraints of mutual recursion in PI?

Issue - State: closed - Opened by yangdinglou over 1 year ago

#70 - Can Popper count?

Issue - State: closed - Opened by timbastin over 1 year ago - 3 comments

#69 - pi+rec - ancestor

Pull Request - State: closed - Opened by celinehocquette over 1 year ago - 5 comments

#66 - PDDL policy learning example problems

Pull Request - State: closed - Opened by tomsilver almost 2 years ago

#65 - git ignore .DS_Store files

Pull Request - State: closed - Opened by tomsilver almost 2 years ago

#64 - `explain` always true when invoked from commandline

Issue - State: closed - Opened by tomsilver almost 2 years ago - 1 comment

#63 - bkcons filepath

Issue - State: closed - Opened by tomsilver almost 2 years ago - 1 comment

#62 - invoking popper from another python program

Issue - State: closed - Opened by tomsilver almost 2 years ago - 4 comments

#61 - Popper wip

Pull Request - State: closed - Opened by andrewcropper almost 2 years ago

#60 - Index Out of Range Error

Issue - State: closed - Opened by damianoazzolini almost 2 years ago - 1 comment

#59 - A strange behavior when adding extra ASP constraints to pruning by `clause`

Issue - State: closed - Opened by yangdinglou almost 2 years ago - 6 comments

#58 - Can Popper performs incrementally learning?

Issue - State: closed - Opened by Zhang-Liao almost 2 years ago - 3 comments

#57 - Add fix for queries containing compound functors.

Pull Request - State: closed - Opened by AbhijeetKrishnan almost 2 years ago - 1 comment

#55 - Problem with SWI Prolog's new stable PPA version 9.0.0 (Linux Ubuntu)

Issue - State: closed - Opened by hakank almost 2 years ago - 4 comments

#54 - Get all positive and negative examples

Issue - State: closed - Opened by ac-er about 2 years ago - 2 comments

#53 - Timeout error on dataset

Issue - State: closed - Opened by navdeepkjohal about 2 years ago - 8 comments

#52 - Learning more than one head.

Issue - State: closed - Opened by pudumagico over 2 years ago - 4 comments
Labels: enhancement

#51 - Context Dependent Problems

Issue - State: closed - Opened by pudumagico over 2 years ago - 4 comments

#50 - Noise handling

Issue - State: closed - Opened by JeanChristopheRohner over 2 years ago - 4 comments
Labels: enhancement

#49 - add comment about directions

Pull Request - State: closed - Opened by adam-antonik over 2 years ago

#48 - What does max_clauses(N) do exactly?

Issue - State: closed - Opened by youssefmahmoud89 over 2 years ago - 3 comments
Labels: enhancement

#46 - Add percentage time to --stats

Issue - State: closed - Opened by andrewcropper over 2 years ago

#45 - Number of clauses are larger than max_clause/1

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

#44 - PrologError: error(resource_error(stack)...) in Popper v2.0.0

Issue - State: closed - Opened by hakank over 2 years ago - 1 comment

#43 - Error 'error(type_error(integer,...)` in v2.0.0

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

#42 - Add description to the examples

Issue - State: closed - Opened by hakank over 2 years ago - 1 comment

#41 - Problem running v2.0.0 (pyswip related)

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

#40 - Add warning when global timeout occurs

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

#39 - Info does not show the last program

Issue - State: closed - Opened by andrewcropper over 2 years ago

#38 - The reason to force ordering in predicate invention?

Issue - State: closed - Opened by yangdinglou over 2 years ago - 1 comment

#37 - Usage of the extra bias for specifing the clause

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

#36 - Wrong pruning during the search?

Issue - State: closed - Opened by yangdinglou almost 3 years ago - 9 comments

#35 - A PrologError raise in function success_set when using build-in predicates

Issue - State: closed - Opened by yangdinglou almost 3 years ago - 2 comments

#34 - Add --stats-file for experimentation framework

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

#33 - Order stats by total running time

Issue - State: closed - Opened by andrewcropper almost 3 years ago
Labels: enhancement

#32 - Poor redundant literal check

Issue - State: closed - Opened by andrewcropper almost 3 years ago - 1 comment
Labels: enhancement, good first issue

#31 - Partial directions

Issue - State: closed - Opened by celinehocquette almost 3 years ago - 1 comment
Labels: enhancement, good first issue

#30 - KRK example

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

#29 - Pipable

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

#28 - Crash using v1.0.2 (problem with swi-prolog?)

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

#27 - Make timeout function Windows-friendly

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

#26 - Windows compatibility

Issue - State: closed - Opened by JackWahlig about 3 years ago - 2 comments

#25 - Predicate invention does not work when directions are not given.

Issue - State: open - Opened by andrewcropper about 3 years ago - 1 comment
Labels: bug

#24 - Showing covered/not covered instances

Issue - State: closed - Opened by hakank about 3 years ago - 2 comments

#23 - ERROR: Syntax error: Operator expected

Issue - State: closed - Opened by hakank about 3 years ago - 1 comment

#22 - Add ability to test programs using Clingo rather than Prolog

Issue - State: closed - Opened by andrewcropper about 3 years ago - 1 comment
Labels: enhancement

#21 - Show full hypothesis space

Issue - State: closed - Opened by andrewcropper about 3 years ago - 1 comment
Labels: enhancement

#20 - Fix Popper output

Issue - State: closed - Opened by andrewcropper about 3 years ago

#19 - Stats and logging improvements

Pull Request - State: closed - Opened by bhntr about 3 years ago

#18 - The new --info flag sometimes throws ZeroDivisionError

Issue - State: closed - Opened by hakank about 3 years ago - 1 comment

#17 - multiple solutions

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

#16 - Generating all solutions

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

#15 - example/reverse/exs.pl includes the lines of the solution

Issue - State: closed - Opened by hakank over 3 years ago - 1 comment

#14 - max_vars(7) don't generate a solution with variable G

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

#12 - Forcing the number of clauses?

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

#11 - The example iggp-minimal-decay don't work anymore. Shows "No program returned."

Issue - State: closed - Opened by hakank over 3 years ago - 1 comment

#10 - pos/neg examples must be on a single line, otherwise Popper is confused

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

#9 - Redundancy

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

#8 - Global timer

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

#7 - Remove renaming redundancies in the hypothesis space

Issue - State: closed - Opened by andrewcropper over 3 years ago - 4 comments
Labels: enhancement

#6 - Timeout

Issue - State: closed - Opened by andrewcropper over 3 years ago - 1 comment
Labels: enhancement

#5 - Too many stacked strings

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

#4 - debug-stats

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

#3 - Cache2

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

#2 - Clingo test

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

#1 - Rev2

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