Towards parallel nonmonotonic reasoning with billions of factsIlias TachmazidisGrigoris Antoniouet al.2012KR 2012
An axiomatic framework for influence diagram computation with partially ordered utilitiesNic WilsonRadu Marinescu2012KR 2012