Latest YouTube Video

Thursday, May 14, 2015

On the Complexity of Finding Second-Best Abductive Explanations. (arXiv:1204.5859v3 [cs.LO] UPDATED)

While looking for abductive explanations of a given set of manifestations, an ordering between possible solutions is often assumed. The complexity of finding/verifying optimal solutions is already known. In this paper we consider the computational complexity of finding second-best solutions. We consider different orderings, and consider also different possible definitions of what a second-best solution is.



from cs.AI updates on arXiv.org http://ift.tt/JKaiMv
via IFTTT

No comments: