kiselev aic-praise issues

kiselev / aic-praise

Automatically exported from code.google.com/p/aic-praise

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

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

#33 GoogleCodeExporter opened 8 years ago
0
Review testConvexRewriterOnMessageBoundsBasicInnerUnconditional and testConvexRewriterOnMessageBoundsBasicInnerConditional

#32 GoogleCodeExporter opened 8 years ago
0
Bug with message value including random variable other than destination - showed up at site visit

#31 GoogleCodeExporter opened 8 years ago
0
Create an easy-to-run distribution of PRAiSE demo

#30 GoogleCodeExporter closed 8 years ago
2
Calling model.getDescription().toString() returns "Model"

#29 GoogleCodeExporter closed 8 years ago
3
Remove need for semicolon at the end of statements in high-level rule language

#28 GoogleCodeExporter opened 8 years ago
0
Fix -2 cardinality bug example

#27 GoogleCodeExporter closed 8 years ago
4
Modify Model class to store a model object in process

#26 GoogleCodeExporter closed 8 years ago
1
Fix Demo due to updates from rev 1077 to 1127

#25 GoogleCodeExporter closed 8 years ago
3
IfThenElseConditionIsTrueInThenBranchAndFalseInElseBranch using Syntactic substitute instead of Semantic slows things down even though it shouldn't

#24 GoogleCodeExporter opened 8 years ago
1
pick_single_element failing on unsimplified version of an expression it can work on when simplified

#23 GoogleCodeExporter closed 8 years ago
1
Need to be able to pass a model to LBPQueryEngine without loosing numeric precision

#22 GoogleCodeExporter opened 8 years ago
1
Add support for naming Random Predicates that have the same name but different arities

#21 GoogleCodeExporter opened 8 years ago
0
Improve Rule Converter logic so that it can derive undeclared random variable declarations

#20 GoogleCodeExporter opened 8 years ago
0
Rule Parser, is incorrectly translating a conditional rule to include a conditional on an arithmetic constant.

#19 GoogleCodeExporter closed 8 years ago
5
Rule Parser, prolog rules require semicolons following the period that identifies prolog rules.

#18 GoogleCodeExporter closed 8 years ago
2
Rule Converter, to throw ReservedWordException for more than just query

#17 GoogleCodeExporter closed 8 years ago
2
Incorporate if <formula> then <formula> else <formula> to formula language

#16 GoogleCodeExporter closed 8 years ago
1
Context needs to be standardized apart from new scoping variables

#15 GoogleCodeExporter opened 8 years ago
1
Investigate if R_complete_simplify really needed in R_belief's partition on intersenction logic.

#14 GoogleCodeExporter closed 8 years ago
1
Distinction between random variable values and random variable value candidates not as clear as necessary

#13 GoogleCodeExporter closed 8 years ago
2
Optimization when computing a message to a factor from a variable when the variable has no other neighbors

#12 GoogleCodeExporter opened 8 years ago
1
Automate steps to ground a lifted model and run with an external propositional inference suite

#11 GoogleCodeExporter opened 8 years ago
1
Possible issues with pick_single_element and pick_value logic in LBP algorithm

#10 GoogleCodeExporter closed 8 years ago
1
Rule Converter, registration of domain size information for R_simplify calls, determine if correct

#9 GoogleCodeExporter closed 8 years ago
1
Rule Converter, accept queries that are functions in the high level language

#8 GoogleCodeExporter closed 8 years ago
1
Rule Converter, random variable declarations not getting added or modified correctly in translated to model

#7 GoogleCodeExporter closed 8 years ago
1
Rule Converter, incorrect addition of free variables

#6 GoogleCodeExporter closed 8 years ago
4
Make more efficient logic in R_intersection to support extensional sets

#5 GoogleCodeExporter opened 8 years ago
0
Random Variables need to be recognizable even if not mentioned in factors of the model.

#4 GoogleCodeExporter closed 8 years ago
1
Update to support asynchronous group based cycle detection in LBP

#3 GoogleCodeExporter opened 8 years ago
0
Pass messages (i.e. bracketed) and not message values in LBP implementation

#2 GoogleCodeExporter opened 8 years ago
0
Update bounds pseduo-code and logic to take into account handling of scoped placeholders

#1 GoogleCodeExporter opened 8 years ago
0