Blar i Department of Information Science and Media Studies på forfatter "Pedersen, Mina Young"
-
Detecting bots with temporal logic
Pedersen, Mina Young; Slavkovik, Marija; Smets, Sonja (Journal article; Peer reviewed, 2023)Social bots are computer programs that act like human users on social media platforms. Social bot detection is a rapidly growing field dominated by machine learning approaches. In this paper, we propose a complementary ... -
A Modal Logic for Supervised Learning
Baltag, Alexandru; Li, Dazhu; Pedersen, Mina Young (Journal article; Peer reviewed, 2022)Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. In this work, we develop a general framework—the ... -
Modal Logics and Group Polarization
Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas (Journal article; Peer reviewed, 2021)This paper proposes different ways of modally defining properties related to the concept of balance in signed social networks where relations can be either positive or negative. The motivation is to be able to formally ...