Jan M. Broersen

According to our database, Jan M. Broersen authored at least 79 papers between 1996 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Ability and knowledge: from epistemic transition systems to labelled stit models.

Alexandra Kuncová, Jan M. Broersen, Hein Duijf, Aldo Iván Ramírez Abarca

Auton. Agents Multi Agent Syst., June, 2025

2023

On Floating Conclusions.

Daniela Schuster, Jan M. Broersen, Henry Prakken

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

2022

A Stit Logic of Intentionality.

Aldo Iván Ramírez Abarca, Jan M. Broersen

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022

BOID*: Autonomous Goal Deliberation through Abduction.

Stipe Pandzic, Jan M. Broersen, Henk Aarts

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

A Stit Logic of Responsibility.

Aldo Iván Ramírez Abarca, Jan M. Broersen

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Doing without Action Types.

Hein Duijf, Jan M. Broersen, Alexandra Kuncová, Aldo Iván Ramírez Abarca

Rev. Symb. Log., 2021

Stit semantics for epistemic notions based on information disclosure in interactive settings.

Aldo Iván Ramírez Abarca, Jan M. Broersen

J. Log. Algebraic Methods Program., 2021

A Deontic Stit Logic Based on Beliefs and Expected Utility.

Aldo Iván Ramírez Abarca, Jan M. Broersen

Proceedings of the Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2021

2019

Agents necessitating effects in newtonian time and space: from power and opportunity to effectivity.

Jan M. Broersen

Synth., 2019

A Logic of Objective and Subjective Oughts.

Aldo Iván Ramírez Abarca, Jan M. Broersen

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

On Elitist Lifting and Consistency in Structured Argumentation.

Sjur K. Dyrkolbotn, Truls Pedersen, Jan M. Broersen

FLAP, 2018

Knowledge and Subjective Oughts in STIT Logic.

Jan M. Broersen, Aldo Iván Ramírez Abarca

Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

Formalising Oughts and Practical Knowledge without Resorting to Action Types.

Jan M. Broersen, Aldo Iván Ramírez Abarca

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2016

Representing Strategies.

Hein Duijf, Jan M. Broersen

Proceedings of the 4th International Workshop on Strategic Reasoning, 2016

Arguments, Responsibilities and Moral Dilemmas in Abductive Default Logic.

Sjur Kristoffer Dyrkolbotn, Truls Pedersen, Jan M. Broersen

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

2015

Using STIT Theory to Talk About Strategies.

Jan M. Broersen, Andreas Herzig

Proceedings of the Models of Strategic Reasoning - Logics, Games, and Communities, 2015

Forbidding undesirable agreements.

Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer

J. Log. Comput., 2015

Special Issue on the Twelfth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013).

Silja Renooij, Jan M. Broersen

Int. J. Approx. Reason., 2015

2014

Responsible Intelligent Systems - The REINS Project.

Jan M. Broersen

Künstliche Intell., 2014

2013

Probabilistic stit logic and its decomposition.

Jan M. Broersen

Int. J. Approx. Reason., 2013

Grounding power on actions and mental attitudes.

Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan M. Broersen

Log. J. IGPL, 2013

PsyOps: Personality assessment through gaming behavior.

Shoshannah Tekofsky, Pieter Spronck, Aske Plaat, H. Jaap van den Herik, Jan M. Broersen

Proceedings of the 8th International Conference on the Foundations of Digital Games, 2013

Normative Reasoning and Consequence.

Jan M. Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber

Proceedings of the Normative Multi-Agent Systems, 2013

Play style: Showing your age.

Shoshannah Tekofsky, Pieter Spronck, Aske Plaat, H. Jaap van den Herik, Jan M. Broersen

Proceedings of the 2013 IEEE Conference on Computational Inteligence in Games (CIG), 2013

Towards a Player Age Model.

Shoshannah Tekofsky, Pieter Spronck, Martijn Goudbeek, Jan M. Broersen

Proceedings of the Ninth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2013

2012

Regulating competing coalitions: a logic for socially optimal group choices.

Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer

J. Appl. Non Class. Logics, 2012

Discussion Paper: Changing Norms Is Changing Obligation Change.

Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

2011

Making a Start with the <i>stit</i> Logic Analysis of Intentional Action.

Jan M. Broersen

J. Philos. Log., 2011

Deontic epistemic stit logic distinguishing modes of mens rea.

Jan M. Broersen

J. Appl. Log., 2011

Modeling Attempt and Action Failure in Probabilistic STIT Logic.

Jan M. Broersen

Proceedings of the IJCAI 2011, 2011

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science.

Jan M. Broersen, Leendert W. N. van der Torre

Proceedings of the Lectures on Logic and Computation, 2011

Probabilistic Stit Logic.

Jan M. Broersen

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

Probabilistic Action and Deontic Logic - (Invited Talk).

Jan M. Broersen

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.

Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

CTL.STIT: enhancing ATL to express important multi-agent system verification properties.

Jan M. Broersen

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

2009

Determining the environment: a modal logic for closed interaction.

Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini

Synth., 2009

What groups do, can do, and know they can do: an analysis in normal modal logics.

Jan M. Broersen, Andreas Herzig, Nicolas Troquard

J. Appl. Non Class. Logics, 2009

An Update Operator for Strategic Ability.

Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Strategic Ability Update: A Modal Logic Account.

Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

A stit-Logic for Extensive Form Group Strategies.

Jan M. Broersen

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Interpreting Product Update as Reasoning about Observations and Meta-Observations.

Jan M. Broersen

Proceedings of the Information processing, rational belief change and social interaction, 23.08., 2009

Representing Excuses in Social Dependence Networks.

Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre, Serena Villata

Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

2008

Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations.

Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

A Logic for Closed-World Interaction.

Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Conditional Norms and Dyadic Obligations in Time.

Jan M. Broersen, Leendert W. N. van der Torre

Proceedings of the ECAI 2008, 2008

Organizing Coherent Coalitions.

Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini

Proceedings of the ECAI 2008, 2008

A Deontic Logic for Socially Optimal Norms.

Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'.

Jan M. Broersen

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

A Complete STIT Logic for Knowledge and Action, and Some of Its Applications.

Jan M. Broersen

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

Issues in Designing Logical Models for Norm Change.

Jan M. Broersen

Proceedings of the Organized Adaption in Multi-Agent Systems, 2008

2007

Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations.

Philippe Balbiani, Jan M. Broersen, Julien Brunel

Proceedings of the 5th Workshop on Methods for Modalities, 2007

A normal simulation of coalition logic and an epistemic extension.

Jan M. Broersen, Andreas Herzig, Nicolas Troquard

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

Reasoning about Norms, Obligations, Time and Agents.

Jan M. Broersen, Leendert W. N. van der Torre

Proceedings of the Agent Computing and Multi-Agent Systems, 2007

'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations.

Jan M. Broersen, Julien Brunel

Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

Preservation of obligations in a temporal and deontic framework.

Jan M. Broersen, Julien Brunel

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.

Jan M. Broersen, Andreas Herzig, Nicolas Troquard

J. Log. Comput., 2006

A STIT-Extension of ATL.

Jan M. Broersen, Andreas Herzig, Nicolas Troquard

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario.

Jan M. Broersen

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

2005

Beliefs, obligations, intentions, and desires as components in an agent architecture.

Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre

Int. J. Intell. Syst., 2005

From Coalition Logic to STIT.

Jan M. Broersen, Andreas Herzig, Nicolas Troquard

Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, 2005

Beliefs in Agent Implementation.

Laurens Winkelhagen, Mehdi Dastani, Jan M. Broersen

Proceedings of the Declarative Agent Languages and Technologies III, 2005

Semantic Analysis of Chisholm's Paradox.

Jan M. Broersen, Leendert W. N. van der Torre

Proceedings of the BNAIC 2005, 2005

2004

Action negation and alternative reductions for dynamic deontic logics.

Jan M. Broersen

J. Appl. Log., 2004

On the Logic of 'Being Motivated to Achieve rho, Before delta'.

Jan M. Broersen

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Meeting the Deadline: Why, When and How.

Frank Dignum, Jan M. Broersen, Virginia Dignum, John-Jules Ch. Meyer

Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Specifying Multiagent Organizations.

Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan M. Broersen

Proceedings of the Deontic Logic in Computer Science, 2004

Designing a Deontic Logic of Deadlines.

Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer

Proceedings of the Deontic Logic in Computer Science, 2004

2003

What an Agent Ought To Do.

Jan M. Broersen, Leendert W. N. van der Torre

Artif. Intell. Law, 2003

BDIOCTL: Obligations and the Specification of Agent Behavior.

Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre

Proceedings of the IJCAI-03, 2003

2002

Realistic desires.

Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre

J. Appl. Non Class. Logics, 2002

The mutual exclusion problem in reasoning about action and change.

Jan M. Broersen, John-Jules Ch. Meyer, Roel J. Wieringa

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Trust and Commitment in Dynamic Logic.

Jan M. Broersen, Mehdi Dastani, Zhisheng Huang, Leendert W. N. van der Torre

Proceedings of the EurAsia-ICT 2002: Information and Communication Technology, 2002

Relativized Action Complement for Dynamic Logics.

Jan M. Broersen

Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002

2001

A Fixed-point Characterization of a Deontic Logic of Regular Action.

Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer

Fundam. Informaticae, 2001

Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires.

Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

The BOID architecture: conflicts between beliefs, obligations, intentions and desires.

Jan M. Broersen, Mehdi Dastani, Joris Hulstijn, Zhisheng Huang, Leendert W. N. van der Torre

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000

A Semantics for Persistency in Propositional Dynamic Logic.

Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer

Proceedings of the Computational Logic, 2000

1999

A Logic for the Specification of Multi-Object Systems (Short Paper).

Jan M. Broersen, Roel J. Wieringa

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1996

Minimal Semantics for Action Specifications in a Multi-modal Logic.

Jan M. Broersen, Remco Feenstra, Roel J. Wieringa

Proceedings of the Integrity in Databases, 1996