Limbo – A Reasoning System for First-Order Limited Belief

Re:Limbo – A Reasoning System for First-Order Limited Belief by drdeca on Sunday May 07, 2017 @12:37AM (#14283890)

"What sort of predictions that this makes are contradicted by observation"?

[ Parent | on HN ]

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 ]

Re:Limbo – A Reasoning System for First-Order Limited Belief by aisofteng on Sunday May 07, 2017 @09:06PM (#14288597)

I thought the clarification to be self-evident, for what it's worth.

[ Parent | on HN ]