Anyone here have some experience with answer set programming? I'm struggling to understand a negation issue, this week.
10/04/2022, 11:12 PM
I'll answer negatively, just so you know someone has read your message 🙃. Answer set programming is not my preferred semantics for logic programs, and so I don't have much experience with it. I like (and am using) least fixed point semantics with stratified negation & aggregation, because I believe it to be the most appropriate model for general-purpose programming (which is my focus).
10/04/2022, 11:27 PM
I've written the author of the original implementation of the tool I'm using for some advice. Hopefully he comes through. I have one other forum that might work, if that doesn't. Thanks.