No photo of Sophia R Knight

View Scopus Profile

Sophia R Knight

20092024

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases

    Alvim, M. S., Gaspar da Silva, A., Knight, S. & Valencia, F., 2024, Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Proceedings. Castiglioni, V. & Francalanza, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14678 LNCS).

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

  • 2021

    A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

    Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., Jun 8 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 22-41 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

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

    9 Scopus citations

  • Reasoning About Agents That May Know Other Agents' Strategies

    Belardinelli, F., Knight, S., Lomuscio, A., Maubert, B., Murano, A. & Rubin, S., 2021, Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021. Zhou, Z.-H. (ed.). International Joint Conferences on Artificial Intelligence, p. 1787-1793 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

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

    Open Access
    8 Scopus citations
  • 2019

    Reasoning about distributed knowledge of groups with infinitely many agents

    Guzmán, M., Knight, S., Quintero, S., Ramírez, S., Rueda, C. & Valencia, F., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

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

    4 Scopus citations
  • 2015

    Arbitrary announcements on topological subset spaces

    van Ditmarsch, H., Knight, S. & Özgün, A., 2015, Multi-Agent Systems - 12th European Conference, EUMAS 2014, Revised Selected Papers. Bulling, N. (ed.). Springer Verlag, p. 252-266 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8953).

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

    12 Scopus citations

  • Asynchronous announcements in a public channel

    Knight, S., Maubert, B. & Schwarzentruber, F., 2015, Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings. Rueda, C., Valencia, F. D., Valencia, F. D. & Leucker, M. (eds.). Springer Verlag, p. 272-289 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9399).

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

    3 Scopus citations
  • 2014

    Bisimulation for Markov decision processes through families of functional expressions

    Ferns, N., Precup, D. & Knight, S., 2014, Horizons of the Mind: A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Springer Verlag, p. 319-342 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8464 LNCS).

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

    10 Scopus citations

  • Partial information and uniform strategies

    Van Ditmarsch, H. & Knight, S., 2014, Computational Logic in Multi-Agent Systems - 15th International Workshop, CLIMA XV, Proceedings. Springer Verlag, p. 183-198 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8624 LNAI).

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

    6 Scopus citations
  • 2012

    Spatial and epistemic modalities in constraint-based process calculi

    Knight, S., Palamidessi, C., Panangaden, P. & Valencia, F. D., 2012, Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings. p. 317-332 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7454 LNCS).

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

    34 Scopus citations
  • 2009

    Epistemic strategies and games on concurrent processes

    Chatzikokolakis, K., Knight, S. & Panangaden, P., 2009, SOFSEM 2009: Theory and Practice of Computer Science - 35th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. p. 153-166 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5404 LNCS).

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

    Open Access
    3 Scopus citations