Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 56
Number of items: 56
  • Open Access
    de Haan, R., & van de Pol, I. (2021). On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications, 8(3), 621-658. https://doi.org/10.48550/arXiv.1805.09880
  • Open Access
    Rich, P., Blokpoel, M., de Haan, R., Otworowska, M., Sweers, M., Wareham, T., & van Rooij, I. (2021). Naturalism, tractability and the adaptive toolbox. Synthese, 198(6), 5749–5784. https://doi.org/10.1007/s11229-019-02431-2
  • Open Access
    Rich, P., de Haan, R., Wareham, T., & van Rooij, I. (2021). How hard is cognitive science? In 43rd Annual Meeting of the Cognitive Science Society (CogSci 2021): Comparative Cognition Animal Minds : Vienna, Austria, 26-29 July 2021 (Vol. 5, pp. 3034-3040). (Proceedings of the Annual Meeting of the Cognitive Science Society; Vol. 43). Cognitive Science Society. https://escholarship.org/uc/item/8cr8x1c4
  • Open Access
    Botan, S. (2021). Strategyproof social choice for restricted domains. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Woensdregt, M., Spike, M., de Haan, R., Wareham, T., van Rooij, I., & Blokpoel, M. (2021). Why is scaling up models of language evolution hard? In 43rd Annual Meeting of the Cognitive Science Society (CogSci 2021): Comparative Cognition Animal Minds : Vienna, Austria, 26-29 July 2021 (Vol. 1, pp. 209-215). (Proceedings of the Annual Meeting of the Cognitive Science Society; Vol. 43). Cognitive Science Society. https://escholarship.org/uc/item/021734q4
  • Open Access
    Rey, S., Endriss, U., & de Haan, R. (2021). Shortlisting Rules and Incentives in an End-to-End Model for Participatory Budgeting. In Z.-H. Zhou (Ed.), Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence: IJCAI 2021, virtual event : Montreal, 19-27 August 2021 (pp. 370-376). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2021/52
  • Open Access
    Bracciali, A., Grossi, D., & de Haan, R. (2021). Decentralization in Open Quorum Systems: Limitative Results for Ripple and Stellar. In E. Anceaume, C. Bisière, M. Bouvard, Q. Bramas, & C. Casamatta (Eds.), 2nd International Conference on Blockchain Economics, Security and Protocols: Tokenomics 2020, October 26-27, 2020, Toulouse, France Article 5 (OASIcs - Open Access Series in Informatics; Vol. 82). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/OASIcs.Tokenomics.2020.5
  • Ganian, R., de Haan, R., Kanj, I., & Szeider, S. (2020). On Existential MSO and its Relation to ETH. ACM Transactions on Computation Theory, 12(4), Article 22. https://doi.org/10.1145/3417759
  • Open Access
    Rich, P., Blokpoel, M., de Haan, R., & van Rooij, I. (2020). How Intractability Spans the Cognitive and Evolutionary Levels of Explanation. Topics in Cognitive Science, 12(4), 1382-1402. https://doi.org/10.1111/tops.12506
  • Open Access
    Endriss, U., de Haan, R., Lang, J., & Slavkovik, M. (2020). The Complexity Landscape of Outcome Determination in Judgment Aggregation. Journal of Artificial Intelligence Research, 69, 687–731. https://doi.org/10.1613/jair.1.11970
Page 3 of 6