Author:
Wos L.,Pereira Fernando,Hong Robert,Boyer RobertS.,Moore JStrother,Bledsoe W.W.,Henschen L.J.,Buchanan BruceG.,Wrightson Graham,Green Cordell
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning;2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE);2023-11-17
2. Opportunities and Challenges of AI-Driven Customer Service;Artificial Intelligence in Customer Service;2023
3. Beishui Liao, Thomas Ågotnes, Yi N. Wang, (eds.), Dynamics, Uncertainty and Reasoning, vol. 4 of Logic in Asia: Studia Logica Library, Springer, Singapore, 2019, pp. 207+xii; ISBN: 978-981-13-7793-8 (Softcover) 117,69 €, ISBN: 978-981-13-7790-7 (Hardcover) 160,49 €, ISBN: 978-981-13-7791-4 (eBook) 93,08 €.;Studia Logica;2022-06-06
4. Larry Wos: Visions of Automated Reasoning;Journal of Automated Reasoning;2022-02-28
5. Limited reasoning in first-order knowledge bases;Artificial Intelligence;1994-12