An implementation of inference in temporal branching time models-Reference-Cited by-同舟云学术

An implementation of inference in temporal branching time models

Published:2017-01 Issue:1 Volume:56 Page:105-124
ISSN:1064-2307
Container-title:Journal of Computer and Systems Sciences International
language:en
Short-container-title:J. Comput. Syst. Sci. Int.

Author:

Eremeev A. P.,Kurilenko I. E.

Publisher

Pleiades Publishing Ltd

Subject

Applied Mathematics,Computer Networks and Communications,Computer Vision and Pattern Recognition,Information Systems,Theoretical Computer Science,Control and Systems Engineering,Software

Link

http://link.springer.com/content/pdf/10.1134/S1064230716060046.pdf

Reference24 articles.

1. E. Yu. Kandrashina, L. V. Litvintseva, and D. A. Pospelov, Representation of Knowledge about Time and Space in Intelligent Systems, Ed. by D. A. Pospelov (Nauka, Moscow, 1989) [in Russian].

2. V. N. Vagin and A. P. Eremeev, “Some basic principles of design of intelligent systems for supporting real-time decision making,” J. Comput. Syst. Sci. Int. 40, 953 (2001).

3. Yu. G. Karpov, Model Checking. Verification of Parallel and Distributed Program Systems (BKhV-Peterburg, St. Petersburg, 2010) [in Russian].

4. D. A. Pospelov, Logic-Lingvistic Models in Control Systems (Energoizdat, Moscow, 1981) [in Russian].

5. J. M. McCarthy and P. J. Hayes, “Some philosophical problems from the standpoint of artificial intelligence,” in Readings in Artificial Intelligence (Tioga, Palo Alto, 1981), pp. 431–450.

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

1. Ternary Logics in Decision Making;Lecture Notes in Networks and Systems;2021

2. Decision Making and Control of a Cognitive Agent’s Knowledge Process Under Time Constraints;Communications in Computer and Information Science;2020