DOI10.26117/2079-6641-2022-40-3-199-210OpenAlexW4311625622MaRDI QIDQ5884708
L. A. Lyutikova
Publication date: 24 March 2023 Published in: Вестник КРАУНЦ. Физико-математические науки (Search for Journal in Brave) Full work available at URL: http://mathnet.ru/eng/vkam564
zbMATH Keywords
classpredicate logicdecision functionpredicatesubject areaintellectual system
Mathematics Subject Classification ID
Logic in artificial intelligence (68T27)
Cites Work