A Logic Prover Approach to Predicting Textual Similarity.
Eduardo BlancoDan I. MoldovanPublished in: FLAIRS Conference (2013)
Keyphrases
- similarity measure
- automated theorem proving
- theorem proving
- natural language
- distance measure
- classical logic
- proof search
- logic programming
- multimedia
- asynchronous circuits
- epistemic logic
- predicate logic
- logical framework
- similarity scores
- multi valued
- similarity measurement
- free text
- modal logic
- keywords
- metadata
- theorem prover
- edit distance
- user defined
- feature vectors