Fetching the paper…
Reading the bibliography…
Logical reasoning consistently plays a fundamental and significant role in the domains of knowledge engineering and artificial intelligence.
J. R. Josephson and S. G. Josephson, Abductive inference: Computation, philosophy, technology . Cambridge University Press, 1996
1996
Earlier work this paper cites.
P. N. Johnson-Laird, “Deductive reasoning,” Annual review of psychology , vol. 50, no. 1, pp. 109–135, 1999
1999
Earlier work this paper cites.
P. A. Flach and A. C. Kakas, “Abductive and inductive reasoning: background and issues,” Abduction and induction: Essays on their relation and integration , pp. 1–27, 2000
2000
Earlier work this paper cites.
D. Walton, “Abductive, presumptive and plausible arguments,” Informal Logic , vol. 21, no. 2, 2001
2001
Earlier work this paper cites.
G. Antoniou and A. Bikakis, “Dr-prolog: A system for defeasible reasoning with rules and ontologies on the semantic web,” IEEE Transactions on Knowledge and Data Engineering (TKDE) , vol. 19, no. 2, pp. 233–245, 2007
2007
Earlier work this paper cites.
V. Goel, “Anatomy of deductive reasoning,” Trends in cognitive sciences , vol. 11, no. 10, pp. 435–441, 2007
2007
Earlier work this paper cites.
T. Lukasiewicz, “A novel combination of answer set programming with description logics for the semantic web,” IEEE Transactions on Knowledge and Data Engineering (TKDE) , vol. 22, no. 11, pp. 1577–1592, 2010
2010
Earlier work this paper cites.
E. Heit and C. M. Rotello, “Relations between inductive reasoning and deductive reasoning.” Journal of Experimental Psychology: Learning, Memory, and Cognition , vol. 36, no. 3, p. 805, 2010
2010
Earlier work this paper cites.
J. Weston, A. Bordes, S. Chopra, and T. Mikolov, “Towards ai-complete question answering: A set of prerequisite toy tasks,” in 4th International Conference on Learning Representations (ICLR) , 2016
2016
Earlier work this paper cites.
K. Sinha, S. Sodhani, J. Dong, J. Pineau, and W. L. Hamilton, “CLUTRR: A diagnostic benchmark for inductive reasoning from text,” in Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP) , 2019, pp. 4505–4514
2019
Earlier work this paper cites.
H. Bronkhorst, G. Roorda, C. Suhre, and M. Goedhart, “Logical reasoning in formal and everyday reasoning tasks,” International Journal of Science and Mathematics Education , vol. 18, pp. 1673–1694, 2020
2020
Earlier work this paper cites.
A. Talmor, O. Tafjord, P. Clark, Y. Goldberg, and J. Berant, “Leap-of-thought: Teaching pre-trained models to systematically reason over implicit knowledge,” in Advances in Neural Information Processing Systems (NeurIPS) , 2020
2020
Earlier work this paper cites.
W. Yu, Z. Jiang, Y. Dong, and J. Feng, “Reclor: A reading comprehension dataset requiring logical reasoning,” in 8th International Conference on Learning Representations (ICLR) , 2020
2020
Earlier work this paper cites.
J. Liu, L. Cui, H. Liu, D. Huang, Y. Wang, and Y. Zhang, “Logiqa: A challenge dataset for machine reading comprehension with logical reasoning,” in Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI) , 2020, pp. 3622–3628
2020
Earlier work this paper cites.
P. Clark, O. Tafjord, and K. Richardson, “Transformers as soft reasoners over language,” in Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI) , 2020, pp. 3882–3890
2020
Earlier work this paper cites.
C. Bhagavatula, R. L. Bras, C. Malaviya, K. Sakaguchi, A. Holtzman, H. Rashkin, D. Downey, W. Yih, and Y. Choi, “Abductive commonsense reasoning,” in 8th International Conference on Learning Representations (ICLR) , 2020
2020
Earlier work this paper cites.
P. Minervini, S. Riedel, P. Stenetorp, E. Grefenstette, and T. Rocktäschel, “Learning reasoning strategies in end-to-end differentiable proving,” in Proceedings of the 37th International Conference on Machine Learning (ICML) , ser. Proceedings of Machine Learning Research, vol. 119, 2020, pp. 6938–6949
2020
Earlier work this paper cites.
B. Dalvi, P. Jansen, O. Tafjord, Z. Xie, H. Smith, L. Pipatanangkura, and P. Clark, “Explaining answers with entailment trees,” in Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing (EMNLP) , 2021, pp. 7358–7370
2021
Earlier work this paper cites.
O. Tafjord, B. Dalvi, and P. Clark, “Proofwriter: Generating implications, proofs, and abductive statements over natural language,” in Findings of the Association for Computational Linguistics , 2021, pp. 3621–3634
2021
Earlier work this paper cites.
L. Wu, Y. Zhou, and D. Zhou, “Towards high-order complementary recommendation via logical reasoning network,” in IEEE International Conference on Data Mining (ICDM) , 2022, pp. 1227–1232
2022
Cited alongside, same era.
Q. Lin, J. Liu, F. Xu, Y. Pan, Y. Zhu, L. Zhang, and T. Zhao, “Incorporating context graph with logical reasoning for inductive relation prediction,” in The 45th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR) , 2022, pp. 893–903
2022
Cited alongside, same era.
F. Xu, J. Liu, Q. Lin, Y. Pan, and L. Zhang, “Logiformer: A two-branch graph transformer network for interpretable logical reasoning,” in The 45th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR) , 2022, pp. 1055–1065
2022
Cited alongside, same era.
F. Jiao, Y. Guo, X. Song, and L. Nie, “Merit: Meta-path guided contrastive learning for logical reasoning,” in Findings of the Association for Computational Linguistics (Findings of ACL) , 2022, pp. 3496–3509
2023
Closest in time.
2023
Closest in time.
2023
Closest in time.
M. M. Amin, E. Cambria, and B. W. Schuller, “Will affective computing emerge from foundation models and general artificial intelligence? A first evaluation of chatgpt,” IEEE Intelligent Systems , vol. 38, no. 2, pp. 15–23, 2023
2023
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2022
Cited alongside, same era.
L. Ouyang, J. Wu, X. Jiang, D. Almeida, C. L. Wainwright, P. Mishkin, C. Zhang, S. Agarwal, K. Slama, A. Ray, J. Schulman, J. Hilton, F. Kelton, L. Miller, M. Simens, A. Askell, P. Welinder, P. F. Christiano, J. Leike, and R. Lowe, “Training language models to follow instructions with human feedback,” in NeurIPS , 2022
2022
Cited alongside, same era.
L. Ouyang, J. Wu, X. Jiang, D. Almeida, C. Wainwright, P. Mishkin, C. Zhang, S. Agarwal, K. Slama, A. Ray et al. , “Training language models to follow instructions with human feedback,” Advances in Neural Information Processing Systems , vol. 35, pp. 27 730–27 744, 2022
2022
Cited alongside, same era.
Y. Pan, J. Liu, L. Zhang, T. Zhao, Q. Lin, X. Hu, and Q. Wang, “Inductive relation prediction with logical reasoning using contrastive representations,” in Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing (EMNLP) , 2022, pp. 4261–4274
2022
Cited alongside, same era.
Z. Huang, M. Chiang, and W. Lee, “Line: Logical query reasoning over hierarchical knowledge graphs,” in 28th SIGKDD Conference on Knowledge Discovery and Data Mining , 2022, pp. 615–625
2022
Cited alongside, same era.
K. Cheng, J. Liu, W. Wang, and Y. Sun, “Rlogic: Recursive logical rule learning from knowledge graphs,” in 28th SIGKDD Conference on Knowledge Discovery and Data Mining , 2022, pp. 179–189
2022
Cited alongside, same era.
2022
Cited alongside, same era.
N. Young, Q. Bao, J. Bensemann, and M. Witbrock, “Abductionrules: Training transformers to explain unexpected inputs,” in Findings of the Association for Computational Linguistics , 2022, pp. 218–227
2022
Cited alongside, same era.
2022
Cited alongside, same era.
2023
Closest in time.
2023
Closest in time.
2023
Closest in time.
2023
Closest in time.
2023
Closest in time.
2023
Closest in time.
2023
Closest in time.
2023
Closest in time.
2023
Closest in time.
2023
Closest in time.
L. Gao, A. Madaan, S. Zhou, U. Alon, P. Liu, Y. Yang, J. Callan, and G. Neubig, “Pal: Program-aided language models,” in International Conference on Machine Learning . PMLR, 2023, pp. 10 764–10 799
2023
Closest in time.
L. Pan, A. Albalak, X. Wang, and W. Wang, “Logic-lm: Empowering large language models with symbolic solvers for faithful logical reasoning,” in Findings of the Association for Computational Linguistics: EMNLP 2023 , 2023, pp. 3806–3824
2023
Closest in time.
Z. Ji, N. Lee, R. Frieske, T. Yu, D. Su, Y. Xu, E. Ishii, Y. Bang, A. Madotto, and P. Fung, “Survey of hallucination in natural language generation,” ACM Computing Surveys , vol. 55, no. 12, pp. 248:1–248:38, 2023
2023
Closest in time.
F. Xu, Q. Lin, T. Zhao, J. JiaweiHan, and J. Liu, “PathReasoner: Modeling reasoning path with equivalent extension for logical question answering,” in Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) . Bangkok, Thailand: Association for Computational Linguistics, Aug. 2024, pp. 13 413–13 429. [Online]. Available: https://aclanthology.org/2024.acl-long.724
2024
Closest in time.
F. Xu, Z. Wu, Q. Sun, S. Ren, F. Yuan, S. Yuan, Q. Lin, Y. Qiao, and J. Liu, “Symbol-LLM: Towards foundational symbol-centric interface for large language models,” in Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) . Bangkok, Thailand: Association for Computational Linguistics, Aug. 2024, pp. 13 091–13 116. [Online]. Available: https://aclanthology.org/2024.acl-long.707
2024
Closest in time.