schwering/limbo

A Reasoning System for a First-Order Logic of Limited Belief, written in C++

143 best points · 26 comments · 1 Hacker News post · 233 GitHub stars · View on GitHub

Hacker News discussions

• Limbo – A Reasoning System for First-Order Limited Belief (143 points, 26 comments, by mindcrime, 2017-05-06)