Skip to content

Issues: advancedresearch/path_semantics

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
27 Open 74 Closed
27 Open 74 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Update core axiom with path semantical quality hard
#1110 by bvssvni was closed Sep 13, 2021
1
@bvssvni
Update core axiom with two order constraints hard
#1046 by bvssvni was closed Sep 13, 2021
1
@bvssvni
Clarify order assumption in the core axiom hard
#1044 by bvssvni was closed Sep 13, 2021
1
Modeling path semantics in propositional logic discussion
#904 by bvssvni was closed Sep 17, 2020
2
Update paper "Commutativity" discussion draft
#891 by bvssvni was closed Aug 10, 2020
1
1
Logic with intrinsic path semantical properties discussion
#839 by bvssvni was closed Sep 17, 2020
1
Proving that Path Semantics is wrong (challenge) discussion
#531 by bvssvni was closed Oct 8, 2022
3
Machine Theory of Mind information
#250 by bvssvni was closed Apr 30, 2020
Improve Reading Sequence discussion draft
#198 by bvssvni was closed Sep 8, 2019
14 tasks done
Create a reading sequence for people learning path semantics hard
#170 by bvssvni was closed Sep 24, 2020
1
Papers about Refinement Types information
#155 by bvssvni was closed Apr 30, 2020
Add bounds on natural numbers in examples of probabilistic paths discussion draft
#154 by bvssvni was closed Aug 7, 2017
1
Standard Dictionary of Path Semantics information
#129 by bvssvni was closed Apr 30, 2020
Alternative notation for binding variables in a path discussion
#108 by bvssvni was closed Apr 30, 2020
Shorthand notation for predicates and Bayesian reasoning discussion
#107 by bvssvni was closed Apr 30, 2020
Logical quantifiers 2 discussion
#106 by bvssvni was closed Apr 30, 2020
1
Combining path semantics with Bayesian reasoning discussion
#105 by bvssvni was closed Apr 30, 2020
Path functions with generic argument discussion
#104 by bvssvni was closed Apr 30, 2020
One-level symmetric path equality discussion
#103 by bvssvni was closed Apr 26, 2020
Substituting expressions in equations discussion
#102 by bvssvni was closed Apr 26, 2020
Tuple paths discussion
#101 by bvssvni was closed Apr 26, 2020
Extend axiom of equality discussion
#100 by bvssvni was closed Apr 26, 2020
Backward propagating : in reversible paths discussion
#99 by bvssvni was closed Apr 26, 2020
1
Closures and currying discussion draft
#98 by bvssvni was closed Apr 26, 2020
1
Using ":" backward propagation with equations discussion
#96 by bvssvni was closed Apr 25, 2020
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.