Search the dblp DataBase
Jan Broersen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jan Broersen , Mehdi Dastani , Joris Hulstijn , Zhisheng Huang , Leendert W. N. van der Torre The BOID architecture: conflicts between beliefs, obligations, intentions and desires. [Citation Graph (0, 0)][DBLP ] Agents, 2001, pp:9-16 [Conf ] Jan Broersen Relativized Action Complement for Dynamic Logics. [Citation Graph (0, 0)][DBLP ] Advances in Modal Logic, 2002, pp:51-70 [Conf ] Jan Broersen , Leendert W. N. van der Torre Semantic Analysis of Chisholm's Paradox. [Citation Graph (0, 0)][DBLP ] BNAIC, 2005, pp:28-34 [Conf ] Jan Broersen , Roel Wieringa , John-Jules Ch. Meyer A Semantics for Persistency in Propositional Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Computational Logic, 2000, pp:912-925 [Conf ] Laurens Winkelhagen , Mehdi Dastani , Jan Broersen Beliefs in Agent Implementation. [Citation Graph (0, 0)][DBLP ] DALT, 2005, pp:1-16 [Conf ] Jan Broersen Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario. [Citation Graph (0, 0)][DBLP ] DEON, 2006, pp:53-68 [Conf ] Jan Broersen , Frank Dignum , Virginia Dignum , John-Jules Ch. Meyer Designing a Deontic Logic of Deadlines. [Citation Graph (0, 0)][DBLP ] DEON, 2004, pp:43-56 [Conf ] Leendert W. N. van der Torre , Joris Hulstijn , Mehdi Dastani , Jan Broersen Specifying Multiagent Organizations. [Citation Graph (0, 0)][DBLP ] DEON, 2004, pp:243-257 [Conf ] Jan Broersen , Mehdi Dastani , Leendert W. N. van der Torre Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires. [Citation Graph (0, 0)][DBLP ] ECSQARU, 2001, pp:568-579 [Conf ] Jan Broersen , Mehdi Dastani , Zhisheng Huang , Leendert W. N. van der Torre Trust and Commitment in Dynamic Logic. [Citation Graph (0, 0)][DBLP ] EurAsia-ICT, 2002, pp:677-684 [Conf ] Frank Dignum , Jan Broersen , Virginia Dignum , John-Jules Ch. Meyer Meeting the Deadline: Why, When and How. [Citation Graph (0, 0)][DBLP ] FAABS, 2004, pp:30-40 [Conf ] Jan Broersen , Remco Feenstra , Roel Wieringa Minimal Semantics for Action Specifications in a Multi-modal Logic. [Citation Graph (0, 0)][DBLP ] FMLDO, 1996, pp:1-10 [Conf ] Jan Broersen , Roel Wieringa A Logic for the Specification of Multi-Object Systems (Short Paper). [Citation Graph (0, 0)][DBLP ] FMOODS, 1999, pp:- [Conf ] Jan Broersen , Mehdi Dastani , Leendert W. N. van der Torre BDIOCTL: Obligations and the Specification of Agent Behavior. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:1389-1390 [Conf ] Jan Broersen On the Logic of 'Being Motivated to Achieve rho, Before delta'. [Citation Graph (0, 0)][DBLP ] JELIA, 2004, pp:334-346 [Conf ] Jan Broersen , Andreas Herzig , Nicolas Troquard A STIT-Extension of ATL. [Citation Graph (0, 0)][DBLP ] JELIA, 2006, pp:69-81 [Conf ] Jan Broersen , John-Jules Ch. Meyer , Roel Wieringa The mutual exclusion problem in reasoning about action and change. [Citation Graph (0, 0)][DBLP ] NMR, 2002, pp:365-371 [Conf ] Jan Broersen , Leendert W. N. van der Torre What an Agent Ought To Do. [Citation Graph (0, 0)][DBLP ] Artif. Intell. Law, 2003, v:11, n:1, pp:45-61 [Journal ] Jan Broersen , Andreas Herzig , Nicolas Troquard From Coalition Logic to STIT. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:23-35 [Journal ] Jan Broersen , Roel Wieringa , John-Jules Ch. Meyer A Fixed-point Characterization of a Deontic Logic of Regular Action. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2001, v:48, n:2-3, pp:107-128 [Journal ] Jan Broersen , Roel Wieringa , John-Jules Ch. Meyer A Fixed-point Characterization of a Deontic Logic of Regular Action. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2002, v:49, n:4, pp:107-128 [Journal ] Jan Broersen , Mehdi Dastani , Leendert W. N. van der Torre Beliefs, obligations, intentions, and desires as components in an agent architecture. [Citation Graph (0, 0)][DBLP ] Int. J. Intell. Syst., 2005, v:20, n:9, pp:893-919 [Journal ] Jan Broersen , Mehdi Dastani , Leendert W. N. van der Torre Realistic desires. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2002, v:12, n:2, pp:287-308 [Journal ] Jan Broersen Action negation and alternative reductions for dynamic deontic logics. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2004, v:2, n:1, pp:153-168 [Journal ] Jan Broersen , Andreas Herzig , Nicolas Troquard Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2006, v:16, n:5, pp:559-578 [Journal ] Jan M. Broersen , Leendert W. N. van der Torre What an Agent Ought To Do. [Citation Graph (0, 0)][DBLP ] Normative Multi-agent Systems, 2007, pp:- [Conf ] Representing Excuses in Social Dependence Networks. [Citation Graph (, )][DBLP ] Preservation of obligations in a temporal and deontic framework. [Citation Graph (, )][DBLP ] Issues in Designing Logical Models for Norm Change. [Citation Graph (, )][DBLP ] CTL.STIT: enhancing ATL to express important multi-agent system verification properties. [Citation Graph (, )][DBLP ] 'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. [Citation Graph (, )][DBLP ] A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. [Citation Graph (, )][DBLP ] A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'. [Citation Graph (, )][DBLP ] A Deontic Logic for Socially Optimal Norms. [Citation Graph (, )][DBLP ] Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. [Citation Graph (, )][DBLP ] Organizing Coherent Coalitions. [Citation Graph (, )][DBLP ] Conditional Norms and Dyadic Obligations in Time. [Citation Graph (, )][DBLP ] A stit-Logic for Extensive Form Group Strategies. [Citation Graph (, )][DBLP ] Strategic Ability Update: A Modal Logic Account. [Citation Graph (, )][DBLP ] A Logic for Closed-World Interaction. [Citation Graph (, )][DBLP ] Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. [Citation Graph (, )][DBLP ] Reasoning about Norms, Obligations, Time and Agents. [Citation Graph (, )][DBLP ] A normal simulation of coalition logic and an epistemic extension. [Citation Graph (, )][DBLP ] An Update Operator for Strategic Ability. [Citation Graph (, )][DBLP ] Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.285secs