Channels
administrivia
announcements
bot-dark-forest
devlog-together
in-alberta
in-boston
in-germany
in-israel
in-london
in-nyc
in-ontario
in-seattle
in-sf
in-socal
introduce-yourself
linking-together
of-ai
of-end-user-programming
of-functional-programming
of-graphics
of-logic-programming
of-music
present-company
random-encounters
reading-together
share-your-work
thinking-together
two-minute-week
wormholes
Title
j
Jason Morris
10/04/2022, 10:30 PMAnyone here have some experience with answer set programming? I'm struggling to understand a negation issue, this week.
n
Nick Smith
10/04/2022, 11:12 PMI'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).
j
Jason Morris
10/04/2022, 11:27 PMI'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.