Evidence algorithm and SAD systems: Past and possible future
The paper is devoted to the Evidence Algorithm programme on automated reasoning initiated by Academician Glushkov in 1970 and found its expression in the form of the Russian-language and English-language SAD systems intended for automated deduction. Some of their characteristic peculiarities and fea...
Saved in:
| Published in: | Кібернетика та системний аналіз |
|---|---|
| Date: | 2021 |
| Main Author: | |
| Format: | Article |
| Language: | English |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2021
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/190581 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Evidence algorithm and SAD systems: Past and possible future / A.V. Lyaletski // Кібернетика та системний аналіз. — 2021. — Т. 57, № 1. — С. 12–20. — Бібліогр.: 12 назв. — рос. |