Roussanka Loukanova. Algorithmic Dependent-Type Theory of Situated Information and Context Assessments. In Sigeru Omatu 0001, Rashid Mehmood, Pawel Sitek, Serafino Cicerone, Sara RodrÃguez, editors, Distributed Computing and Artificial Intelligence, 19th International Conference, DCAI 2022, L'Aquila, Italy, 13-15 July 2022. Volume 583 of Lecture Notes in Networks and Systems, pages 31-41, Springer, 2022. [doi]
Abstract is missing.