No photo of Sophia R Knight

Sophia R Knight

20092021

Research activity per year

If you made any changes in Pure these will be visible here soon.
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 proceedingChapter

  • 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 proceedingChapter

    1 Scopus citations
Your message has successfully been sent.
Your message was not sent due to an error.