A norms and conventions validator for Terraform

Our scientific ethos, our scientific community at the Institute of Philosophy at the University of Stuttgart

Dingemanse, Mark & Thompson, Bill (2020) Playful iconicity: Structural markedness underlies the relation between funniness and iconicity. Language and Cognition, 12(1), 203-224. doi:10.1017/langcog.2019.49

An open and participatory framework to re-define how organizations assess their alignment with Decentralized Autonomous Organizations (DAOs).

A browser-based automated reasoner for Input/Output Logics

Some algorithms which uses neural networks to solve i.e., forwardpropagation , etc.,

Binary/Multi classification exercise using Orthogonal Projections of the MNIST dataset obtained through SVD. The choice of the training set is made in an unbalanced way.

Identification of strategies under coordination game and social networks

Draft work on plan monitoring

A Partial Deontic Logic

Decision making in multi-agent systems when agents have multiple choices and are connected with other agents according to a specific social network.

Norms evolution in multi-agent framework

Evolution in multi-agent framework with social networks

Веб-приложение и набор утилит, которые обрабатывают данные World Ocean Database и ICES для обновления референсных значений океанографических характеристик (норм и аномалий) на разрезе "Кольский Меридиан" и построения отчетных изображений для лаб. ОиР ММБИ РАН.

Normal-form game simulations and norms

legal sustainability requirements forecast