uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Pauwels, P., Bod, R. (2012) 'Applications for experimenting' or 'reasoning agents' as design decision support tools.
    Poster | UvA-DARE
  • Pauwels, P., Bod, R. (2013) Including the power of interpretation through a simulation of Peirce’s process of inquiry.
    Literary and Linguistic Computing, Vol. 28 (pp 452-460)
  • Pauwels, P., Bod, R. (2014) Architectural design thinking as a form of model-based reasoning.
    Studies in applied philosophy, epistemology and rational ethics, Vol. 8 (pp 583-608)
  • Pauwels, P., Di Mascio, D., De Meyer, R., Bod, R. (2013) Integrating building information modelling and semantic web technologies for the management of built heritage information.
    In Proceedings of the International Congress of Digital Heritage (pp 481-488)
    Conference contribution | UvA-DARE
  • Pauwels, P., Morkel, J., Bod, R. (2014) Reasoning processes involved in ICT-mediated design communication.
    In Laakso, M. Ekman, K. (Eds.), Proceedings of NordDesign 2014 Conference (pp 213-222). Aalto University.
    Conference contribution | UvA-DARE
  • Pearson, Beth, Boulbarss, Bilal, Wray, Michael, Lewis, M. (2025) Evaluating Compositional Generalisation in VLMs and Diffusion Models.
    In Proceedings of the 14th Joint Conference on Lexical and Computational Semantics (*SEM 2025). Association for Computational Linguistics.
  • Pedersen, M.Y., Slavkovik, M., Smets, S. (2021) Social Bot Detection as a Temporal Logic Model Checking Problem.
    In Ghosh, S. Icard, T. (Eds.), Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021 : proceedings (pp 158-173) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 13039). Springer.
  • Pedersen, M.Y., Slavkovik, M., Smets, S. (2023) Detecting bots with temporal logic.
    Synthese, Vol. 202
  • Pedersen, M.Y., Smets, S., Ågotnes, T. (2019) Analyzing Echo Chambers: A Logic of Strong and Weak Ties.
    In Blackburn, P. Lorini, E. Guo, M. (Eds.), Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019 : proceedings (pp 183-198) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 11813). Springer.
  • Pedersen, M.Y., Smets, S., Ågotnes, T. (2020) Further Steps Towards a Logic of Polarization in Social Networks.
    In Dastani, M. Dong, H. van der Torre, L. (Eds.), Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020 : proceedings (pp 324-345) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 12061). Springer.
  • Pedersen, M.Y., Smets, S., Ågotnes, T. (2021) Modal Logics and Group Polarization.
    Journal of Logic and Computation, Vol. 31 (pp 2240-2269)
  • Pelsmaeker, T., Aziz, W. (2020) Effective Estimation of Deep Generative Language Models.
    In Jurafsky, D. Chai, J. Schluter, N. Tetreault, J. (Eds.), The 58th Annual Meeting of the Association for Computational Linguistics: ACL 2020 : Proceedings of the Conference : July 5-10, 2020 (pp 7220-7236). The Association for Computational Linguistics.
    Conference contribution | http://10.18653/v1/2020.acl-main.646 | UvA-DARE
  • Penders, B., Russo, F. (2018) The day the milk went sour: Bridging epistemology and ontology in Latour’s empirical philosophy: [Review of: G. de Vries (2016) Bruno Latour].
    Science as Culture, Vol. 27 (pp 398-402)
    Book/Film/Article/Exhibition review | https://doi.org/10.1080/09505431.2018.1476480 | UvA-DARE
  • Peng, T., Harrow, A.W., Ozols, M., Wu, X. (2020) Simulating large quantum circuits on a small quantum computer.
    Physical Review Letters, Vol. 125
  • Penserini, L., Dignum, F., Dignum, V., Aldewereld, H., Grossi, D. (2009) Evaluating organizational configurations.
    In Baeza-Yates, R. Lang, J. Mitra, S. Parsons, S. Pasi, G. (Eds.), Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (IAT 2009) (pp 153-160). IEEE Computer Society.
  • Pereira, G., Couldry, N. (2023) Data colonialism now: harms and consequences.
    In Tierra Común Network (Eds.), Resisting Data Colonialism: A Practical Intervention (pp 38-44, 106) (Theory on demand, Vol. 50). Institute of Network Cultures.
  • Pereira, G., Gekker, Alex, Hind, Sam, van der Vlist, F.N. (2025) Scaling AI in the Cloud: The Disruption of ‘Cloudification’ in Connected and Autonomous Vehicles.
    In AoIR 2025 Selected Papers of Internet Research (pp 1–6). Association of Internet Researchers.
    Conference contribution | UvA-DARE
  • Pereira, G., Israel, Carolina, Firmino, Rodrigo, Kramer, Henrique, Abad, Júlia (2025) Building a Digital Wall: the political economy of smart surveillance in Curitiba, Brazil.
    Globalizations
  • Pereira, G., Moreschi, B. (2023) Living with images from large-scale data sets: A critical pedagogy for scaling down.
    Photographies, Vol. 16 (pp 235-261)
  • Perrotin, E., Velázquez-Quesada, F.R. (2021) A semantic approach to non-prioritized belief revision.
    Logic Journal of the IGPL, Vol. 29 (pp 644–671)
1 ... 217 218 219 220 221 222 223 224 225 ... 334

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