Fetching the paper…
Reading the bibliography…
A recent work has shown that transformers are able to "reason" with facts and rules in a limited setting where the rules are natural language expressions of conjunctions of conditions implying a conclusion.
Comet: Commonsense transformers for automatic knowledge graph construction
Bosselut, A.; Rashkin, H.; Sap, M.; Malaviya, C.; Celikyilmaz, A.; and Choi, Y. 2019 · 1906
Earlier work this paper cites.
Learning deep transformer models for machine translation
Wang, Q.; Li, B.; Xiao, T.; Zhu, J.; Li, C.; Wong, D. F.; and Chao, L. S. 2019 · 1906
Earlier work this paper cites.
Roberta: A robustly optimized bert pretraining approach
Liu, Y.; Ott, M.; Goyal, N.; Du, J.; Joshi, M.; Chen, D.; Levy, O.; Lewis, M.; Zettlemoyer, L.; and Stoyanov, V. 2019 · 1907
Earlier work this paper cites.
He, H.; and Choi, J. D. 2019 · 1908
Earlier work this paper cites.
Programs with common sense
McCarthy, J. 1959 · 1959
Earlier work this paper cites.
Situations, actions, and causal laws
McCarthy, J. 1963 · 1963
Earlier work this paper cites.
Some philosophical problems from the standpoint of artificial intelligence
McCarthy, J.; and Hayes, P. J. 1969 · 1969
Earlier work this paper cites.
On the semantics of STRIPS
Lifschitz, V. 1987 · 1986
Earlier work this paper cites.
The stable model semantics for logic programming
Gelfond, M.; and Lifschitz, V. 1988 · 1988
Earlier work this paper cites.
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
Reiter, R. 1991 · 1991
Earlier work this paper cites.
Representing action and change by logic programs
Gelfond, M.; and Lifschitz, V. 1993 · 1993
Earlier work this paper cites.
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Shanahan, M.; et al. 1997 · 1997
Cited alongside, same era.
Action Languages
Gelfond, M.; and Lifschitz, V. 1998 · 1998
Cited alongside, same era.
Formulating diagnostic problem solving using an action language with narratives and sensing
Baral, C.; McIlraith, S.; and Son, T. C. 2000 · 2000
Cited alongside, same era.
Knowledge in action: logical foundations for specifying and implementing dynamical systems
Reiter, R. 2001 · 2001
Cited alongside, same era.
Transformers as soft reasoners over language
Clark, P.; Tafjord, O.; and Richardson, K. 2020b · 2002
Cited alongside, same era.
In Defense of PDDL Axioms
Thiebaux, S.; Hoffmann, J.; and Nebel, B. 2003 · 2003
Vqa: Visual question answering
Antol, S.; Agrawal, A.; Lu, J.; Mitchell, M.; Batra, D.; Lawrence Zitnick, C.; and Parikh, D. 2015 · 2015
Later among the works it cites.
Addressing a Question Answering Challenge by Combining Statistical Methods with Inductive Rule Learning and Reasoning
Mitra, A.; and Baral, C. 2016 · 2016
Later among the works it cites.
Towards ai-complete question answering: A set of prerequisite toy tasks
Weston, J.; Bordes, A.; Chopra, S.; Rush, A. M.; van Merriënboer, B.; Joulin, A.; and Mikolov, T. 2016 · 2016
Later among the works it cites.
RACE: Large-scale ReAding Comprehension Dataset From Examinations
Lai, G.; Xie, Q.; Liu, H.; Yang, Y.; and Hovy, E. 2017 · 2017
Later among the works it cites.
Tracking state changes in procedural text: a challenge dataset and models for process paragraph comprehension
Mishra, B. D.; Huang, L.; Tandon, N.; Yih, W.-t.; and Clark, P. 2018 · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Longformer: The long-document transformer
Beltagy, I.; Peters, M. E.; and Cohan, A. 2020 · 2004
Cited alongside, same era.
Automated planning: theory and practice
Ghallab, M.; Nau, D.; and Traverso, P. 2004 · 2004
Cited alongside, same era.
Conformant Planning for Domains with Constraints — A New Approach
Son, T. C.; Tu, P. H.; Gelfond, M.; and Morales, R. 2005 · 2005
Cited alongside, same era.
clasp: A Conflict-Driven Answer Set Solver
Gebser, M.; Kaufmann, B.; Neumann, A.; and Schaub, T. 2007 · 2007
Cited alongside, same era.
Commonsense reasoning: an event calculus based approach
Mueller, E. T. 2014 · 2014
Cited alongside, same era.
Transformers as soft reasoners over language
Clark, P.; Tafjord, O.; and Richardson, K. 2020a
Cited in the paper.
Analysing Mathematical Reasoning Abilities of Neural Models
Saxton, D.; Grefenstette, E.; Hill, F.; and Kohli, P. 2018 · 2018
Later among the works it cites.
Deep Learning For Symbolic Mathematics
Lample, G.; and Charton, F. 2019 · 2019
Later among the works it cites.
Atomic: An atlas of machine commonsense for if-then reasoning
Sap, M.; Le Bras, R.; Allaway, E.; Bhagavatula, C.; Lourie, N.; Rashkin, H.; Roof, B.; Smith, N. A.; and Choi, Y. 2019 · 2019
Later among the works it cites.
Quartz: An open-domain dataset of qualitative relationship questions
Tafjord, O.; Gardner, M.; Lin, K.; and Clark, P. 2019 · 2019
Later among the works it cites.
Probing Natural Language Inference Models through Semantic Fragments
Richardson, K.; Hu, H.; Moss, L. S.; and Sabharwal, A. 2020 · 2020
Closest in time.