Searchable List of Research Output

Filter Publications
  • Singh, H., West, R., Colavizza, G. (2021) Wikipedia citations: A comprehensive data set of citations with identifiers extracted from English Wikipedia.
    Quantitative Science Studies, Vol. 2 (pp 1-19)
  • Sinha, M., de Wolf, R. (2019) Exponential Separation between Quantum Communication and Logarithm of Approximate Rank.
    In 2019 IEEE 60th Annual Symposium on Foundations of Computer Science: proceedings : 9-12 November, 2019, Baltimore, Maryland (pp 966-981) (FOCS). IEEE Computer Society.
  • Sippel, J., Szymanik, J. (2018) Monotonicity and the Complexity of Reasoning with Quantifiers.
    In Rogers, T.T. Rau, M. Zhu, X. Kalish, C.W. (Eds.), COGSCI 2018: Changing/Minds : 40th Annual Cognitive Science Society Meeting : Madison, Wisconsin, USA, July 25-28 (pp 1074-1079). Cognitive Science Society.
  • Skovgaard-Olsen, N., Collins, P., Krzyżanowska, K., Hahn, U., Klauer, K.C. (2019) Cancellation, negation, and rejection.
    Cognitive Psychology, Vol. 108 (pp 42-71)
  • Smeets, I., Lenstra, A., Lenstra, H., Lovász, L., van Emde Boas, P. (2010) The history of the LLL-algorithm.
    In Nguyen, P.Q. Vallée, B. (Eds.), The LLL Algorithm: Survey and Applications (pp 1-17) (Information Security and Cryptography : Texts and Monographs). Springer.
  • Smets, S., Solaki, A. (2018) The effort of reasoning: modelling the inference steps of boundedly rational agents.
    In Moss, L.S. de Queiroz, R. Martinez, M. (Eds.), Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings (pp 307-324) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 10944). Springer.
  • Smets, S., Velázquez-Quesada, F.R. (2017) How to make friends: A logical approach to social group creation.
    In Baltag, A. Seligman, J. Yamada, T. (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp 377-390) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 10455). Springer.
  • Smets, S., Velázquez-Quesada, F.R. (2018) A logical perspective on social group creation.
    In Arazim, P. Lávička, T. (Eds.), The Logica Yearbook 2017 (pp 271-288). College Publications.
    Conference contribution | UvA-DARE
  • Smets, S., Velázquez-Quesada, F.R. (2018) The creation and change of social networks: a logical study based on group size.
    In Madeira, A. Benevides, M. (Eds.), Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings (pp 171-184) (Lecture Notes in Computer Science, Vol. 10669). Springer.
  • Smets, S., Velázquez-Quesada, F.R. (2019) Philosophical Aspects of Multi-Modal Logic.
    Stanford Encyclopedia of Philosophy, Vol. 2019
  • Smets, S., Velázquez-Quesada, F.R. (2019) A logical study of group-size based social network creation.
    Journal of Logical and Algebraic Methods in Programming, Vol. 106 (pp 117-140)
  • Smets, S., Velázquez-Quesada, F.R. (2020) A Logical Analysis of the Interplay Between Social Influence and Friendship Selection.
    In Soares Barbosa, L. Baltag, A. (Eds.), Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings (pp 71-87) (Lecture Notes in Computer Science, Vol. 12005). Springer.
  • Smets, S., Velázquez-Quesada, F.R. (2020) A Closeness- and Priority-Based Logical Study of Social Network Creation.
    Journal of Logic, Language and Information, Vol. 29 (pp 21–51)
  • Smets, S., Velázquez-Quesada, F.R. (2021) The Study of Informational Processes: an introduction to logic.
    In Sie, M. Engelen, B. (Eds.), Second Thoughts: First Introductions to Philosophy . Open Press TiU.
  • Smets, S., Velázquez-Quesada, F.R. (2023) Philosophical Aspects of Multi-Modal Logic.
    Stanford Encyclopedia of Philosophy, Vol. 2023
  • Smets, S. (2006) From Intuitionistic Logic to Dynamic Operational Quantum Logic.
    In Essays in Logic and Ontology - dedicated to Jerzy Perzanowski, Poznan Studies in Philosophy and the Humanities (pp 257-275)
    Chapter | UvA-DARE
  • Smets, S. (2013) Reasoning about Quantum Actions: A Logician’s Perspective.
    In Andersen, H. Dieks, D. Gonzalez, W.J. Uebel, T. Wheeler, G. (Eds.), New Challenges to Philosophy of Science (pp 125-134) (The Philosophy of Science in a European Perspective, Vol. 4). Springer.
  • Smets, S. (2016) Informational cascades: A test for rationality?.
    In Väänänen, J. Hirvonen, Å. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016: Puebla, Mexico, August 16–19th, 2016: proceedings (pp XVI-XVIII) (Lecture Notes in Computer Science, Vol. 9803). Springer.
  • Smets, S. (2016) Belief dynamics in a social context.
    In Väänänen, J. Hirvonen, Å. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016: Puebla, Mexico, August 16–19th, 2016: proceedings (pp XIX) (Lecture Notes in Computer Science, Vol. 9803). Springer.
  • Smid, Jeroen (2021) Extensionality for Fusions and Pluralities.
    Synthese, Vol. 198 (pp 4355-4374)

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact