Invia SMS: Reasoning Under Incomplete Information in Artificial Intelligence