> As far as I know there is little or no work done yet to integrate > probabilistic > reasoning with these solvers and it will probably not be easy to do it and > keep things efficient.
I don't think it will be easy, but what's intriguing is that it seems like it might be feasible-though-difficult ... -- Ben ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=8660244&id_secret=88136383-b552d3