Knowledge representation and reasoning under uncertainty | lit.salon