Re:Limbo – A Reasoning System for First-Order Limited Belief
by crawfordcomeaux on Sunday May 07, 2017 @02:34AM
(#14284198)
This is what I meant. Thanks for providing the clarification I didn't think to include.
[ Parent
| on HN ]