Αποστολή με SMS: Reasoning under incomplete information in artificial intelligence :