05.13.01 (System analysis, the control and processing of information (separated by fields))
Birth date:
15.05.1955
E-mail:
Keywords:
logic, automated theorem prooving, program synthesis, neocognitron.
UDC:
004.89, 004.89
Subject:
Logic programming, KBS, Neuro-nets.
Main publications:
Organizatsiya i ispolzovanie neironnykh setei. Tomsk: Izd-vo NTL, 2006. 128 c.
Teoriya strukturnykh funktsionalnykh modelei. Sib. mat. zhurn. 2006. T. 47, # 6. S. 1342–1354.
Sintez parallelnykh rekursivnykh programm v strukturnykh funktsionalnykh modelyakh. Programmirovanie. 2007. # 5. C. 1–6.
Obolochka ekspertnoi sistemy na osnove nechetkikh rassuzhdenii s pryamym i obratnym vyvodom. Matematicheskoe modelirovanie. T. 14 (2002), # 9. S. 48–52.