Blockchain Structures and Smart Contracts in Semantic Programming - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

Blockchain Structures and Smart Contracts in Semantic Programming Доклады на конференциях

Язык

Английский

Тип доклада

Секционный

Конференция

Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ"
14-18 нояб. 2022 , Новосибирск

Авторы

Нечесов Андрей Витальевич ¹

Организации

1	Институт математики им. С.Л. Соболева СО РАН

This report focuses on the implementation of blockchain structures and smart contracts in a p-complete object-oriented logical programming language L* based on the theory of semantic programming. Issues of decentralization, consensus building and execution will also be presented. These implementations are especially important for the direction of explainable AI (or briefly XAI), as well as in the case of decentralized multi-agent systems.

Nechesov A.V.
Blockchain Structures and Smart Contracts in Semantic Programming
Международная конференция "МАЛЬЦЕВСКИЕ ЧТЕНИЯ" 14-18 Nov 2022