Publications
2022
Scholarly publications
Pandžić, S., Broersen, J. M., & Aarts, H. (2022). BOID*: Autonomous Goal Deliberation through Abduction. In International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022 (pp. 1019-1027). (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; Vol. 2). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). https://doi.org/10.5555/3535850.3535964
Zhang, C., Adriaanse, M. A., Potgieter, R., Tummers, L., de Wit, J., Broersen, J., de Bruin, M., & Aarts, H. (2022). Habit formation of preventive behaviours during the COVID-19 pandemic: a longitudinal study of physical distancing and hand washing. BMC Public Health, 22(1), 1-17. [1588]. https://doi.org/10.1186/s12889-022-13977-1
2021
Scholarly publications
Duijf, H., Broersen, J., Kuncová, A., & Ramirez Abarca, A. (2021). Doing Without Action Types. Review of Symbolic Logic, 14(2), 380-410. https://doi.org/10.1017/S1755020320000362
https://dspace.library.uu.nl/bitstream/handle/1874/412635/doing_without_action_types.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/412635/doing_without_action_types.pdf?sequence=1
2019
Scholarly publications
Duijf, H. W. A., Broersen, J. M., & Meyer, J. J. C. (2019). Conflicting intentions: rectifying the consistency requirements. Philosophical Studies, 176(4), 1097-1118. https://doi.org/10.1007/s11098-018-1049-z
2018
Scholarly publications
Dyrkolbotn, S. K., Pedersen, T., & Broersen, J. M. (2018). On Elitist Lifting and Consistency in Structured Argumentation. IfCoLog Journal of Logics and their Applications, 5(3), 709-746.
Broersen, J. M. (2018). Agents necessitating effects in newtonian time and space: from power and opportunity to effectivity. Synthese, 1-38. https://link.springer.com/epdf/10.1007/s11229-018-1769-9?author_access_token=_818sE6scwCvwJQ3CU_7RPe4RwlQNchNByi7wbcMAY6g7Qy-dBWD6bDG4eHl-oDLus69G-JI0VXP2SgJqPQ9vxC1c0XKU9Nh2unN4LF_luqWlfWIMdopAkB8KovGISY6AHZbwvGLxCZiLr2zEtLVHA%3D%3D
2016
Scholarly publications
Duijf, H. W. A., & Broersen, J. M. (2016). Representing strategies. In A. Lomuscio, & M. Y. Vardi (Eds.), Strategic Reasoning (pp. 15-26). (Electronic Proceedings in Theoretical Computer Science). Open Publishing Association. https://doi.org/10.4204/EPTCS.218.2
Other output
Broersen, J. M., Dyrkolbotn, S. K., & Pedersen, T. (2016). Arguments, responsibilities and moral dilemmas in abductive default logic. 64-79. Paper presented at 13th International Conference on Deontic Logic and Normative Systems, bayreuth, Germany. http://www.collegepublications.co.uk/downloads/DEON00001.pdf#page=77
2015
Scholarly publications
Broersen, J. M., & Herzig, A. (2015). Using STIT theory to talk about strategies. In J. van Benthem, S. Ghosh, & R. Verbrugge (Eds.), Models of Strategic Reasoning: Logics, Games, and Communities (Vol. 8972, pp. 137-173). (Theoretical Computer Science and General Issues). Springer. https://doi.org/10.1007/978-3-662-48540-8
Meyer, J. J. C., Broersen, J. M., & Herzig, A. (2015). BDI Logics. In H. van Ditmarsch, J. Y. Halpern, W. van der Hoek, & B. Kooi (Eds.), Handbook of Logics of Knowledge and Belief (pp. 453-498). College Publications.
https://dspace.library.uu.nl/bitstream/handle/1874/315954/bdi.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/315954/bdi.pdf?sequence=1
Turrini, P., Grossi, D., Broersen, J. M., & Meyer, J-J. C. (2015). Forbidding undesirable agreements. Journal of Logic and Computation, 25(1), 159-178. https://doi.org/10.1093/logcom/ext051
Renooij, S., & Broersen, J. (2015). Special Issue of the Twelfth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013). International Journal of Approximate Reasoning, 58, 1-2. https://doi.org/10.1016/j.ijar.2015.01.002
Popularising publications
Broersen, J. M. (2015). Verantwoordelijke machines, responsibility gaps en de morele speelruimte. Filosofie, 25(3), 43-45.
Other output
Dyrkolbotn, S. K., & Broersen, J. M. (2015). Reasoning about ethical and legal responsibility using formal logic.
2014
Scholarly publications
Broersen, J. (2014). A stit Logic Analysis of Morally Lucky and Legally Lucky Action Outcomes. In T. Müller (Ed.), Nuel Belnap on Indeterminism and Free Action (pp. 75-98). (Outstanding Contributions to Logic; Vol. 2). Springer. https://doi.org/10.1007/978-3-319-01754-9_4
https://dspace.library.uu.nl/bitstream/handle/1874/308261/stit.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/308261/stit.pdf?sequence=1
Other output
Broersen, J. (2014). Responsibility, Alternative Possibility and Attempt. Paper presented at Sixth Workshop on Logical Aspects of Multi-Agent Systems, Paris, France.
2013
Scholarly publications
Broersen, J. M., Cranefield, S., Elrakaiby, Y., Gabbay, D., Grossi, D., Lorini, E., Parent, X., van der Torre, L. W. N., Tummolini, L., Turrini, P., & Schwarzentruber, F. (2013). Normative Reasoning and Consequence. In Dagstuhl Follow-Ups (pp. 33-70). Dagstuhl Publishing.
Tekofsky, S., Spronck, P., Plaat, A., van der Herik, H. J., & Broersen, J. M. (2013). PsyOps: Personality Assessment Through Gaming Behavior. In Proceedings 8th International Conference on the Foundations of Digital Games, ACM proceedings 2013
Tekofsky, S., Spronck, P., Goudbeek, M., & Broersen, J. M. (2013). Proceedings ninth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-13). In AAAI proceedings (pp. 184-190)
Tekofsky, S., Spronck, P., Goudbeek, M., & Broersen, J. M. (2013). Towards a Player Age Model. In Proceedings of the Ninth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment Association for the Advancement of Artificial Intelligence.
Broersen, J. M. (2013). On the Reconciliation of Logics of Agency and Logics of Event Types. In R. Trypuz (Ed.), Krister Segerberg on Logic of Actions, series “Trends inLogic", subseries “Outstanding contributions to logic 1”, (pp. 41-60). Springer.
2011
Scholarly publications
Broersen, J. M. (2011). Deontic Epistemic stit-Logic Distinguishing Modes of Mens Rea. Journal of Applied Logic, 9(2), 127-152.
Broersen, J. M. (2011). Modeling Attempt and Action Failure in Probabilistic stit Logic. Department of Information and Computing Sciences, Utrecht University.
Lorini, E., Troquard, N., Herzig, A., & Broersen, J. M. (2011). Grounding Power on Actions and Mental Attitudes. Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzr039
2010
Scholarly publications
Turrini, P., Grossi, D., Broersen, J. M., & Meyer, J-JC. (2010). Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. In Deontic Logic in Computer Science, 10th International Conference (DEON 2010) (pp. 306-322). Springer.
2009
Scholarly publications
Broersen, J. M. (2009). A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. In M. Baldoni, T. Cao Son, M. B. van Riemsdijk, & M. Winikoff (Eds.), Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers (pp. 47-59)
Turrini, P., Broersen, J. M., Mastop, R., & Meyer, J-JC. (2009). An Update Operator for Strategic Ability. In X. He, J. F. Horty, & E. Pacuit (Eds.), Proceedings of The Second International Workshop on Logic, Rationality and Interaction (LORI-II) (pp. 292-301)
Broersen, J. M. (2009). A stit-Logic for Extensive Form Group Strategies. In WI-IAT '09: Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology (pp. 484-487). IEEE Computer Society.
Meyer, J-JC., & Broersen, J. M. (2009). Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008). Lecture Notes in Artificial Intelligence, 5605.
Broersen, J. M., Mastop, R., Meyer, J-JC., & Turrini, P. (2009). A Logic for Closed-World Interaction (abstract). In T. Calders, K. Tuyls, & M. Pechenizkiy (Eds.), Proc. 21st Benelux Conf. on Artif. Intell. (BNAIC 2009) (pp. 299-300).
2008
Scholarly publications
Broersen, J. M. (2008). A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'. In L. W. N. van der Torre, & R. van der Meyden (Eds.), Proceedings 9th International Workshop on Deontic Logic in Computer Science (DEON'08) (pp. 140-154). Springer.
Broersen, J. M. (2008). Interpreting Product Update as Reasoning about Observations and Meta-Observations. In B. L\"owe (Ed.), Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning (pp. 8-10). The Society for the Study of Artificial Intelligence and Simulation of Behaviour.
Broersen, J. M., Mastop, R. J., Meyer, J-JC., & Turrini, P. (2008). Organizing Coherent Coalitions. In M. Ghallab, C. D. Spyropoulos, & N. Fakotakis (Eds.), Proc. 18th Eur. Conf. on Artificial Intelligence (ECAI2008) (pp. 879-880). IOS Press.
2007
Scholarly publications
Broersen, J. M., & Brunel, J. (2007). 'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. In F. Sadri, & K. Satoh (Eds.), Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers (pp. 82-99). Springer.
2006
Scholarly publications
Broersen, J. M., Herzig, A., & Troquard, N. (2006). Embedding Alternating-time Temporal Logic in strategic STIT logic of agency. Journal of Logic and Computation, 16, 559-578.
https://dspace.library.uu.nl/bitstream/handle/1874/19971/broersen_06_embedding.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/19971/broersen_06_embedding.pdf?sequence=1
Broersen, J. M., Herzig, A., & Troquard, N. (2006). From Coalition Logic to STIT. Electronic Notes in Theoretical Computer Science, 157(4), 23-35.
Winkelhagen, L., Dastani, M. M., & Broersen, J. M. (2006). Beliefs in Agent Implementation. In Proceedings of the third International Workshop on Declarative Agent Languages and Technologies (DALT 2005) Springer.
2005
Scholarly publications
Broersen, J. M., Dastani, M. M., & van der Torre, L. (2005). Beliefs, Obligations, Intentions and Desires as Components in an Agent Architecture. International Journal of Intelligent Systems, 20, 893-920.
https://dspace.library.uu.nl/bitstream/handle/1874/19967/broersen_05_beliefs.pdf?sequence=1
https://dspace.library.uu.nl/bitstream/handle/1874/19967/broersen_05_beliefs.pdf?sequence=1
2004
Scholarly publications
Broersen, J. M. (2004). On the Logic of 'Being Motivated to Achieve rho, Before delta'. In J. Alferes, & J. Leite (Eds.), Proceedings Ninth European Conference on Logics in Artificial Intelligence (JELIA'04) (pp. 334-346). Springer. https://doi.org/10.1007/b100483
van der Torre, L., Hulstijn, J., Dastani, M. M., & Broersen, J. M. (2004). Specifying Multiagent Organizations. In A. Lomuscio, & D. Nute (Eds.), Proceedings 7th International Workshop on Deontic Logic in Computer Science (DEON'04) (pp. 243-257). Springer. https://doi.org/10.1007/b98159