A possible worlds semantics for trustworthy non-deterministic computations.

Ekaterina Kubyshkina Giuseppe Primiero

Published in: Int. J. Approx. Reason. (2024)

Keyphrases

modal logic
efficient computation
neural network
black box
probabilistic databases
image processing
multiscale
expert systems
default reasoning
trust management
randomized algorithms
relaxation algorithm