logic-and-learning-lab/Popper

Issues

• The reason to force ordering in predicate invention?

  #38 opened 2 years ago by yangdinglou
  3

• how do you translate the ARC-AGI training examples into ILP background and example ?

  #93 opened 2 months ago by zdx3578
  4

• 《Relational decomposition for program synthesis》 The most promising way to solve the ARC-AGI problem

  #92 opened 2 months ago by zdx3578
  1

• meta-predicates

  #91 opened 2 months ago by i-am-neo
  5

• Metarules example doesn't work in version 4

  #90 opened 4 months ago by viyx
  1

• question: one time initialization

  #89 opened 4 months ago by adamcrussell
  1

• some questions pls

  #88 opened 5 months ago by i-am-neo
  1

• RC2 configuration

  #87 opened 6 months ago by alexeyignatiev
  6

• Mode Bias with multiple head declaration does not work as expected

  #86 opened 7 months ago by lubro
  2

• Can Popper use constants?

  #85 opened 7 months ago by pudumagico
  6

• <block>:3:1-19: error: unsafe variables in: head_pred(Stop,1):-[#inc_bias].

  #84 opened 8 months ago by Jaraxxus-Me
  4

• janus.PrologError: '$c_call_prolog'/0: Arguments are not sufficiently instantiated

  #83 opened 8 months ago by Timisorean
  2

• Wrong pip version

  #82 opened 8 months ago by Timisorean
  2

• Maybe a bug in Popper/bin /popper-ilp

  #80 opened 8 months ago by Zhang-Liao
  2

• KeyError, but sometimes solution, without changing things

  #81 opened 8 months ago by Timisorean
  2

• Add description to the examples

  #42 opened 9 months ago by hakank
  1

• Noise handling

  #50 opened a year ago by JeanChristopheRohner
  4

• What does max_clauses(N) do exactly?

  #48 opened a year ago by youssefmahmoud89
  3

• Adding direction to unneccessary predicate seems to cause stopping finding a solution

  #47 opened a year ago by adam-antonik
  2

• Learning more than one head.

  #52 opened a year ago by pudumagico
  4

• Can Popper generalize?

  #74 opened a year ago by pauljurczak
  8

• Error in the testing phase popper

  #77 opened a year ago by seddiqbenterki
  3

• Overfitting and wrong solution in 'find-dupl' example.

  #76 opened a year ago by viyx
  2

• What're the constraints of mutual recursion in PI?

  #71 opened a year ago by yangdinglou
  0

• It seems that Popper can't find a rule for increment by one

  #73 opened a year ago by pauljurczak
  6

• Can Popper count?

  #70 opened a year ago by timbastin
  3

• Adding test examples

  #72 opened a year ago by subhashree8
  1

• "PL_put_chars: Assertion failed: 0" probably due to an automatic upgrade of swi-prolog

  #56 opened 2 years ago by ramparany
  2

• Some of the predicate invention examples don't work in latest version

  #68 opened 2 years ago by yangdinglou
  0

• Possible optimization (if not a bug): should the sub programs in the explainer also follow the constraint?

  #67 opened 2 years ago by yangdinglou
  1

• `explain` always true when invoked from commandline

  #64 opened 2 years ago by tomsilver
  1

• A strange behavior when adding extra ASP constraints to pruning by `clause`

  #59 opened 2 years ago by yangdinglou
  6

• bkcons filepath

  #63 opened 2 years ago by tomsilver
  1

• Add percentage time to --stats

  #46 opened 2 years ago by andrewcropper
  0

• invoking popper from another python program

  #62 opened 2 years ago by tomsilver
  4

• Problem with SWI Prolog's new stable PPA version 9.0.0 (Linux Ubuntu)

  #55 opened 2 years ago by hakank
  4

• Index Out of Range Error

  #60 opened 2 years ago by damianoazzolini
  1

• Can Popper performs incrementally learning?

  #58 opened 2 years ago by Zhang-Liao
  3

• Get all positive and negative examples

  #54 opened 2 years ago by ac-er
  2

• Timeout error on dataset

  #53 opened 2 years ago by navdeepkjohal
  8

• Context Dependent Problems

  #51 opened 2 years ago by pudumagico
  4

• Number of clauses are larger than max_clause/1

  #45 opened 2 years ago by hakank
  2

• PrologError: error(resource_error(stack)...) in Popper v2.0.0

  #44 opened 2 years ago by hakank
  1

• Error 'error(type_error(integer,...)` in v2.0.0

  #43 opened 2 years ago by hakank
  2

• Problem running v2.0.0 (pyswip related)

  #41 opened 2 years ago by hakank
  3

• Info does not show the last program

  #39 opened 2 years ago by andrewcropper
  0

• Wrong pruning during the search?

  #36 opened 2 years ago by yangdinglou
  9

• Order stats by total running time

  #33 opened 2 years ago by andrewcropper
  0

• Usage of the extra bias for specifing the clause

  #37 opened 3 years ago by yangdinglou
  2

• A PrologError raise in function success_set when using build-in predicates

  #35 opened 3 years ago by yangdinglou
  2