Zaslat SMS: Uncertainty treatment using paraconsistent logic