@chrisamaphone this is super neat, I didn't know you were into rewriting : )
Top-level
5 comments
@chrisamaphone currently reading the paper, it's nice a intersection of domains I love. I'll keep it handy for people interested in breaking into RW systems @neauoire july 2023 (publisher version: https://ieeexplore.ieee.org/document/10174675) |
@neauoire mostly when it results from thinking about forward-chaining logic programs, but yes!