AIXI with general utility functions: "Value under ignorance in UAI"
Recasts AIXI's semimeasures as credal sets to define general utility functions, recovering standard value functions and obtaining a wider class with max-min optimal agents, motivated by safety but largely theoretical.