All Stories

  1. Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge

    Article • Electronic Proceedings in Theoretical Computer Science, July 2023, Open Publishing Association

    Professor Rineke Verbrugge

  2. Using Agent-Based Simulations to Evaluate Bayesian Networks for Criminal Scenarios

    Article • June 2023, ACM (Association for Computing Machinery)

    Professor Rineke Verbrugge

  3. Strong admissibility for abstract dialectical frameworks

    Article • Argument & Computation, October 2022, IOS Press

    Professor Rineke Verbrugge

  4. Semi-Stable Semantics for Abstract Dialectical Frameworks

    Article • September 2021, International Joint Conferences on Artificial Intelligence

    Professor Rineke Verbrugge

  5. Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames

    Article • June 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Rineke Verbrugge

  6. Strong admissibility for abstract dialectical frameworks

    Article • March 2021, ACM (Association for Computing Machinery)

    Professor Rineke Verbrugge

  7. Modelling non-attentional visual information transmission in groups under predation

    Article • Ecological Modelling, September 2020, Elsevier

    Professor Rineke Verbrugge

  8. Tractability and the computational mind

    Article • September 2018, Taylor & Francis

    Professor Rineke Verbrugge

  9. An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic

    Article • Games, July 2018, MDPI AG

    Professor Rineke Verbrugge

  10. Estimating the Use of Higher-Order Theory of Mind Using Computational Agents

    Article • The B E Journal of Theoretical Economics, May 2018, De Gruyter

    Harmen de Weerd, Professor Rineke Verbrugge

  11. Models of Strategic Reasoning

    Article • January 2015, Springer Science + Business Media

    Professor Rineke Verbrugge

  12. Cognitive models of theory of mind in a game

    Article • Interaction Studies Social Behaviour and Communication in Biological and Artificial Systems, December 2014, John Benjamins

    Professor Rineke Verbrugge

  13. Games, Actions and Social Software

    Article • January 2012, Springer Science + Business Media

    Professor Rineke Verbrugge

  14. Evolution of altruistic punishment in heterogeneous populations

    Article • Journal of Theoretical Biology, December 2011, Elsevier

    Professor Rineke Verbrugge

  15. Hybrid Logics with Infinitary Proof Systems

    Article • Journal of Logic and Computation, April 2006, Oxford University Press (OUP)

    Professor Rineke Verbrugge

  16. Modelling Internal Dynamic Behaviour of BDI Agents

    Article • January 2001, Springer Science + Business Media

    Professor Rineke Verbrugge

  17. Dialogue in Team Formation

    Article • January 2000, Springer Science + Business Media

    Professor Rineke Verbrugge

  18. The Complexity of Feasible Interpretability

    Article • January 1995, Springer Science + Business Media

    Professor Rineke Verbrugge

  19. A small reflection principle for bounded arithmetic

    Article • Journal of Symbolic Logic, September 1994, Cambridge University Press

    Professor Rineke Verbrugge

  20. Feasible interpretability

    Article • May 1993, Oxford University Press (OUP)

    Professor Rineke Verbrugge

  21. Calibrating Collective Commitments

    Article • Springer Science + Business Media

    Professor Rineke Verbrugge