kiselev/aic-praise

Issues

• Bug with message value including random variable other than destination - showed up at site visit

  #31 opened 9 years ago by GoogleCodeExporter
  0

• Review testConvexRewriterOnMessageBoundsBasicInnerUnconditional and testConvexRewriterOnMessageBoundsBasicInnerConditional

  #32 opened 9 years ago by GoogleCodeExporter
  0

• LBPStressIt.testStressTest3 throwing exception after replacement of direct by plain cardinality

  #33 opened 9 years ago by GoogleCodeExporter
  0

• Calling model.getDescription().toString() returns "Model"

  #29 opened 9 years ago by GoogleCodeExporter
  3

• Create an easy-to-run distribution of PRAiSE demo

  #30 opened 9 years ago by GoogleCodeExporter
  2

• Remove need for semicolon at the end of statements in high-level rule language

  #28 opened 9 years ago by GoogleCodeExporter
  0

• Fix -2 cardinality bug example

  #27 opened 9 years ago by GoogleCodeExporter
  4

• Fix Demo due to updates from rev 1077 to 1127

  #25 opened 9 years ago by GoogleCodeExporter
  3

• Modify Model class to store a model object in process

  #26 opened 9 years ago by GoogleCodeExporter
  1

• IfThenElseConditionIsTrueInThenBranchAndFalseInElseBranch using Syntactic substitute instead of Semantic slows things down even though it shouldn't

  #24 opened 9 years ago by GoogleCodeExporter
  1

• Need to be able to pass a model to LBPQueryEngine without loosing numeric precision

  #22 opened 9 years ago by GoogleCodeExporter
  1

• pick_single_element failing on unsimplified version of an expression it can work on when simplified

  #23 opened 9 years ago by GoogleCodeExporter
  1

• Rule Parser, is incorrectly translating a conditional rule to include a conditional on an arithmetic constant.

  #19 opened 9 years ago by GoogleCodeExporter
  5

• Improve Rule Converter logic so that it can derive undeclared random variable declarations

  #20 opened 9 years ago by GoogleCodeExporter
  0

• Add support for naming Random Predicates that have the same name but different arities

  #21 opened 9 years ago by GoogleCodeExporter
  0

• Rule Converter, to throw ReservedWordException for more than just query

  #17 opened 9 years ago by GoogleCodeExporter
  2

• Rule Parser, prolog rules require semicolons following the period that identifies prolog rules.

  #18 opened 9 years ago by GoogleCodeExporter
  2

• Incorporate if <formula> then <formula> else <formula> to formula language

  #16 opened 9 years ago by GoogleCodeExporter
  1

• Investigate if R_complete_simplify really needed in R_belief's partition on intersenction logic.

  #14 opened 9 years ago by GoogleCodeExporter
  1

• Context needs to be standardized apart from new scoping variables

  #15 opened 9 years ago by GoogleCodeExporter
  1

• Optimization when computing a message to a factor from a variable when the variable has no other neighbors

  #12 opened 9 years ago by GoogleCodeExporter
  1

• Distinction between random variable values and random variable value candidates not as clear as necessary

  #13 opened 9 years ago by GoogleCodeExporter
  2

• Possible issues with pick_single_element and pick_value logic in LBP algorithm

  #10 opened 9 years ago by GoogleCodeExporter
  1

• Automate steps to ground a lifted model and run with an external propositional inference suite

  #11 opened 9 years ago by GoogleCodeExporter
  1

• Rule Converter, accept queries that are functions in the high level language

  #8 opened 9 years ago by GoogleCodeExporter
  1

• Rule Converter, registration of domain size information for R_simplify calls, determine if correct

  #9 opened 9 years ago by GoogleCodeExporter
  1

• Rule Converter, incorrect addition of free variables

  #6 opened 9 years ago by GoogleCodeExporter
  4

• Rule Converter, random variable declarations not getting added or modified correctly in translated to model

  #7 opened 9 years ago by GoogleCodeExporter
  1

• Update to support asynchronous group based cycle detection in LBP

  #3 opened 9 years ago by GoogleCodeExporter
  0

• Random Variables need to be recognizable even if not mentioned in factors of the model.

  #4 opened 9 years ago by GoogleCodeExporter
  1

• Make more efficient logic in R_intersection to support extensional sets

  #5 opened 9 years ago by GoogleCodeExporter
  0

• Update bounds pseduo-code and logic to take into account handling of scoped placeholders

  #1 opened 9 years ago by GoogleCodeExporter
  0

• Pass messages (i.e. bracketed) and not message values in LBP implementation

  #2 opened 9 years ago by GoogleCodeExporter
  0