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

Blockchain Structures and Smart Contracts in Semantic Programming Тезисы доклада

Конференция

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

Сборник

Тезисы докладов международной конференции "Мальцевские чтения"
Сборник, 2022. 215 c.

Вых. Данные

Год: 2022, Страницы: 208-208 Страниц : 1

Ключевые слова

блокчейн, умные контракты, семантическое программирование, blockchain, smart contracts, semantic programming

Авторы

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

Организации

1	Sobolev Institute of Mathematics

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
В сборнике Тезисы докладов международной конференции "Мальцевские чтения". 2022. – C.208-208.

Нет идентификаторов