Probing the Natural Language Inference Task with Automated Reasoning Tools.
Zaid MarjiAnimesh NighojkarJohn LicatoPublished in: CoRR (2020)
Keyphrases
- abductive reasoning
- automated reasoning
- reasoning tasks
- knowledge representation
- prime implicants
- natural language
- reasoning systems
- theorem prover
- theorem proving
- probabilistic reasoning
- decision procedures
- knowledge representation and reasoning
- automated verification
- natural language processing
- artificial intelligence
- machine learning
- stereo matching
- constraint satisfaction
- fuzzy sets
- knowledge base
- data mining