Fetching the paper…
Reading the bibliography…
Logical reasoning is central to human cognition and intelligence.
METGEN: A module-based entailment tree generation framework for answer explanation
Ruixin Hong, Hongming Zhang, Xintong Yu, and Changshui Zhang. 2022 · 1905
Earlier work this paper cites.
Roberta: A robustly optimized BERT pretraining approach
Yinhan Liu, Myle Ott, Naman Goyal, Jingfei Du, Mandar Joshi, Danqi Chen, Omer Levy, Mike Lewis, Luke Zettlemoyer, and Veselin Stoyanov. 2019 · 1907
Earlier work this paper cites.
Arindam Mitra, Pratyay Banerjee, Kuntal Kumar Pal, Swaroop Mishra, and Chitta Baral. 2019 · 1909
Earlier work this paper cites.
On the measure of intelligence
François Chollet. 2019 · 1911
Earlier work this paper cites.
L2r 2 : Leveraging ranking for abductive reasoning
Yunchang Zhu, Liang Pang, Yanyan Lan, and Xueqi Cheng. 2020 · 1964
Earlier work this paper cites.
Linguistics and natural logic
George Lakoff. 1970 · 1970
Earlier work this paper cites.
Collected papers of charles sanders peirce , volume 5
Charles Sanders Peirce. 1974 · 1974
Earlier work this paper cites.
Of brittleness and bottlenecks: Challenges in the creation of pattern-recognition and expert-system models
Mark A Musen and Johan Van der Lei. 1988 · 1988
Earlier work this paper cites.
Introduction to logic and critical thinking
Merrilee H Salmon. 1989 · 1989
Earlier work this paper cites.
An example for natural language understanding and the ai problems it raises
John McCarthy. 1990 · 1990
Earlier work this paper cites.
Approaches to abductive reasoning: an overview
Gabriele Paul. 1993 · 1993
Earlier work this paper cites.
Case-based reasoning:foundational issues,methodological variations,and system approaches
A. Aamodt and E. Plaza. 1994 · 1994
Earlier work this paper cites.
Inductive logic programming: Theory and methods
Stephen H. Muggleton and Luc De Raedt. 1994 · 1994
Earlier work this paper cites.
Educational implications of analogy: A view from case-based reasoning
Janet L Kolodner. 1997 · 1997
Earlier work this paper cites.
On the relations between abductive and inductive explanation
Luca Console and Lorenza Saitta. 2000 · 2000
Earlier work this paper cites.
Abductive and inductive reasoning: background and issues
Peter A Flach and Antonis C Kakas. 2000 · 2000
Earlier work this paper cites.
Expert systems in production planning and scheduling: A state-of-the-art survey
Kostas S. Metaxiotis, Dimitris Askounis, and John E. Psarras. 2002 · 2002
Earlier work this paper cites.
The pascal recognising textual entailment challenge
Ido Dagan, Oren Glickman, and Bernardo Magnini. 2005 · 2005
Earlier work this paper cites.
Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference , volume 2
Ben Goertzel, Nil Geisweiller, Lucio Coelho, Predrag Janičić, and Cassio Pennachin. 2011 · 2011
Earlier work this paper cites.
ILP turns 20 - biography and future challenges
Stephen H. Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter A. Flach, Katsumi Inoue, and Ashwin Srinivasan. 2012 · 2012
Earlier work this paper cites.
Distributed representations of words and phrases and their compositionality
Tomás Mikolov, Ilya Sutskever, Kai Chen, Gregory S. Corrado, and Jeffrey Dean. 2013 · 2013
Earlier work this paper cites.
Natural logic and natural language inference
Bill MacCartney and Christopher D Manning. 2014 · 2014
Earlier work this paper cites.
A large annotated corpus for learning natural language inference
Samuel R. Bowman, Gabor Angeli, Christopher Potts, and Christopher D. Manning. 2015 · 2015
Earlier work this paper cites.
Parsing algebraic word problems into equations
Rik Koncel-Kedziorski, Hannaneh Hajishirzi, Ashish Sabharwal, Oren Etzioni, and Siena Dumas Ang. 2015 · 2015
Earlier work this paper cites.
Solving geometry problems: Combining text and diagram interpretation
Min Joon Seo, Hannaneh Hajishirzi, Ali Farhadi, Oren Etzioni, and Clint Malcolm. 2015 · 2015
Earlier work this paper cites.
The reasoning brain: The interplay between cognitive neuroscience and theories of reasoning
Vinod Goel, Gorka Navarrete, Ira A Noveck, and Jérôme Prado. 2017 · 2017
Earlier work this paper cites.
Reasoning about uncertainty
Joseph Y Halpern. 2017 · 2017
Earlier work this paper cites.
Conceptnet 5.5: An open multilingual graph of general knowledge
Robyn Speer, Joshua Chin, and Catherine Havasi. 2017 · 2017
Earlier work this paper cites.
Attention is all you need
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin. 2017 · 2017
Earlier work this paper cites.
Information extraction
Heng Ji. 2018 · 2018
Earlier work this paper cites.
Hotpotqa: A dataset for diverse, explainable multi-hop question answering
Zhilin Yang, Peng Qi, Saizheng Zhang, Yoshua Bengio, William W. Cohen, Ruslan Salakhutdinov, and Christopher D. Manning. 2018 · 2018
Cited alongside, same era.
COMET: commonsense transformers for automatic knowledge graph construction
Antoine Bosselut, Hannah Rashkin, Maarten Sap, Chaitanya Malaviya, Asli Celikyilmaz, and Yejin Choi. 2019 · 2019
Cited alongside, same era.
Commonsense knowledge mining from pretrained models
Joe Davison, Joshua Feldman, and Alexander M. Rush. 2019 · 2019
Cited alongside, same era.
Multi-hop reading comprehension through question decomposition and rescoring
Sewon Min, Victor Zhong, Luke Zettlemoyer, and Hannaneh Hajishirzi. 2019 · 2019
Cited alongside, same era.
CLUTRR: A diagnostic benchmark for inductive reasoning from text
Koustuv Sinha, Shagun Sodhani, Jin Dong, Joelle Pineau, and William L. Hamilton. 2019 · 2019
Cited alongside, same era.
Inductive logic programming at 30
Andrew Cropper, Sebastijan Dumancic, Richard Evans, and Stephen H. Muggleton. 2022 · 2022
Later among the works it cites.
Towards teachable reasoning systems
Bhavana Dalvi, Oyvind Tafjord, and Peter Clark. 2022 · 2022
Later among the works it cites.
Knowledge base question answering by case-based reasoning over subgraphs
Rajarshi Das, Ameya Godbole, Ankita Naik, Elliot Tower, Manzil Zaheer, Hannaneh Hajishirzi, Robin Jia, and Andrew McCallum. 2022 · 2022
Later among the works it cites.
Logically consistent adversarial attacks for soft theorem provers
Alexander Gaskell, Yishu Miao, Francesca Toni, and Lucia Specia. 2022 · 2022
Later among the works it cites.
FOLIO: natural language reasoning with first-order logic
Simeng Han, Hailey Schoelkopf, Yilun Zhao, Zhenting Qi, Martin Riddell, Luke Benson, Lucy Sun, Ekaterina Zubova, Yujie Qiao, Matthew Burtell, David Peng, Jonathan Fan, Yixin Liu, Brian Wong, Malcolm Sailor, Ansong Ni, Linyong Nan, Jungo Kasai, Tao Yu, Rui Zhang, Shafiq R. Joty, Alexander R. Fabbri, Wojciech Kryscinski, Xi Victoria Lin, Caiming Xiong, and Dragomir Radev. 2022 · 2022
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Chandra Bhagavatula, Ronan Le Bras, Chaitanya Malaviya, Keisuke Sakaguchi, Ari Holtzman, Hannah Rashkin, Doug Downey, Wen-tau Yih, and Yejin Choi. 2020 · 2020
Cited alongside, same era.
PIQA: reasoning about physical commonsense in natural language
Yonatan Bisk, Rowan Zellers, Ronan Le Bras, Jianfeng Gao, and Yejin Choi. 2020 · 2020
Cited alongside, same era.
Transformers as soft reasoners over language
Peter Clark, Oyvind Tafjord, and Kyle Richardson. 2020 · 2020
Cited alongside, same era.
Measuring systematic generalization in neural proof generation with transformers
Nicolas Gontier, Koustuv Sinha, Siva Reddy, and Christopher Pal. 2020 · 2020
Cited alongside, same era.
Language generation with multi-hop reasoning on commonsense knowledge graph
Haozhe Ji, Pei Ke, Shaohan Huang, Furu Wei, Xiaoyan Zhu, and Minlie Huang. 2020 · 2020
Cited alongside, same era.
Hover: A dataset for many-hop fact extraction and claim verification
Yichen Jiang, Shikha Bordia, Zheng Zhong, Charles Dognin, Maneesh Kumar Singh, and Mohit Bansal. 2020 · 2020
Cited alongside, same era.
Social commonsense reasoning with multi-head knowledge attention
Debjit Paul and Anette Frank. 2020 · 2020
Cited alongside, same era.
Later among the works it cites.
Towards reasoning in large language models: A survey
Jie Huang and Kevin Chen-Chuan Chang. 2022 · 2022
Later among the works it cites.
Embarrassingly simple performance prediction for abductive natural language inference
Emils Kadikis, Vaibhav Srivastav, and Roman Klinger. 2022 · 2022
Later among the works it cites.
The third ai summer: Aaai robert s. engelmore memorial lecture
Henry Kautz. 2022 · 2022
Later among the works it cites.
A property induction framework for neural language models
Kanishka Misra, Julia Taylor Rayz, and Allyson Ettinger. 2022 · 2022
Later among the works it cites.
Reasoning with language model prompting: A survey
Shuofei Qiao, Yixin Ou, Ningyu Zhang, Xiang Chen, Yunzhi Yao, Shumin Deng, Chuanqi Tan, Fei Huang, and Huajun Chen. 2022 · 2022
Later among the works it cites.
Interpretable proof generation via iterative backward reasoning
Hanhao Qu, Yu Cao, Jun Gao, Liang Ding, and Ruifeng Xu. 2022 · 2022
Later among the works it cites.
Entailment tree explanations via iterative retrieval-generation reasoner
Danilo Neves Ribeiro, Shen Wang, Xiaofei Ma, Rui Dong, Xiaokai Wei, Henghui Zhu, Xinchi Chen, Peng Xu, Zhiheng Huang, Andrew O. Arnold, and Dan Roth. 2022 · 2022
Later among the works it cites.
Pushing the limits of rule reasoning in transformers through natural language satisfiability
Kyle Richardson and Ashish Sabharwal. 2022 · 2022
Later among the works it cites.
Fairr: Faithful and robust deductive reasoning over natural language
Soumya Sanyal, Harman Singh, and Xiang Ren. 2022b · 2022
Later among the works it cites.
Natural language deduction with incomplete information
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, and Greg Durrett. 2022 · 2022
Later among the works it cites.
Entailer: Answering questions with faithful and truthful chains of reasoning
Oyvind Tafjord, Bhavana Dalvi Mishra, and Peter Clark. 2022 · 2022
Later among the works it cites.
Towards data-and knowledge-driven artificial intelligence: A survey on neuro-symbolic computing
Wenguan Wang and Yi Yang. 2022 · 2022
Later among the works it cites.
Deep inductive logic reasoning for multi-hop reading comprehension
Wenya Wang and Sinno Jialin Pan. 2022 · 2022
Later among the works it cites.
Chain of thought prompting elicits reasoning in large language models
Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Ed H. Chi, Quoc Le, and Denny Zhou. 2022 · 2022
Later among the works it cites.
Abductionrules: Training transformers to explain unexpected inputs
Nathan Young, Qiming Bao, Joshua Bensemann, and Michael Witbrock. 2022 · 2022
Later among the works it cites.
A survey on XAI and natural language explanations
Erik Cambria, Lorenzo Malandri, Fabio Mercorio, Mario Mezzanzanica, and Navid Nobani. 2023 · 2023
Closest in time.
Self-consistent narrative prompts on abductive natural language inference
Chunkit Chan, Xin Liu, Tsz Ho Chan, Jiayang Cheng, Yangqiu Song, Ginny Wong, and Simon See. 2023 · 2023
Closest in time.
Linlu Qiu and Liwei Jiang. 2023 · 2023
Closest in time.
Machine reading comprehension using case-based reasoning
Dung Thai, Dhruv Agarwal, Mudit Chaudhary, Rajarshi Das, Manzil Zaheer, Jay-Yoon Lee, Hannaneh Hajishirzi, and Andrew McCallum. 2023 · 2023
Closest in time.
Fangzhi Xu, Qika Lin, Jiawei Han, Tianzhe Zhao, Jun Liu, and Erik Cambria. 2023 · 2023
Closest in time.
Nature language reasoning, a survey
Fei Yu, Hongbo Zhang, and Benyou Wang. 2023 · 2023
Closest in time.
Abductive commonsense reasoning exploiting mutually exclusive explanations
Wenting Zhao, Justin T Chiu, Claire Cardie, and Alexander M Rush. 2023 · 2023
Closest in time.
Goal driven discovery of distributional differences via language descriptions
Ruiqi Zhong, Peter Zhang, Steve Li, Jinwoo Ahn, Dan Klein, and Jacob Steinhardt. 2023 · 2023
Closest in time.
Large language models can learn rules
Zhaocheng Zhu, Yuan Xue, Xinyun Chen, Denny Zhou, Jian Tang, Dale Schuurmans, and Hanjun Dai. 2023 · 2023
Closest in time.
Logical Reasoning and Learning , pages 2066–2069. Springer US, Boston, MA
Terezinha Nunes. 2012 · 2069
Closest in time.