AI & Society, states that algorithmic systems often construct competing but equally valid “model-worlds,” offering empirical support for a philosophical claim that evidence alone cannot uniquely ...
Abstract: One example of a significant food industry in Indonesia is the tofu industry. Tofu is very popular and has high nutritional value. However, the emergence of serious issues related to the use ...
Abstract: This paper presents a novel framework for inferring timed temporal logic properties from data. The dataset comprises pairs of finite-time system traces and corresponding labels, denoting ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results