Jan M. Broersen

87 papers A* 2A 7B 9C 3Journal 22Unranked 39

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