Jan M. Broersen

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 16

Top Topics

Expected Utility

Mental Attitudes

Logical Framework

Top Venues

Int. J. Approx. Reason.

Publications

Daniela Schuster, Jan M. Broersen, Henry Prakken
On Floating Conclusions. DEON (2023)
Aldo Iván Ramírez Abarca, Jan M. Broersen
A Stit Logic of Responsibility. AAMAS (2022)
Stipe Pandzic, Jan M. Broersen, Henk Aarts
BOID*: Autonomous Goal Deliberation through Abduction. AAMAS (2022)
Aldo Iván Ramírez Abarca, Jan M. Broersen
A Stit Logic of Intentionality. DaLí (2022)
Aldo Iván Ramírez Abarca, Jan M. Broersen
Stit semantics for epistemic notions based on information disclosure in interactive settings. J. Log. Algebraic Methods Program. 123 (2021)
Aldo Iván Ramírez Abarca, Jan M. Broersen
A Deontic Stit Logic Based on Beliefs and Expected Utility. TARK (2021)
Hein Duijf, Jan M. Broersen, Alexandra Kuncová, Aldo Iván Ramírez Abarca
Doing without Action Types. Rev. Symb. Log. 14 (2) (2021)
Aldo Iván Ramírez Abarca, Jan M. Broersen
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings. CoRR (2019)
Jan M. Broersen
Agents necessitating effects in newtonian time and space: from power and opportunity to effectivity. Synth. 196 (1) (2019)
Aldo Iván Ramírez Abarca, Jan M. Broersen
Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings. DaLí (2019)
Aldo Iván Ramírez Abarca, Jan M. Broersen
A Logic of Objective and Subjective Oughts. JELIA (2019)
Sjur K. Dyrkolbotn, Truls Pedersen, Jan M. Broersen
On Elitist Lifting and Consistency in Structured Argumentation. FLAP 5 (3) (2018)
Jan M. Broersen, Aldo Iván Ramírez Abarca
Formalising Oughts and Practical Knowledge without Resorting to Action Types. AAMAS (2018)
Jan M. Broersen, Aldo Iván Ramírez Abarca
Knowledge and Subjective Oughts in STIT Logic. DEON (2018)
Sjur Kristoffer Dyrkolbotn, Truls Pedersen, Jan M. Broersen
Arguments, Responsibilities and Moral Dilemmas in Abductive Default Logic. DEON (2016)
Hein Duijf, Jan M. Broersen
Representing Strategies. SR (2016)
Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer
Forbidding undesirable agreements. J. Log. Comput. 25 (1) (2015)
Silja Renooij, Jan M. Broersen
Special Issue on the Twelfth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2013). Int. J. Approx. Reason. 58 (2015)
Jan M. Broersen
Responsible Intelligent Systems - The REINS Project. Künstliche Intell. 28 (3) (2014)
Shoshannah Tekofsky, Pieter Spronck, Aske Plaat, H. Jaap van den Herik, Jan M. Broersen
Play style: Showing your age. CIG (2013)
Jan M. Broersen
Probabilistic stit logic and its decomposition. Int. J. Approx. Reason. 54 (4) (2013)
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan M. Broersen
Grounding power on actions and mental attitudes. Log. J. IGPL 21 (3) (2013)
Shoshannah Tekofsky, Pieter Spronck, Aske Plaat, H. Jaap van den Herik, Jan M. Broersen
PsyOps: Personality assessment through gaming behavior. FDG (2013)
Shoshannah Tekofsky, Pieter Spronck, Martijn Goudbeek, Jan M. Broersen
Towards a Player Age Model. AIIDE (2013)
Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer
Regulating competing coalitions: a logic for socially optimal group choices. J. Appl. Non Class. Logics 22 (1-2) (2012)
Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre
Discussion Paper: Changing Norms Is Changing Obligation Change. DEON (2012)
Jan M. Broersen, Leendert W. N. van der Torre
Ten Problems of Deontic Logic and Normative Reasoning in Computer Science. ESSLLI (2011)
Jan M. Broersen
Probabilistic Action and Deontic Logic - (Invited Talk). CLIMA (2011)
Jan M. Broersen
Modeling Attempt and Action Failure in Probabilistic STIT Logic. IJCAI (2011)
Jan M. Broersen
Probabilistic Stit Logic. ECSQARU (2011)
Jan M. Broersen
Logic Analysis of Intentional Action. J. Philos. Log. 40 (4) (2011)
Jan M. Broersen
Deontic epistemic stit logic distinguishing modes of mens rea. J. Appl. Log. 9 (2) (2011)
Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer
Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. DEON (2010)
Jan M. Broersen
CTL.STIT: enhancing ATL to express important multi-agent system verification properties. AAMAS (2010)
Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer
An Update Operator for Strategic Ability. LORI (2009)
Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
Determining the environment: a modal logic for closed interaction. Synth. 169 (2) (2009)
Philippe Balbiani, Jan M. Broersen, Julien Brunel
Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. Electron. Notes Theor. Comput. Sci. 231 (2009)
Jan M. Broersen
A stit-Logic for Extensive Form Group Strategies. Web Intelligence/IAT Workshops (2009)
Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
Strategic Ability Update: A Modal Logic Account. Web Intelligence/IAT Workshops (2009)
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
What groups do, can do, and know they can do: an analysis in normal modal logics. J. Appl. Non Class. Logics 19 (3) (2009)
Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre, Serena Villata
Representing Excuses in Social Dependence Networks. AI*IA (2009)
Jan M. Broersen
Deontic Epistemic stit Logic Distinguishing Modes of 'Mens Rea'. Information processing, rational belief change and social interaction (2009)
Jan M. Broersen
Interpreting Product Update as Reasoning about Observations and Meta-Observations. Information processing, rational belief change and social interaction (2009)
Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. PRIMA (2008)
Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
A Logic for Closed-World Interaction. JELIA (2008)
Jan M. Broersen
A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'. DEON (2008)
Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
Organizing Coherent Coalitions. ECAI (2008)
Jan M. Broersen
Issues in Designing Logical Models for Norm Change. AAMAS-OAMAS (2008)
Jan M. Broersen
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. DALT (2008)
Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini
A Deontic Logic for Socially Optimal Norms. DEON (2008)
Jan M. Broersen, Leendert W. N. van der Torre
Conditional Norms and Dyadic Obligations in Time. ECAI (2008)
Jan M. Broersen, Julien Brunel
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. CLIMA (2007)
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
A normal simulation of coalition logic and an epistemic extension. TARK (2007)
Jan M. Broersen, Julien Brunel
Preservation of obligations in a temporal and deontic framework. AAMAS (2007)
Jan M. Broersen, Leendert W. N. van der Torre
Reasoning about Norms, Obligations, Time and Agents. PRIMA (2007)
Jan M. Broersen, Leendert W. N. van der Torre
What an Agent Ought To Do. Normative Multi-agent Systems (2007)
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
From Coalition Logic to STIT. Electron. Notes Theor. Comput. Sci. 157 (4) (2006)
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. J. Log. Comput. 16 (5) (2006)
Jan M. Broersen, Andreas Herzig, Nicolas Troquard
A STIT-Extension of ATL. JELIA (2006)
Jan M. Broersen
Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. DEON (2006)
Laurens Winkelhagen, Mehdi Dastani, Jan M. Broersen
Beliefs in Agent Implementation. DALT (2005)
Jan M. 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) (2005)
Jan M. Broersen, Leendert W. N. van der Torre
Semantic Analysis of Chisholm's Paradox. BNAIC (2005)
Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer
Designing a Deontic Logic of Deadlines. DEON (2004)
Frank Dignum, Jan M. Broersen, Virginia Dignum, John-Jules Ch. Meyer
Meeting the Deadline: Why, When and How. FAABS (2004)
Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan M. Broersen
Specifying Multiagent Organizations. DEON (2004)
Jan M. Broersen
On the Logic of 'Being Motivated to Achieve rho, Before delta'. JELIA (2004)
Jan M. Broersen
Action negation and alternative reductions for dynamic deontic logics. J. Appl. Log. 2 (1) (2004)
Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre
BDIOCTL: Obligations and the Specification of Agent Behavior. IJCAI (2003)
Jan M. Broersen, Leendert W. N. van der Torre
What an Agent Ought To Do. Artif. Intell. Law 11 (1) (2003)
Jan M. Broersen
Relativized Action Complement for Dynamic Logics. Advances in Modal Logic (2002)
Jan M. Broersen, Mehdi Dastani, Zhisheng Huang, Leendert W. N. van der Torre
Trust and Commitment in Dynamic Logic. EurAsia-ICT (2002)
Jan M. Broersen, John-Jules Ch. Meyer, Roel J. Wieringa
The mutual exclusion problem in reasoning about action and change. NMR (2002)
Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre
Realistic desires. J. Appl. Non Class. Logics 12 (2) (2002)
Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer
A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Informaticae 48 (2-3) (2001)
Jan M. 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)
Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre
Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires. ECSQARU (2001)
Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer
A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic (2000)
Jan M. Broersen, Roel J. Wieringa
A Logic for the Specification of Multi-Object Systems (Short Paper). FMOODS (1999)
Jan M. Broersen, Remco Feenstra, Roel J. Wieringa
Minimal Semantics for Action Specifications in a Multi-modal Logic. FMLDO (1996)