conftrace_
2015 IJCAI IJCAI 2015

A Logic for Reasoning about Justified Uncertain Beliefs