lab-v2 pyreason issues - Githubissues

lab-v2 / pyreason

An explainable inference software supporting annotated, real valued, graph based and temporal logic

https://neurosymbolic.asu.edu/pyreason/

Other

180 stars 13 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Documentation

#60 dyumanaditya opened 1 week ago
0
Question: Use of PyReason for probabilistic logic

#59 f-bdolan opened 2 months ago
9
Uniformative error

#58 f-bdolan closed 2 months ago
2
PyReason not maintaining bound variables in rule body?

#57 Pugio opened 2 months ago
2
Any burl rules 4 types

#56 jaikrishnap98 closed 3 months ago
0
Added unit test for 4 types of anyburl rules.

#55 jaikrishnap98 closed 4 months ago
0
Cyclic rule clauses not supported

#54 dyumanaditya opened 4 months ago
0
Fixed Point Operation after applying rules needs to check only a subset of the graph

#53 dyumanaditya opened 5 months ago
0
Custom Thresholds

#51 f-hkobin closed 5 months ago
5
Do we have an estimate on when this might be picked up or guidance on how can contribute.

#50 KaminiAggarwal closed 5 months ago
2
Hello world error

#48 funfwo closed 6 months ago
4
Update README.md

#47 dyumanaditya closed 6 months ago
0
Grounding Improvements

#46 dyumanaditya opened 6 months ago
0
Rules with multiple groundings VS Multiple same rules with singe groundings (infer edges)

#45 dyumanaditya opened 6 months ago
0
Update ad-hoc-grounding branch for newer version of pyreason.

#44 jaikrishnap98 opened 7 months ago
0
New release v3.0.0

#43 dyumanaditya opened 7 months ago
0
Friends example from Tests causing failure

#42 buddha314 closed 7 months ago
5
Recommended starting values for parallel processes (cores) used and memory required

#41 kmukherji opened 7 months ago
0
Which factors determine parallel processes (cores) used and memory required.

#40 kmukherji opened 7 months ago
0
Add functionality for a new tag allow_duplicates

#39 kmukherji opened 7 months ago
0
Fix parallelization of PyReason.

#38 kmukherji opened 7 months ago
0
Allow support for specifying ‘weights’ for each rule.

#37 kmukherji opened 7 months ago
0
Annotation functions in the head gives incorrect results because ‘annotation’ set passed is incorrect.

#36 kmukherji closed 3 months ago
0
A specific type of rule gives incorrect results

#35 kmukherji opened 7 months ago
0
PyReason bug for certain type of rules

#34 jaikrishnap98 opened 7 months ago
0
Support for durative actions

#33 kmukherji opened 8 months ago
0
Documentation for PyReason

#32 dyumanaditya closed 5 months ago
1
Scalars/Fns/Rules (see description)

#31 kmukherji opened 8 months ago
0
Allow scalars in a graph, and functions over them

#30 kmukherji opened 8 months ago
0
Garbage Collection (Removing labels and edges periodically when [0,1])

#29 kmukherji opened 8 months ago
0
Type checking while grounding rules

#28 kmukherji opened 8 months ago
0
Adding new nodes to graph on rule firing

#27 kmukherji opened 8 months ago
0
Allow constant(s) in rule clauses

#26 kmukherji opened 8 months ago
1
Can't import in 3.12

#25 Maxinary closed 8 months ago
1
Incremental Annotation Function with Zero Timestep Rule

#23 dyumanaditya closed 8 months ago
0
Bound Overflow

#22 dyumanaditya closed 8 months ago
0
Permission denied to .cache_status.yaml

#21 mac133k opened 10 months ago
2
Order is significant in rule definition

#20 jrib-eg closed 10 months ago
5
Ability to query the logic

#19 buddha314 opened 11 months ago
0
Unable to load graphml files

#18 ecpneto closed 11 months ago
1
Documentation is out of date

#17 dyumanaditya opened 1 year ago
0
Parallel computing crashes

#16 dyumanaditya opened 1 year ago
0
Improvements

#15 dyumanaditya opened 1 year ago
0
v2.0.0 Grounding Improvement

#14 dyumanaditya closed 1 year ago
1
Immediate rules

#13 dyumanaditya closed 1 year ago
0
Update immediate-rules branch

#12 dyumanaditya closed 1 year ago
0
Filter edges from interpretations

#11 dyumanaditya closed 1 year ago
0
Expose YAML object class in SDK

#10 buddha314 closed 1 year ago
3
Read Graph from NetworkX Graph object

#9 buddha314 closed 1 year ago
3
Parser for rules written in text format

#8 dyumanaditya closed 1 year ago
0