Publicaties
2022
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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
Overige resultaten
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
Wetenschappelijke publicaties
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
Populariserende publicaties
Broersen, J. M. (2015). Verantwoordelijke machines, responsibility gaps en de morele speelruimte. Filosofie, 25(3), 43-45.
Overige resultaten
Dyrkolbotn, S. K., & Broersen, J. M. (2015). Reasoning about ethical and legal responsibility using formal logic.
2014
Wetenschappelijke publicaties
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
Overige resultaten
Broersen, J. (2014). Responsibility, Alternative Possibility and Attempt. Paper presented at Sixth Workshop on Logical Aspects of Multi-Agent Systems, Paris, France.
2013
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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
Wetenschappelijke publicaties
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