Matches in SemOpenAlex for { <https://semopenalex.org/work/W3203969056> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3203969056 endingPage "173" @default.
- W3203969056 startingPage "158" @default.
- W3203969056 abstract "Software-controlled bots, also called social bots, are computer programs that act like human users on social media platforms. Recent work on detection of social bots is dominated by machine learning approaches. In this paper we explore bot detection as a model checking problem. We introduce Temporal Network Logic (TNL) which we use to specify social networks where agents can post and follow each other. In this logic we formalize different types of social bot behavior. These are formulas that are satisfied in a model of a network with bots. We provide a simple algorithm to extract a logical model from a real-life social network. We show that we can reduce TNL to a fragment of linear temporal logic with past and use this to establish the computational efficiency of model checking for social bot detection." @default.
- W3203969056 created "2021-10-11" @default.
- W3203969056 creator A5017244555 @default.
- W3203969056 creator A5031805291 @default.
- W3203969056 creator A5063318978 @default.
- W3203969056 date "2021-01-01" @default.
- W3203969056 modified "2023-10-01" @default.
- W3203969056 title "Social Bot Detection as a Temporal Logic Model Checking Problem" @default.
- W3203969056 cites W1489391022 @default.
- W3203969056 cites W1549122259 @default.
- W3203969056 cites W176212337 @default.
- W3203969056 cites W1864649459 @default.
- W3203969056 cites W1992762998 @default.
- W3203969056 cites W2003227046 @default.
- W3203969056 cites W2039352370 @default.
- W3203969056 cites W2072242339 @default.
- W3203969056 cites W2072715695 @default.
- W3203969056 cites W2082891496 @default.
- W3203969056 cites W2104074474 @default.
- W3203969056 cites W2115309705 @default.
- W3203969056 cites W2168652246 @default.
- W3203969056 cites W2528313258 @default.
- W3203969056 cites W2749553238 @default.
- W3203969056 cites W2751728516 @default.
- W3203969056 cites W2769056027 @default.
- W3203969056 cites W2785455199 @default.
- W3203969056 cites W2787296320 @default.
- W3203969056 cites W2790166049 @default.
- W3203969056 cites W2808475121 @default.
- W3203969056 cites W3013368161 @default.
- W3203969056 cites W3102867977 @default.
- W3203969056 cites W3120961766 @default.
- W3203969056 cites W3125928061 @default.
- W3203969056 cites W4241413354 @default.
- W3203969056 doi "https://doi.org/10.1007/978-3-030-88708-7_13" @default.
- W3203969056 hasPublicationYear "2021" @default.
- W3203969056 type Work @default.
- W3203969056 sameAs 3203969056 @default.
- W3203969056 citedByCount "2" @default.
- W3203969056 countsByYear W32039690562022 @default.
- W3203969056 countsByYear W32039690562023 @default.
- W3203969056 crossrefType "book-chapter" @default.
- W3203969056 hasAuthorship W3203969056A5017244555 @default.
- W3203969056 hasAuthorship W3203969056A5031805291 @default.
- W3203969056 hasAuthorship W3203969056A5063318978 @default.
- W3203969056 hasConcept C110251889 @default.
- W3203969056 hasConcept C136764020 @default.
- W3203969056 hasConcept C154945302 @default.
- W3203969056 hasConcept C199360897 @default.
- W3203969056 hasConcept C25016198 @default.
- W3203969056 hasConcept C2777904410 @default.
- W3203969056 hasConcept C41008148 @default.
- W3203969056 hasConcept C4727928 @default.
- W3203969056 hasConcept C4777664 @default.
- W3203969056 hasConcept C518677369 @default.
- W3203969056 hasConcept C80444323 @default.
- W3203969056 hasConceptScore W3203969056C110251889 @default.
- W3203969056 hasConceptScore W3203969056C136764020 @default.
- W3203969056 hasConceptScore W3203969056C154945302 @default.
- W3203969056 hasConceptScore W3203969056C199360897 @default.
- W3203969056 hasConceptScore W3203969056C25016198 @default.
- W3203969056 hasConceptScore W3203969056C2777904410 @default.
- W3203969056 hasConceptScore W3203969056C41008148 @default.
- W3203969056 hasConceptScore W3203969056C4727928 @default.
- W3203969056 hasConceptScore W3203969056C4777664 @default.
- W3203969056 hasConceptScore W3203969056C518677369 @default.
- W3203969056 hasConceptScore W3203969056C80444323 @default.
- W3203969056 hasLocation W32039690561 @default.
- W3203969056 hasOpenAccess W3203969056 @default.
- W3203969056 hasPrimaryLocation W32039690561 @default.
- W3203969056 hasRelatedWork W1031601050 @default.
- W3203969056 hasRelatedWork W1527462432 @default.
- W3203969056 hasRelatedWork W1748450182 @default.
- W3203969056 hasRelatedWork W1952054528 @default.
- W3203969056 hasRelatedWork W2013878945 @default.
- W3203969056 hasRelatedWork W2045163506 @default.
- W3203969056 hasRelatedWork W2103740034 @default.
- W3203969056 hasRelatedWork W2119610731 @default.
- W3203969056 hasRelatedWork W2283260145 @default.
- W3203969056 hasRelatedWork W2931443989 @default.
- W3203969056 isParatext "false" @default.
- W3203969056 isRetracted "false" @default.
- W3203969056 magId "3203969056" @default.
- W3203969056 workType "book-chapter" @default.