Towards the Use of Automated Reasoning in Discourse Disambiguation.
Claire GardentBonnie L. WebberPublished in: J. Log. Lang. Inf. (2001)
Keyphrases
- automated reasoning
- natural language
- knowledge representation
- reasoning systems
- probabilistic reasoning
- reasoning tasks
- decision procedures
- theorem proving
- word sense disambiguation
- theorem prover
- reference resolution
- knowledge representation and reasoning
- automated verification
- co occurrence
- cross language information retrieval
- natural language processing
- wordnet
- knowledge building
- prime implicants
- artificial intelligence
- np hard