News for hackers. Stuff that matters.
Re:Ask HN: What is the current state of "logical" AI? by mtlb on Tuesday December 26, 2023 @08:48AM (#38771704)
Thanks, modern rule engines and description logic formalisations are something for me to explore! Are there any other practical applications of such advanced SAT solvers?

There are no comments on this comment yet.