The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jan Broersen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Jan Broersen
    Relativized Action Complement for Dynamic Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:51-70 [Conf]
  3. 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]
  4. 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]
  5. Laurens Winkelhagen, Mehdi Dastani, Jan Broersen
    Beliefs in Agent Implementation. [Citation Graph (0, 0)][DBLP]
    DALT, 2005, pp:1-16 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Jan Broersen, Roel Wieringa
    A Logic for the Specification of Multi-Object Systems (Short Paper). [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  14. 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]
  15. Jan Broersen
    On the Logic of 'Being Motivated to Achieve rho, Before delta'. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:334-346 [Conf]
  16. Jan Broersen, Andreas Herzig, Nicolas Troquard
    A STIT-Extension of ATL. [Citation Graph (0, 0)][DBLP]
    JELIA, 2006, pp:69-81 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]

  27. Representing Excuses in Social Dependence Networks. [Citation Graph (, )][DBLP]


  28. Preservation of obligations in a temporal and deontic framework. [Citation Graph (, )][DBLP]


  29. Issues in Designing Logical Models for Norm Change. [Citation Graph (, )][DBLP]


  30. CTL.STIT: enhancing ATL to express important multi-agent system verification properties. [Citation Graph (, )][DBLP]


  31. 'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. [Citation Graph (, )][DBLP]


  32. A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. [Citation Graph (, )][DBLP]


  33. A Logical Analysis of the Interaction between 'Obligation-to-do' and 'Knowingly Doing'. [Citation Graph (, )][DBLP]


  34. A Deontic Logic for Socially Optimal Norms. [Citation Graph (, )][DBLP]


  35. Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. [Citation Graph (, )][DBLP]


  36. Organizing Coherent Coalitions. [Citation Graph (, )][DBLP]


  37. Conditional Norms and Dyadic Obligations in Time. [Citation Graph (, )][DBLP]


  38. A stit-Logic for Extensive Form Group Strategies. [Citation Graph (, )][DBLP]


  39. Strategic Ability Update: A Modal Logic Account. [Citation Graph (, )][DBLP]


  40. A Logic for Closed-World Interaction. [Citation Graph (, )][DBLP]


  41. Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. [Citation Graph (, )][DBLP]


  42. Reasoning about Norms, Obligations, Time and Agents. [Citation Graph (, )][DBLP]


  43. A normal simulation of coalition logic and an epistemic extension. [Citation Graph (, )][DBLP]


  44. An Update Operator for Strategic Ability. [Citation Graph (, )][DBLP]


  45. Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations. [Citation Graph (, )][DBLP]


Search in 0.023secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002