Jan Broersen

Jan Broersen: Probabilistic stit logic and its decomposition. Int. J. Approx. Reasoning 54(4): 467-477 (2013)

Jan 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: Normative Reasoning and Consequence. Normative Multi-Agent Systems 2013: 33-70

Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer: Regulating competing coalitions: a logic for socially optimal group choices. Journal of Applied Non-Classical Logics 22(1-2): 181-202 (2012)

Jan Broersen, Dov M. Gabbay, Leendert van der Torre: Discussion Paper: Changing Norms Is Changing Obligation Change. DEON 2012: 199-214

Thomas Ågotnes, Jan Broersen, Dag Elgesem (Eds.): Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Lecture Notes in Computer Science 7393, Springer 2012, isbn 978-3-642-31569-5

Jan Broersen: Deontic epistemic stit logic distinguishing modes of mens rea. J. Applied Logic 9(2): 137-152 (2011)

Jan Broersen: Making a Start with the stit Logic Analysis of Intentional Action. J. Philosophical Logic 40(4): 499-530 (2011)

Jan Broersen: Probabilistic Action and Deontic Logic - (Invited Talk). CLIMA 2011: 293-294

Jan Broersen: Probabilistic Stit Logic. ECSQARU 2011: 521-531

Jan Broersen, Leendert van der Torre: Ten Problems of Deontic Logic and Normative Reasoning in Computer Science. ESSLLI 2011: 55-88

Jan Broersen: Modeling Attempt and Action Failure in Probabilistic STIT Logic. IJCAI 2011: 792-797

Jan Broersen: CTL.STIT: enhancing ATL to express important multi-agent system verification properties. AAMAS 2010: 683-690

Paolo Turrini, Davide Grossi, Jan Broersen, John-Jules Ch. Meyer: Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. DEON 2010: 306-322

Philippe Balbiani, Jan Broersen, Julien Brunel: Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. Electr. Notes Theor. Comput. Sci. 231: 69-89 (2009)

Jan Broersen, Andreas Herzig, Nicolas Troquard: What groups do, can do, and know they can do: an analysis in normal modal logics. Journal of Applied Non-Classical Logics 19(3): 261-290 (2009)

Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Determining the environment: a modal logic for closed interaction. Synthese 169(2): 351-369 (2009)

Guido Boella, Jan Broersen, Leendert van der Torre, Serena Villata: Representing Excuses in Social Dependence Networks. AI*IA 2009: 365-374

Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Strategic Ability Update: A Modal Logic Account. Web Intelligence/IAT Workshops 2009: 470-473

Jan Broersen: A stit-Logic for Extensive Form Group Strategies. Web Intelligence/IAT Workshops 2009: 484-487

Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer: An Update Operator for Strategic Ability. LORI 2009: 292-301

John-Jules Ch. Meyer, Jan Broersen (Eds.): Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5605, Springer 2009, isbn 978-3-642-05300-9

Jan Broersen: Issues in Designing Logical Models for Norm Change. AAMAS-OAMAS 2008: 1-17

Jan Broersen: A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. DALT 2008: 47-59

Jan Broersen: A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'. DEON 2008: 140-154

Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Deontic Logic for Socially Optimal Norms. DEON 2008: 218-232

Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Organizing Coherent Coalitions. ECAI 2008: 879-880

Jan Broersen, Leendert van der Torre: Conditional Norms and Dyadic Obligations in Time. ECAI 2008: 883-884

Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Logic for Closed-World Interaction. JELIA 2008: 89-99

Guido Boella, Jan Broersen, Leendert van der Torre: Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. PRIMA 2008: 86-97

Jan Broersen, Julien Brunel: Preservation of obligations in a temporal and deontic framework. AAMAS 2007: 177

Jan Broersen, Julien Brunel: 'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. CLIMA 2007: 82-99

Jan Broersen, Leendert W. N. van der Torre: What an Agent Ought To Do. Normative Multi-agent Systems 2007

Jan Broersen, Leendert van der Torre: Reasoning about Norms, Obligations, Time and Agents. PRIMA 2007: 171-182

Jan Broersen, Andreas Herzig, Nicolas Troquard: A normal simulation of coalition logic and an epistemic extension. TARK 2007: 92-101

Jan Broersen, Andreas Herzig, Nicolas Troquard: From Coalition Logic to STIT. Electr. Notes Theor. Comput. Sci. 157(4): 23-35 (2006)

Jan Broersen, Andreas Herzig, Nicolas Troquard: Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. J. Log. Comput. 16(5): 559-578 (2006)

Jan Broersen: Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. DEON 2006: 53-68

Jan Broersen, Andreas Herzig, Nicolas Troquard: A STIT-Extension of ATL. JELIA 2006: 69-81

Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre: Beliefs, obligations, intentions, and desires as components in an agent architecture. Int. J. Intell. Syst. 20(9): 893-919 (2005)

Jan Broersen, Leendert W. N. van der Torre: Semantic Analysis of Chisholm's Paradox. BNAIC 2005: 28-34

Laurens Winkelhagen, Mehdi Dastani, Jan Broersen: Beliefs in Agent Implementation. DALT 2005: 1-16

Jan Broersen: Action negation and alternative reductions for dynamic deontic logics. J. Applied Logic 2(1): 153-168 (2004)

Jan Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer: Designing a Deontic Logic of Deadlines. DEON 2004: 43-56

Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen: Specifying Multiagent Organizations. DEON 2004: 243-257

Frank Dignum, Jan Broersen, Virginia Dignum, John-Jules Ch. Meyer: Meeting the Deadline: Why, When and How. FAABS 2004: 30-40

Jan Broersen: On the Logic of 'Being Motivated to Achieve rho, Before delta'. JELIA 2004: 334-346

Jan Broersen, Leendert W. N. van der Torre: What an Agent Ought To Do. Artif. Intell. Law 11(1): 45-61 (2003)

Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre: BDIOCTL: Obligations and the Specification of Agent Behavior. IJCAI 2003: 1389-1390

Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Inform. 49(4): 107-128 (2002)

Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre: Realistic desires. Journal of Applied Non-Classical Logics 12(2): 287-308 (2002)

Jan Broersen: Relativized Action Complement for Dynamic Logics. Advances in Modal Logic 2002: 51-70

Jan Broersen, Mehdi Dastani, Zhisheng Huang, Leendert W. N. van der Torre: Trust and Commitment in Dynamic Logic. EurAsia-ICT 2002: 677-684

Jan Broersen, John-Jules Ch. Meyer, Roel Wieringa: The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371

Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Inform. 48(2-3): 107-128 (2001)

Jan Broersen, Mehdi Dastani, Joris Hulstijn, Zhisheng Huang, Leendert W. N. van der Torre: The BOID architecture: conflicts between beliefs, obligations, intentions and desires. Agents 2001: 9-16

Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre: Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires. ECSQARU 2001: 568-579

Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000: 912-925

Jan Broersen, Roel Wieringa: A Logic for the Specification of Multi-Object Systems (Short Paper). FMOODS 1999

Jan Broersen, Remco Feenstra, Roel Wieringa: Minimal Semantics for Action Specifications in a Multi-modal Logic. FMLDO 1996: 1-10