Jan Broersen

2009
38	EE	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)
2008
37	EE	Jan Broersen: A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. DALT 2008: 47-59
36	EE	Jan Broersen: A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'. DEON 2008: 140-154
35	EE	Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Deontic Logic for Socially Optimal Norms. DEON 2008: 218-232
34	EE	Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Organizing Coherent Coalitions. ECAI 2008: 879-880
33	EE	Jan Broersen, Leendert van der Torre: Conditional Norms and Dyadic Obligations in Time. ECAI 2008: 883-884
32	EE	Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Logic for Closed-World Interaction. JELIA 2008: 89-99
31	EE	Guido Boella, Jan Broersen, Leendert van der Torre: Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. PRIMA 2008: 86-97
2007
30	EE	Jan Broersen, Julien Brunel: Preservation of obligations in a temporal and deontic framework. AAMAS 2007: 177
29	EE	Jan Broersen, Julien Brunel: 'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. CLIMA VIII 2007: 82-99
28	EE	Jan Broersen, Leendert W. N. van der Torre: What an Agent Ought To Do. Normative Multi-agent Systems 2007
27	EE	Jan Broersen, Leendert van der Torre: Reasoning about Norms, Obligations, Time and Agents. PRIMA 2007: 171-182
26	EE	Jan Broersen, Andreas Herzig, Nicolas Troquard: A normal simulation of coalition logic and an epistemic extension. TARK 2007: 92-101
2006
25	EE	Jan Broersen: Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. DEON 2006: 53-68
24	EE	Jan Broersen, Andreas Herzig, Nicolas Troquard: A STIT-Extension of ATL. JELIA 2006: 69-81
23	EE	Jan Broersen, Andreas Herzig, Nicolas Troquard: From Coalition Logic to STIT. Electr. Notes Theor. Comput. Sci. 157(4): 23-35 (2006)
22	EE	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)
2005
21		Jan Broersen, Leendert W. N. van der Torre: Semantic Analysis of Chisholm's Paradox. BNAIC 2005: 28-34
20	EE	Laurens Winkelhagen, Mehdi Dastani, Jan Broersen: Beliefs in Agent Implementation. DALT 2005: 1-16
19	EE	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)
2004
18	EE	Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan Broersen: Specifying Multiagent Organizations. DEON 2004: 243-257
17	EE	Jan Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer: Designing a Deontic Logic of Deadlines. DEON 2004: 43-56
16	EE	Frank Dignum, Jan Broersen, Virginia Dignum, John-Jules Ch. Meyer: Meeting the Deadline: Why, When and How. FAABS 2004: 30-40
15	EE	Jan Broersen: On the Logic of 'Being Motivated to Achieve rho, Before delta'. JELIA 2004: 334-346
14	EE	Jan Broersen: Action negation and alternative reductions for dynamic deontic logics. J. Applied Logic 2(1): 153-168 (2004)
2003
13		Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre: BDIOCTL: Obligations and the Specification of Agent Behavior. IJCAI 2003: 1389-1390
12	EE	Jan Broersen, Leendert W. N. van der Torre: What an Agent Ought To Do. Artif. Intell. Law 11(1): 45-61 (2003)
2002
11		Jan Broersen: Relativized Action Complement for Dynamic Logics. Advances in Modal Logic 2002: 51-70
10	EE	Jan Broersen, Mehdi Dastani, Zhisheng Huang, Leendert W. N. van der Torre: Trust and Commitment in Dynamic Logic. EurAsia-ICT 2002: 677-684
9		Jan Broersen, John-Jules Ch. Meyer, Roel Wieringa: The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371
8		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)
7		Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre: Realistic desires. Journal of Applied Non-Classical Logics 12(2): 287-308 (2002)
2001
6	EE	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
5	EE	Jan Broersen, Mehdi Dastani, Leendert W. N. van der Torre: Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires. ECSQARU 2001: 568-579
4		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)
2000
3	EE	Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000: 912-925
1999
2		Jan Broersen, Roel Wieringa: A Logic for the Specification of Multi-Object Systems (Short Paper). FMOODS 1999
1996
1	EE	Jan Broersen, Remco Feenstra, Roel Wieringa: Minimal Semantics for Action Specifications in a Multi-modal Logic. FMLDO 1996: 1-10

Coauthor Index

1	Philippe Balbiani	[38]
2	Guido Boella	[31]
3	Julien Brunel	[29] [30] [38]
4	Mehdi Dastani	[5] [6] [7] [10] [13] [18] [19] [20]
5	Frank Dignum (F. P. M. Dignum)	[16] [17]
6	Virginia Dignum	[16] [17]
7	Remco Feenstra	[1]
8	Andreas Herzig	[22] [23] [24] [26]
9	Zhisheng Huang	[6] [10]
10	Joris Hulstijn	[6] [18]
11	Rosja Mastop	[32] [34] [35]
12	John-Jules Ch. Meyer	[3] [4] [8] [9] [16] [17] [32] [34] [35]
13	Leendert W. N. van der Torre (Leendert van der Torre)	[5] [6] [7] [10] [12] [13] [18] [19] [21] [27] [28] [31] [33]
14	Nicolas Troquard	[22] [23] [24] [26]
15	Paolo Turrini	[32] [34] [35]
16	Roel Wieringa	[1] [2] [3] [4] [8] [9]
17	Laurens Winkelhagen	[20]