issues
search
kory33
/
obsidian-vault--research-notes--optimized-reasoning-with-guarded-logic
Other
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Configure Renovate
#16
renovate[bot]
opened
1 year ago
0
Rename "Datalog rewriting" to "Datalog saturation"
#15
kory33
opened
1 year ago
0
Can we eliminate redundant computation for subquery answering with different choice of tentacles?
#14
kory33
opened
1 year ago
0
Write down a simple decision algorithm for query answering that uses an oracle for tentacle query answering
#13
kory33
closed
1 year ago
1
Can a pseudoquery of 3-clique query be reduced like acyclic join queries?
#12
kory33
opened
1 year ago
0
Write about the problem decomposition using "valid templates"
#11
kory33
opened
1 year ago
0
Write about Query Reduction Strategy
#10
kory33
opened
1 year ago
0
We might want to switch to `obsidian-html`
#9
kory33
closed
1 year ago
1
`Chase-Like-Trees-and-Saturated-Chase-Like-Trees` page is broken hard
#8
kory33
closed
1 year ago
0
Page transition does not re-render MathJax
#7
kory33
closed
1 year ago
0
Some multiline math expressions don't render themselves
#6
kory33
closed
1 year ago
1
Interactive Graph and Backlinks are broken
#5
kory33
opened
1 year ago
2
Wikilinks are broken
#4
kory33
closed
1 year ago
0
Use MathJax and incorporate `preamble.pty`
#3
kory33
closed
1 year ago
1
Make the repository public
#2
kory33
closed
1 year ago
0
Decide what to use to build browsable artifacts
#1
kory33
closed
1 year ago
4