How Reasonable are Common-Sense Reasoning Tasks: A Case-Study on the Winograd Schema Challenge and SWAG.
Paul TrichelairAli EmamiAdam TrischlerKaheer SulemanJackie Chi Kit CheungPublished in: EMNLP/IJCNLP (1) (2019)
Keyphrases
- reasoning tasks
- description logics
- logic programming
- automated reasoning
- answer set programming
- temporal reasoning
- event calculus
- abductive reasoning
- situation calculus
- bucket elimination
- databases
- data model
- fuzzy description logics
- reasoning problems
- database
- logic programs
- general purpose
- parallel processing
- probabilistic model
- knowledge base
- quantified boolean formulas