Jan Broersen
Contact Teaching Research Links

Projects

Responsible Intelligent Systems (REINS), ERC consolidator grant (2013). 1 PI, 3 Postdocs, 3 PhD students, 1 research assistant. One open PhD position and one open postdoc position left. The application process for these positions will start in September / October 2014.

Logical models for the dynamics of motivational attitudes, 2007-2011, Grant CKI-UU Research fund, 1 PhD student (Paolo Turrini).

Publications

2014

Responsibility, Alternative Possibility and Attempt, Jan Broersen, Proceedings Sixth Workshop on Logical Aspects of Multi-Agent Systems (LAMAS@AAMAS 2014).

A stit Logic Analysis of Morally Lucky and Legally Lucky Action Outcomes, Jan Broersen, Studia Logica book series “Trends in Logic”, subseries “Outstanding contributions”, devoted to the work of Nuel Belnap, Springer, 2014.

Action, Failure and Free Will Choice in Stit Logic, Jan Broersen, John-Jules Charles Meyer, In 'Epistemology, Context and Formalism', edited by Franck Lihoreau and Manuel Rebuschi, Springer, Synthese Library 369, 141-168, Springer 2014.
[BibTex]

2013

Towards a Generic Player Age Model, Shoshannah Tekofsky, Pieter Spronck, Martijn Goudbeek, Jan Broersen, Proceedings ninth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-13), AAAI proceedings, 184-190, 2013. [BibTex]

Play Style: Showing Your Age
, Shoshannah Tekofsky, Pieter Spronck, Aske Plaat, Jaap van den Herik, Jan Broersen, Proceedings IEEE Conference on Computational Intelligence and Games (CIG), 1-8, IEEE, 2013. [BibTex]

Forbidding Undesirable Agreements, Paolo Turrini, Davide Grossi, Jan Broersen, John-Jules Meyer, Journal of Logic and Computation, Oxford University Press, 2013 (online publication). [BibTex]

On the Reconciliation of Logics of Agency and Logics of Event Types
, Jan Broersen, in 'Krister Segerberg on Logic of Actions', Studia Logica book series “Trends in Logic”, subseries “Outstanding contributions to logic 1”, devoted to the work of Krister Segerberg, Springer, edited by R. Trypuz, 41-60, 2013. [BibTex]

PsyOps: Personality Assessment Through Gaming Behavior, Shoshannah Tekofsky, Pieter Spronck, Aske Plaat, Jaap van den Herik, Jan Broersen, Proceedings 8th International Conference on the Foundations of Digital Games, ACM proceedings 2013. [BibTex]

Normative Reasoning and Consequence, Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, and François Schwarzentruber, Dagstuhl Follow-Ups Vol. 4, 33-70, Dagstuhl Publishing, 2013. [BibTex]

Deontic Logic and Agency, Jan Broersen, The Encyclopedia of Philosophy and the Social Sciences, edited by Byron Kaldis, SAGE publications, April 2013. [BibTex]

Deontic Logic, Jan Broersen, Dov Gabbay, Andreas Herzig, Emiliano Lorini, John-Jules Meyer, Xavier Parent, Leendert van der Torre, Agreement Technologies, Law, Governance and Technology Series 8, edited by Sascha Ossowski, 171-181, Springer 2013. [BibTex]

Probabilistic stit Logic and its Decomposition
, Jan Broersen, International Journal of Approximate Reasoning 54, 467–477, Elsevier, 2013. [BibTex]

2012

Changing Norms is Changing Obligation Change, Jan Broersen, Dov Gabbay, Leendert van der Torre, Eleventh International Workshop on Deontic Logic in Computer Science (DEON'12), Lecture Notes in Artificial Intelligence 7393, 199-214, Springer, 2012. [BibTex]

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science,
Jan Broersen and Leendert van der Torre, ESSLLI 2010 course, Lecture Notes in Computer Science 7388, 55-88, Springer, 2012. [BibTex]

Three Points of Disagreement with Gideon Yaffe on Attempt, Review Symposium Gideon Yaffe, Attempts in the Philosophy of Action and the Criminal Law, Jan Broersen, Jurisprudence 3(1), 2012. [BibTex]

Regulating competing coalitions: a logic for socially optimal group choices
Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Meyer, Journal of Applied Non-classical Logics, Hermes-Lavoisier, 2012. [BibTex]

2011

Probabilistic Action and Deontic Logic, Jan Broersen, invited abstract to the Proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, Lecture Notes in Artificial Intelligence 6814, 293-294, Springer, 2011. [BibTex]

Modeling Attempt and Action Failure in Probabilistic Stit Logic
, Jan Broersen, Proceedings of Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), 792-797, 2011. [BibTex]

Probabilistic Stit Logic
, Jan Broersen, Proceedings 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011), Lecture Notes in Artificial Intelligence, 6717, 521-531, Springer, 2011. [BibTex]

Making a Start with the Stit Logic Analysis of Intentional Action
, Jan Broersen, Journal of Philosophical Logic, Vol 40. 399-420, Springer, 2011. [BibTex]

Deontic Epistemic Stit Logic Distinguishing Modes of Mens Rea, Jan Broersen, Journal of Applied Logic, Vol 9, nr 2, 127-152, Elsevier, 2011. [BibTex]

Grounding Power on Actions and Mental Attitudes,
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, and Jan Broersen, FAMAS'007 special issue Logic Journal of the IGPL, Oxford journals, october 2011. [BibTex]

2010

Forbidding Undesirable Agreements, Paolo Turrini, Jan Broersen, Davide Grossi, John-Jules Meyer, Proceedings Tenth International Workshop on Deontic Logic in Computer Science (DEON'10), Lecture Notes in Computer Science 6181, 306-322, Springer, 2010. [BibTex]

CTL.STIT: enhancing ATL to express important multi-agent system verification properties, Jan Broersen, Proceedings 9th International Conference on Autonomous Agents and Multiagent Systems, 683-690, ACM Press, 2010. [BibTex]

2009

What groups docan do, and know they can do: a normal modal logic analysis, Jan Broersen, Andreas Herzig and Nicolas Troquard, Journal of Applied Non-classical Logic, vol 19, nr 3, 261-289, Hermes-Lavoisier, 2009. [BibTex]

An Update Operator for Strategic Ability
, Paolo Turrini, Jan Broersen, Rosja Mastop and John-Jules Meyer, 2nd International Workshop on Logic, Rationality and Interaction (LORI-II), Lecture Notes in Artificial Intelligence 5834, 292-301, Springer, 2009. [BibTex]

Representing Excuses in Social Dependence Networks, Guido Boella, Jan Broersen, Leendert van der Torre, Serena Villata, 11th Conference of the Italian Association for Artificial Intelligence (AI*IA 2009), Lecture Notes in Artificial Intelligence 5883, 365-374, Springer, 2009. [BibTex]

A stit Logic for Extensive Form Group Strategies, Jan Broersen, 2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009), IEEE Computer Society Press, 2009. [BibTex]

Strategic Ability Update: A Modal Logic Account, Jan Broersen, Rosja Mastop, John-Jules Meyer and Paolo Turrini, 2nd Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2009), IEEE Computer Society Press, 2009. [BibTex]

First Steps in the stit Logic Analysis of Intentional Action
, Jan Broersen, ESSLLI 2009 workshop on Logical Methods for Social Concepts (LMSC'09), ESSLLI workshop proceedings 2009. [BibTex]

On Basic Characteristics of Agent Types and their Influence on Rational Agent Interactions
, Jan Broersen, IJCAI 2009 workshop on Logic and the Simulation of Interaction and Reasoning 2 (LSIR2), 2009. [BibTex]

Determining the Environment: A Modal Logic for Closed Interaction
, Jan Broersen, Rosja Mastop, John-Jules Meyer and Paolo Turrini, Synthese, special section of Knowledge, Rationality and Action, Volume 169, Number 2, 351-369, Springer, 2009. [BibTex]

Issues in Designing Logical Models for Norm Change
, Jan Broersen, Organized Adaption in Multi-Agent Systems, First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers (invited contribution), Lecture Notes in Artificial Intelligence 5368, 1-17, Springer, 2009. [BibTex]

Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations
, Philippe Balbiani, Julien Brunel, Jan Broersen, Electronic Notes in Theoretical Computer Science 231, 69-89, revised papers M4M 2007, Elsevier 2009. [BibTex]

Reasoning About Norms, Obligations, Time and Agents, Jan Broersen and Leendert van der Torre, Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers, Lecture Notes in Artificial Intelligence 5044, 171-182, Springer, 2009. (Best Paper) [BibTex]

A complete STIT logic for knowledge and action, and some of its applications
, Jan Broersen, Proceedings Declarative Agent Languages and Technologies VI, 6th International Workshop DALT 2008, Lecture Notes in Artificial Intelligence 5397, 47-59, Springer, 2009. [BibTex]

2008

Reasoning About Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations, Guido Boella, Jan Broersen and Leendert van der Torre, Proceedings PRIMA '08, Lecture Notes in Computer Science 5357, 86-97, Springer, 2008. [BibTex]

A logic for closed-world interaction
, Jan Broersen, Rosja Mastop, John-Jules Meyer and Paolo Turrini, Proceedings Eleventh European Conference on Logics in Artificial Intelligence (JELIA'08), Lecture Notes in Artificial Intelligence 5293, 89-99, Springer, 2008. [BibTex]

Conditional Norms and Dyadic Obligations in Time
, Jan Broersen and Leendert van der Torre, poster, Proceedings of the Eighteenth European Conference on Artificial Intelligence (ECAI2008), 883--884, IOS Press, 2008. [BibTex]

Organizing Coherent Coalitions, Jan Broersen, Paolo Turrini, Rosja Mastop and John-Jules Meyer, poster, Proceedings of the Eighteenth European Conference on Artificial Intelligence (ECAI2008), 879--880, IOS Press, 2008. [BibTex]

A Logical Analysis of the Interaction between `Obligation-to-do' and `Knowingly Doing'
, Jan Broersen, Proceedings Ninth International Workshop on Deontic Logic in Computer Science (DEON'08), Lecture Notes in Computer Science 5076, 140-154, Springer, 2008. [BibTex]

A Deontic Logic for Socially Optimal Norms
, Jan Broersen, Paolo Turrini, Rosja Mastop and John-Jules Meyer, Proceedings Ninth International Workshop on Deontic Logic in Computer Science (DEON'08), Lecture Notes in Computer Science 5076, 218-232, Springer, 2008. [BibTex]

Interpreting Product Update as Reasoning about Observations and Meta- Observations
, Jan Broersen, Proceedings AISB 2008 Convention on Communication, Interaction and Social Intelligence, Symposium "Logic and the Simulation of Interaction and Reasoning", AISB'08 proceedings, 2008. [BibTex]

`What I fail to do today, I have to do tomorrow': a logical study of the propagation of obligations, Jan Broersen and Julien Brunel, Proceedings CLIMA VIII, Lecture Notes in Artificial Intelligence 5056, 82 - 99, Springer, 2008. [BibTex]

2007

Grounding Power on Actions and Mental Attitudes, Emiliano Lorini, Andreas Herzig, Jan Broersen and Nicolas Troquard, Proceedings FAMAS '07, 2007. [BibTex]

A Normal Simulation of Coalition Logic and an Epistemic Extension, Jan Broersen, Andreas Herzig and Nicolas Troquard, proceedings TARK XI, ACM Digital Library, 92-101, 2007. [BibTex]

Preservation of Obligations in a Temporal and Deontic Framework, Jan Broersen and Julien Brunel, Poster AAMAS'07, ACM Press, 2007. [BibTex]

2006

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency, Jan Broersen, Andreas Herzig and Nicolas Troquard, Journal of Logic and Computation, 16:5, 559-578, 2006. [BibTex]

A STIT-extension of ATL, Jan Broersen, Andreas Herzig and Nicolas Troquard, Proceedings Tenth European Conference on Logics in Artificial Intelligence (JELIA'06), Lecture Notes in Artificial Intelligence 4160, 69-81, Springer, 2006. [BibTex]

Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario, Jan Broersen, Proceedings Eighth International Workshop on Deontic Logic in Computer Science (DEON'06), Lecture Notes in Computer Science 4048, Springer, 53-68, 2006. [BibTex]

From Coalition Logic to STIT, Jan Broersen, Andreas Herzig and Nicolas Troquard, Proceedings LCMAS 2005, Electronic Notes in Theoretical Computer Science, 157:4, 23-35, 2005. [BibTex]

Beliefs in Agent Implementation, Laurens Winkelhagen, Mehdi Dastani, and Jan Broersen, Proceedings DALT 2005, Lecture Notes in Computer Science 3904, Springer, 2006. [BibTex]

2005

Semantic Analysis of Chisholm's Paradox, Jan Broersen and Leendert van der Torre, Proceedings of the 17th Belgium-Netherlands Artificial Intelligence Conference, 2005. [BibTex]

Beliefs, Obligations, Intentions and Desires as Components in an Agent Architecture, Jan Broersen, Mehdi Dastani and Leendert van der Torre, International Journal of Intelligent Systems, volume 20, issue 9, 893-920, 2005. [BibTex]

2004

On the Logic of `Being Motivated to Achieve Rho, before Delta', Jan Broersen, Proceedings Ninth European Conference on Logics in Artificial Intelligence (JELIA'04), Lecture Notes in Artificial Intelligence 3229, 334-346, Springer, 2004. [BibTex]

Specifying Multiagent Organizations, Leendert van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen, Proceedings Seventh International Workshop on Deontic Logic in Computer Science (DEON'04), Lecture Notes in Computer Science 3065, 243-257, Springer, 2004. [BibTex]

Designing a Deontic Logic of Deadlines, Jan Broersen, Frank Dignum, Virginia Dignum, John-Jules Meyer, Proceedings Seventh International Workshop on Deontic Logic in Computer Science (DEON'04), Lecture Notes in Computer Science 3065, 43-56, Springer, 2004. [BibTex]

Meeting the Deadline: Why, When and How, Frank Dignum, Jan Broersen, Virginia Dignum and John-Jules Meyer, Proceedings Third NASA-Goddard/IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS III), Lecture Notes in Computer Science 3228, 30-40, Springer, 2004. [BibTex]

Action Negation and Alternative Reductions for Dynamic Deontic Logics, Jan Broersen, Journal of Applied Logic, volume 2, issue 1, 153-168, Elsevier, 2004. [BibTex]

2003

What an Agent Ought To Do: a Review of John Horty's `Agency and Deontic Logic', Jan Broersen, Leendert van der Torre, AI and Law, volume 11, 45-61, 2003. [BibTex]

Relativized Action Complement for Dynamic Logics, J.M. Broersen, Advances in Modal Logic, volume 4, 51-70, King's College Publications 2003. [BibTex]

BDIO-CTL: Obligations and the Specification of Agent Behavior, J. Broersen, M. Dastani, and L. van der Torre, poster, In Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI2003), 1389--1390, 2003. [BibTex]

Modal Action Logics for Reasoning about Reactive Systems, Jan Broersen, PhD-thesis Vrije Universiteit Amsterdam, january 2003. [BibTex]

2002

Goal Generation in the BOID Architecture, Jan Broersen, Mehdi Dastani, Joris Hulstijn and Leendert van der Torre, Cognitive Science Quarterly, Volume 2, Issue 3-4, 2002. [BibTex]

Realistic Desires, Jan Broersen and Mehdi Dastani and Leendert van der Torre, Journal of Applied Non-Classical Logics, Volume 12, No. 2, 2002. [BibTex]

Trust and Commitment in Dynamic Logic, Jan Broersen and Mehdi Dastani and Zisheng Huang and Leendert van der Torre, Proceedings of the First EurAsian Conference on Advances in Information and Communication Technology (EURASIA-ICT 2002), Lecture Notes in Computer Science 2510, 677-684, Springer, 2002. [BibTex]

Logical Specification of Agent Architecture Components, Jan Broersen and Mehdi Dastani and Leendert van der Torre, Proceedings of the 14th Belgium-Netherlands Artificial Intelligence Conference, 2002. [BibTex]

A new action base for dynamic deontic logics, J.M. Broersen, Pre-proceedings Sixth International Workshop on Deontic Logic in Computer Science (DEON'02), 2002. [BibTex]

The mutual exclusion problem in reasoning about action and change , J.M. Broersen and R.J. Wieringa and J.-J.Ch. Meyer, Pre-proceedings 9th International Workshop on Non-Monotonic Reasoning (NMR2002), editors: Salem Benferhat and Enrico Giunchiglia, 365-371, 2002. [BibTex]

2001

A Fixed-point Characterization of a Deontic Logic of Regular Action, J.M. Broersen and R.J. Wieringa and J.-J.Ch. Meyer, Fundamenta Informaticae 48, special issue on deontic logic in computer science, november 2001. [BibTex]

Resolving Conflicts between Beliefs, Obligations, Intentions and Desires,  J. Broersen, M.Dastani and L. van der Torre, Symbolic and Quantitative Approaches to Reasoning and Uncertainty. Proceedings of the ECSQARU'01, Lecture Notes in Computer Science 2143, 568-579, Springer, 2001. [BibTex]

The BOID architecture, J. Broersen and M. Dastani and Z. Huang and J. Hulstijn and L. van der Torre, Proceedings of  the fifth international conference on autonamous agents (AA2001), 9-16, ACM Press, 2001. [BibTex]

An alternative classification of agent types based on BOID conflict resolution, Jan Broersen and Mehdi Dastani and Zisheng Huang and Joris Hulstijn and Leendert van der Torre, Proceedings of the 13th Belgium-Netherlands Artificial Intelligence Conference, 79--87, 2001. [BibTex]

Wishful Thinking, J. Broersen, M. Dastani and L. van der Torre, Proceedings of DGNMR01, 2001. [BibTex]

2000

A Semantics for Persistency in Propositional Dynamic Logic, J.M. Broersen and R.J. Wieringa and J.-J.Ch. Meyer, Proceedings First International Conference on Computational Logic (CL2000), Lecture Notes in Computer Science 1861, Springer, 2000. [BibTex]

The BOID project, Jan Broersen and Mehdi Dastani and Zisheng Huang and and Leendert van der Torre, Workshop on Practical Reasoning Agents, Imperial College London, 2000. [BibTex]

Commitment and Trust in Dynamic Logic, Jan Broersen, Mehdi Dastani and Leendert van der Torre, Proceedings of the Twelfth Belgium-Netherlands Artificial Intelligence Conference (BNAIC'00), editors: Antal van den Bosch and Hans Weigand, 2000. [BibTex]

Leveled commitment and trust in negotiation, J. Broersen and M. Dastani and L. van der Torre, Proceedings of the autonomous Agents 2000 Workshop on Deception, Fraud and Trust in Agent Societies, Barcelona 2000. [BibTex]

Mu-calculus-based Deontic Logic for Regular Actions, J.M. Broersen and R.J. Wieringa and J.-J.Ch. Meyer, Pre-proceedings Fifth International Workshop on Deontic Logic in Computer Science (DEON'00), editors: Robert Demolombe and Risto Hilpinen, 2000. [BibTex]

1999

A Logic for the Specification of Multi-Object Systems, J.M. Broersen and R.J. Wieringa, Formal Methods for Open Object-Based Distributed Systems, editors: Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri, Kluwer Academic Publishers, 1999. [BibTex]

1998

Minimal Transition System Semantics for Lightweight Class- and Behavior Diagrams, R.J. Wieringa and J.M. Broersen, Proceedings PSMT-Workshop om Precise Semantics for Software Modeling Techniques, technical report TUM-I9803, Institut für Informatik, technische universität München, 1998. [BibTex]

Preferential Semantics for Action Specifications in First-order Modal Action Logic, J.M. Broersen and R.J. Wieringa, Proceedings of the ECAI'98 Workshop on Practical Reasoning and Rationality (PRR'98), 1998.