doerthe
doerthe
Please note that the problem you describe does not only depend on the scoping of universals but rather to the way scoping of universals is combined with existential scoping. To...
Today, I had a meeting with a colleague of mine who pointed out that there is a general problem if you combine negation with existential rules. If your notion of...
The person who told me just wrote a whole paper about the issue. The solution in the paper is to always reduce the model you produce via the rules towards...
> This is no longer the case in the latest EYE release https://github.com/josd/eye/releases/tag/v21.1203.1050 Maybe also mention Stephan Mennicke as the observer of the problem (he pointed me to the general...
Here the paper about that issue: https://arxiv.org/pdf/2112.07376.pdf Maybe we can use some of the ideas discussed there.
Reading about your discussion: We had a community group for N3 and I would be willing to push N3 further. Would you be interested in that to have formal support...