Evidence Algorithm and Inference Search in First-Order Logics-Reference-Cited by-同舟云学术

Evidence Algorithm and Inference Search in First-Order Logics

Published:2015-09-10 Issue:3 Volume:55 Page:269-284
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:J Autom Reasoning

Author:

Lyaletski Alexander

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

http://link.springer.com/content/pdf/10.1007/s10817-015-9346-0.pdf

Reference43 articles.

1. Glushkov, V.M.: Some problems in the theories of automata and artificial intelligence. Cybern. Syst. Anal. 6(2), 17–27 (1970)

2. Lyaletski, A., Morokhovets, M., Paskevich, A.: Kyiv school of automated theorem proving: a historical chronicle. In: Logic in Central and Eastern Europe: History, Science, and Discourse, pp. 431–439. University Press of America, New York (2012)

3. Glushkov, V.M.: “Intelligent” machines and the mental activity of a human. Sov. School 2, 87–91 (1962). (in Russian)

4. Matulis, V.A.: The first All-union symposium on the problem of machine searching the logical deduction. UMN 19(6), 239–241 (1964). (in Russian)

5. Anufriyev, F.V.: An algorithm of search of theorem proofs in logical calculi. In: Theory of Automata, pp. 3–26. GIC AS UkrSSR, Kiev (1969). (in Russian)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Evidence Algorithm and Sad Systems: Past and Possible Future;Cybernetics and Systems Analysis;2021-01

2. Logical analysis of emotions in text from natural language;Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki;2019-03