Social bot detection as a temporal logic model checking problem (Q2148829): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-88708-7_13
+Normal rank
@@ Property / OpenAlex ID @@
+W3203969056
@@ Property / OpenAlex ID: W3203969056 / rank @@
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for diffusion in social networks
@@ Property / cites work: A logic for diffusion in social networks / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting on social influence in networks
@@ Property / cites work: Reflecting on social influence in networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3012526
@@ Property / cites work: Q3012526 / rank @@
+Normal rank
@@ Property / cites work @@
+Past is for free: On the complexity of verifying linear temporal properties with past
+Normal rank
@@ Property / cites work @@
+Q3384175
@@ Property / cites work: Q3384175 / rank @@
+Normal rank
@@ Property / cites work @@
+Further Steps Towards a Logic of Polarization in Social Networks
+Normal rank
@@ Property / cites work @@
+Q5311048
@@ Property / cites work: Q5311048 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank