Text this: Reasoning under incomplete information in artificial intelligence : a comparison of formalisms using a single example / Léa Sombé.