No photo of Sophia R Knight

View Scopus Profile

Sophia R Knight

20092024

Research activity per year

Filter
Chapter

Search results

  • 2019

    Toward a Formal Model for Group Polarization in Social Networks

    Alvim, M. S., Knight, S. & Valencia, F., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 419-441 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    6 Scopus citations
  • 2012

    Combining epistemic logic and Hennessy-Milner logic

    Knight, S., Mardare, R. & Panangaden, P., 2012, Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Constable, R. & Silva, A. (eds.). p. 219-243 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7230 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    2 Scopus citations