The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

John-Jules Ch. Meyer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roel Wieringa, John-Jules Ch. Meyer, Hans Weigand
    Specifying Dynamic and Deontic Integrity Constraints. [Citation Graph (3, 0)][DBLP]
    Data Knowl. Eng., 1989, v:4, n:, pp:157-189 [Journal]
  2. John-Jules Ch. Meyer, Hans Weigand, Roel Wieringa
    A Specification Language for Static, Dynamic and Deontic Integrity Constraints. [Citation Graph (2, 14)][DBLP]
    MFDBS, 1989, pp:347-366 [Conf]
  3. John-Jules Ch. Meyer, Roel Wieringa, Frank Dignum
    The Role of Deontic Logic in the Specification of Information Systems. [Citation Graph (1, 0)][DBLP]
    Logics for Databases and Information Systems, 1998, pp:71-115 [Conf]
  4. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
    Dynamic Database Logic: the First-order Case. [Citation Graph (1, 0)][DBLP]
    FMLDO, 1992, pp:103-120 [Conf]
  5. Roel Wieringa, Hans Weigand, John-Jules Ch. Meyer, Frank Dignum
    The Inheritance of Dynamic and Deontic Integrity Constraints. [Citation Graph (1, 0)][DBLP]
    Ann. Math. Artif. Intell., 1991, v:3, n:2-4, pp:393-428 [Journal]
  6. Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer
    Optimal Communication Vocabularies and Heterogeneous Ontologies. [Citation Graph (0, 0)][DBLP]
    AC, 2004, pp:76-90 [Conf]
  7. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Operational Semantics for Agent Communication Languages. [Citation Graph (0, 0)][DBLP]
    Issues in Agent Communication, 2000, pp:80-95 [Conf]
  8. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Semantics of Communicating Agents Based on Deduction and Abduction. [Citation Graph (0, 0)][DBLP]
    Issues in Agent Communication, 2000, pp:63-79 [Conf]
  9. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Seeing is Believing. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1995, pp:402-413 [Conf]
  10. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Constructing Translations Between Individual Vocabularies in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    AIMSA, 1998, pp:240-253 [Conf]
  11. John-Jules Ch. Meyer
    Agent-Oriented Programming: Where Do We Stand?. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:23-26 [Conf]
  12. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
    Semantics of Plan Revision in Intelligent Agents. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:426-442 [Conf]
  13. M. Birna van Riemsdijk, John-Jules Ch. Meyer
    A Compositional Semantics of Plan Revision in Intelligent Agents. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:353-367 [Conf]
  14. Mehdi Dastani, Birna van Riemsdijk, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer
    Enacting and Deacting Roles in Agent Programming. [Citation Graph (0, 0)][DBLP]
    AOSE, 2004, pp:189-204 [Conf]
  15. Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
    A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. [Citation Graph (0, 0)][DBLP]
    ArgMAS, 2004, pp:44-63 [Conf]
  16. Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
    A Logical Model for Commitment and Argument Network for Agent Communication. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:792-799 [Conf]
  17. Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer
    Norm compliance of protocols in electronic institutions. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:1291-1292 [Conf]
  18. Mehdi Dastani, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer
    Issues in Multiagent System Development. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:922-929 [Conf]
  19. Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
    Goal types in agent programming. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1285-1287 [Conf]
  20. Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer
    Autonomy and Agent Deliberation. [Citation Graph (0, 0)][DBLP]
    Agents and Computational Autonomy, 2003, pp:114-127 [Conf]
  21. Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer
    ANEMONE: an effective minimal ontology negotiation environment. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:899-906 [Conf]
  22. Virginia Dignum, John-Jules Ch. Meyer, Hans Weigand
    Towards an organizational model for agent societies using contracts. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:694-695 [Conf]
  23. Mehdi Dastani, Frank S. de Boer, Frank Dignum, John-Jules Ch. Meyer
    Programming agent deliberation: an approach illustrated using the 3APL language. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:97-104 [Conf]
  24. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Generalised Object-Oriented Concepts for Inter-agent Communication. [Citation Graph (0, 0)][DBLP]
    ATAL, 2000, pp:260-274 [Conf]
  25. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Process Algebra for Agent Communication: A General Semantic Approach. [Citation Graph (0, 0)][DBLP]
    Communication in Multiagent Systems, 2003, pp:113-128 [Conf]
  26. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Information-Passing and Belief Revision in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:29-45 [Conf]
  27. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Open Multi-agent Systems: Agent Communication and Integration. [Citation Graph (0, 0)][DBLP]
    ATAL, 1999, pp:218-232 [Conf]
  28. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming with Declarative Goals. [Citation Graph (0, 0)][DBLP]
    ATAL, 2000, pp:228-243 [Conf]
  29. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Formal Semantics for an Abstract Agent Programming Language. [Citation Graph (0, 0)][DBLP]
    ATAL, 1997, pp:215-229 [Conf]
  30. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Control Structures of Rule-Based Agent Languages. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:381-396 [Conf]
  31. Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer
    A Dialogue Game to Offer an Agreement to Disagree. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:1238-1239 [Conf]
  32. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Formalising Motivational Attitudes of Agents. [Citation Graph (0, 0)][DBLP]
    ATAL, 1995, pp:17-32 [Conf]
  33. John-Jules Ch. Meyer
    Agent Languages and Their Relationship to Other Programming Paradigms. [Citation Graph (0, 0)][DBLP]
    ATAL, 1998, pp:309-316 [Conf]
  34. John-Jules Ch. Meyer, Milind Tambe
    Introduction. [Citation Graph (0, 0)][DBLP]
    ATAL, 2001, pp:1-5 [Conf]
  35. M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
    Prototyping 3APL in the Maude term rewriting language. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1279-1281 [Conf]
  36. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer
    Semantics of declarative goals in agent programming. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:133-140 [Conf]
  37. M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer
    Goal-oriented modularity in agent programming. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1271-1278 [Conf]
  38. Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent programming in dribble: from beliefs to goals using plans. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:393-400 [Conf]
  39. Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer
    Iterated belief change in multi-agent systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2002, pp:889-896 [Conf]
  40. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Formal Embedding of AgentSpeak(L) in 3APL. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 1998, pp:155-166 [Conf]
  41. Geert Jonker, John-Jules Ch. Meyer, Frank Dignum
    Efficiency and Fairness in Air Traffic Control. [Citation Graph (0, 0)][DBLP]
    BNAIC, 2005, pp:151-157 [Conf]
  42. Wieke de Vries, Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Programming Language for Coordinating Group Actions. [Citation Graph (0, 0)][DBLP]
    CEEMAS, 2001, pp:313-321 [Conf]
  43. 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]
  44. M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
    Prototyping 3APL in the Maude Term Rewriting Language. [Citation Graph (0, 0)][DBLP]
    CLIMA VII, 2006, pp:95-114 [Conf]
  45. Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
    A Computational Model for Conversation Policies for Agent Communication. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:178-195 [Conf]
  46. Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance
    A New Logical Semantics for Agent Communication. [Citation Graph (0, 0)][DBLP]
    CLIMA VII, 2006, pp:151-170 [Conf]
  47. Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
    Contextual Taxonomies. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:33-51 [Conf]
  48. Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
    Contextual Terminologies. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:284-302 [Conf]
  49. M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
    Dynamic Logic for Plan Revision in Intelligent Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:16-32 [Conf]
  50. Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
    Failure Semantics for the Exchange of Information in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:214-228 [Conf]
  51. Frank S. de Boer, Cees Pierik, Rogier M. van Eijk, John-Jules Ch. Meyer
    Coordinating Agents in OO. [Citation Graph (0, 0)][DBLP]
    Objects, Agents, and Features, 2003, pp:8-25 [Conf]
  52. John-Jules Ch. Meyer
    Intelligent Agents: Issues and Logics. [Citation Graph (0, 0)][DBLP]
    Logics for Emerging Applications of Databases, 2003, pp:131-165 [Conf]
  53. John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich
    Objects, Agents, and Features: An Introduction. [Citation Graph (0, 0)][DBLP]
    Objects, Agents, and Features, 2003, pp:1-7 [Conf]
  54. Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer
    A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. [Citation Graph (0, 0)][DBLP]
    DALT, 2005, pp:223-244 [Conf]
  55. Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer
    Dynamics of Declarative Goals in Agent Programming. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:1-18 [Conf]
  56. 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]
  57. Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa, Ruurd Kuiper
    A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation. [Citation Graph (0, 0)][DBLP]
    DEON, 1996, pp:80-97 [Conf]
  58. Davide Grossi, Frank Dignum, Lambèr M. M. Royakkers, John-Jules Ch. Meyer
    Collective Obligations and Agents: Who Gets the Blame? [Citation Graph (0, 0)][DBLP]
    DEON, 2004, pp:129-145 [Conf]
  59. Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
    Counts-as: Classification or Constitution? An Answer Using Modal Logic. [Citation Graph (0, 0)][DBLP]
    DEON, 2006, pp:115-130 [Conf]
  60. Mehdi Dastani, John-Jules Ch. Meyer
    Programming Agents with Emotions. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:215-219 [Conf]
  61. Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
    Goal Types in Agent Programming. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:220-224 [Conf]
  62. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Systems of Communicating Agents. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:293-297 [Conf]
  63. Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen
    On Modal Logic Interpretations of Games. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:28-32 [Conf]
  64. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Tests as Epistemic Updates. [Citation Graph (0, 0)][DBLP]
    ECAI, 1994, pp:331-335 [Conf]
  65. John-Jules Ch. Meyer
    Reasoning about Emotional Agents. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:129-133 [Conf]
  66. Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
    Failure Semantics for the Exchange of Information in Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:265- [Conf]
  67. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    The Dynamics of Default Reasoning (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1995, pp:277-284 [Conf]
  68. John-Jules Ch. Meyer, Wiebe van der Hoek
    A Default Logic Based on Epistemic States. [Citation Graph (0, 0)][DBLP]
    ECSQARU, 1993, pp:265-273 [Conf]
  69. Geert Jonker, John-Jules Ch. Meyer, Frank Dignum
    Towards a Market Mechanism for Airport Traffic Control. [Citation Graph (0, 0)][DBLP]
    EPIA, 2005, pp:500-511 [Conf]
  70. M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer
    Subgoal Semantics in Agent Programming. [Citation Graph (0, 0)][DBLP]
    EPIA, 2005, pp:548-559 [Conf]
  71. Hans Weigand, Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum
    Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts. [Citation Graph (0, 0)][DBLP]
    ESAW, 2002, pp:257-269 [Conf]
  72. 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]
  73. Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand
    Formal Specification of Interaction in Agent Societies. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:37-52 [Conf]
  74. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Programming Logic for Part of the Agent Language 3APL. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:78-89 [Conf]
  75. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
    Verification within the KARO Agent Theory. [Citation Graph (0, 0)][DBLP]
    FAABS, 2000, pp:33-47 [Conf]
  76. John-Jules Ch. Meyer
    Tools and Education towards Formal Methods Practice. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:274-279 [Conf]
  77. Birna van Riemsdijk, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming in Dribble: From Beliefs to Goals with Plans. [Citation Graph (0, 0)][DBLP]
    FAABS, 2002, pp:294-295 [Conf]
  78. John-Jules Ch. Meyer, J. C. van Leeuwen
    Possible World Semantics for Analogous Reasoning. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:414-429 [Conf]
  79. Paul Spruit, John-Jules Ch. Meyer
    Declarative Semantics of Passive and Active Updates in Logic Databases. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1991, pp:37-46 [Conf]
  80. Paul Spruit, John-Jules Ch. Meyer, Roel Wieringa
    Discussion Issues for a Working Group on Update Semantics of Logic Databases. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1991, pp:209-210 [Conf]
  81. Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
    Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as. [Citation Graph (0, 0)][DBLP]
    ICAIL, 2005, pp:1-9 [Conf]
  82. J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer
    Linear Time and Branching Time Semantics for Recursion with Merge. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:39-51 [Conf]
  83. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
    Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP]
    ICALP, 1985, pp:149-157 [Conf]
  84. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Information-Passing and Belief Revision in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    ICMAS, 1998, pp:473-474 [Conf]
  85. Lluis Godo, Wiebe van der Hoek, John-Jules Ch. Meyer, Carles Sierra
    Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II. [Citation Graph (0, 0)][DBLP]
    IPMU, 1994, pp:440-452 [Conf]
  86. John-Jules Ch. Meyer
    Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems. [Citation Graph (0, 0)][DBLP]
    ISCO, 1999, pp:299-310 [Conf]
  87. Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin
    Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. [Citation Graph (0, 0)][DBLP]
    ITNG, 2007, pp:507-515 [Conf]
  88. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Modal Logic for Network Topologies. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:269-283 [Conf]
  89. John-Jules Ch. Meyer, Wiebe van der Hoek
    Non-Monotonic Reasoning by Monotonic Means. [Citation Graph (0, 0)][DBLP]
    JELIA, 1990, pp:399-411 [Conf]
  90. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Communicating Rational Agents. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:202-213 [Conf]
  91. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Actions That Make You Change Your Mind (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    KI, 1995, pp:185-196 [Conf]
  92. Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer
    A Logic of Capabilities. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:366-378 [Conf]
  93. Wiebe van der Hoek, John-Jules Ch. Meyer
    Graded Modalities in Epistemic Logic. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:503-514 [Conf]
  94. J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer
    Correctness of Programs with Function Procedures. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:94-112 [Conf]
  95. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
    Formal Semantics of Temporal Epistemic Reflection. [Citation Graph (0, 0)][DBLP]
    META, 1994, pp:332-352 [Conf]
  96. John-Jules Ch. Meyer
    Programming Cognitive Agents. [Citation Graph (0, 0)][DBLP]
    MATES, 2005, pp:27-34 [Conf]
  97. John-Jules Ch. Meyer, Erik P. de Vink
    Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:360-369 [Conf]
  98. Roel Wieringa, John-Jules Ch. Meyer
    Actor-Oriented Specification of Deontic Integrity Constraints. [Citation Graph (0, 14)][DBLP]
    MFDBS, 1991, pp:89-103 [Conf]
  99. John-Jules Ch. Meyer, Patrick Doherty
    Preferential Action Semantics (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    ModelAge Workshop, 1997, pp:187-201 [Conf]
  100. John-Jules Ch. Meyer, Pierre-Yves Schobbens
    Formal Models of Agents: An Introduction. [Citation Graph (0, 0)][DBLP]
    ModelAge Workshop, 1997, pp:1-7 [Conf]
  101. 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]
  102. Wieke de Vries, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Truly Concurrent Model for Interacting Agents. [Citation Graph (0, 0)][DBLP]
    PRIMA, 2001, pp:16-30 [Conf]
  103. Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer
    A Programming Language for Cognitive Agents Goal Directed 3APL. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2003, pp:111-130 [Conf]
  104. Fernando Koch, John-Jules Ch. Meyer, Frank Dignum, Iyad Rahwan
    Programming Deliberative Agents for Mobile Services: The 3APL-M Platform. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2005, pp:222-235 [Conf]
  105. Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer
    A Dialogue Game to Offer an Agreement to Disagree. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2004, pp:199-223 [Conf]
  106. Wiebe van der Hoek, M. van Hulst, John-Jules Ch. Meyer
    Towards an Epistemic Approach to Reasoning about Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:261-287 [Conf]
  107. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
    Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency [Citation Graph (0, 0)][DBLP]
    STOC, 1985, pp:252-262 [Conf]
  108. John-Jules Ch. Meyer, Erik P. de Vink
    Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:241-255 [Conf]
  109. John-Jules Ch. Meyer, Roel Wieringa
    Actor-Oriented System Specification with Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:337-357 [Conf]
  110. M. van Hulst, John-Jules Ch. Meyer
    An Epistemic Proof System for Parallel Processes. [Citation Graph (0, 0)][DBLP]
    TARK, 1994, pp:243-254 [Conf]
  111. Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
    Reasoning about agents in the KARO framework. [Citation Graph (0, 0)][DBLP]
    TIME, 2001, pp:206-213 [Conf]
  112. Jamal Bentahar, John-Jules Ch. Meyer
    A New Quantitative Trust Model for Negotiating Agents. [Citation Graph (0, 0)][DBLP]
    RCIS, 2007, pp:39-50 [Conf]
  113. Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek
    Process algebra and constraint programming for modeling interactions in MAS. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2005, v:16, n:2-3, pp:113-150 [Journal]
  114. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    A Verification Framework for Agent Communication. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 2003, v:6, n:2, pp:185-219 [Journal]
  115. Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming in 3APL. [Citation Graph (0, 0)][DBLP]
    Autonomous Agents and Multi-Agent Systems, 1999, v:2, n:4, pp:357-401 [Journal]
  116. J. W. de Bakker, John-Jules Ch. Meyer
    Order and Metric in the Stream Semantics of Elemental Concurrency. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1987, v:24, n:5, pp:491-511 [Journal]
  117. John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
    Hiding in Stream Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1989, v:27, n:5, pp:381-397 [Journal]
  118. John-Jules Ch. Meyer, Wiebe van der Hoek, Bernd van Linder
    A Logical Approach to the Dynamics of Commitments. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:113, n:1-2, pp:1-40 [Journal]
  119. P. d'Altan, John-Jules Ch. Meyer, Roel Wieringa
    An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Law, 1996, v:4, n:2, pp:77-111 [Journal]
  120. John-Jules Ch. Meyer, Wiebe van der Hoek
    Counterfactual Reasoning by (means of) Defaults. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:9, n:3-4, pp:345-360 [Journal]
  121. John-Jules Ch. Meyer, Wiebe van der Hoek
    A Modal Contrastive Logic: The Logic of `but'. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:17, n:3-4, pp:291-313 [Journal]
  122. Roel Wieringa, John-Jules Ch. Meyer
    Actors, Actions, and Initiative in Normative System Specification. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1993, v:7, n:1-4, pp:289-346 [Journal]
  123. John-Jules Ch. Meyer
    The Logic of Knowledge Bases - Hector J. Levesque, Gerhard Lakemeyer (Eds.), MIT Press, Cambridge, MA, 2000, ISBN 0-262-12232-4. [Citation Graph (0, 0)][DBLP]
    Artificial Intelligence in Medicine, 2002, v:25, n:1, pp:89-92 [Journal]
  124. J. W. de Bakker, John-Jules Ch. Meyer
    Metric Semantics for Concurrency. [Citation Graph (0, 0)][DBLP]
    BIT, 1988, v:28, n:3, pp:504-529 [Journal]
  125. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
    Agent Programming with Declarative Goals [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  126. John-Jules Ch. Meyer, Erik P. de Vink
    Step Semantics for "True" Concurrency with Recursion. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1989, v:3, n:3, pp:130-145 [Journal]
  127. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    The Dynamics of Default Reasoning. [Citation Graph (0, 0)][DBLP]
    Data Knowl. Eng., 1997, v:21, n:3, pp:317-346 [Journal]
  128. John-Jules Ch. Meyer
    Process modalities obtained as fixed points (Part one). [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1987, v:32, n:, pp:98-106 [Journal]
  129. John-Jules Ch. Meyer
    Process modalities obtained as fixed points (part 2). [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1987, v:33, n:, pp:71-82 [Journal]
  130. Jan A. Bergstra, John-Jules Ch. Meyer
    On Specifying Sets of Integers. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1984, v:20, n:10/11, pp:531-541 [Journal]
  131. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Translations of Vocabularies in Systems of Communicating Agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:1, pp:- [Journal]
  132. Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink
    Toward Reasoning about Security Protocols: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:53-75 [Journal]
  133. Huib Aldewereld, Wiebe van der Hoek, John-Jules Ch. Meyer
    Rational Teams: Logical Aspects of Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:2-3, pp:159-183 [Journal]
  134. Jan A. Bergstra, John-Jules Ch. Meyer
    On the quantifier-free fragment of 'Logic of effective definitions'. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1981, v:4, n:4, pp:935-956 [Journal]
  135. 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]
  136. 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]
  137. Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen
    A Modal Characterization of Nash Equilibrium. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:57, n:2-4, pp:281-321 [Journal]
  138. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Formalising Abilities and Opportunities of Agents. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:34, n:1-2, pp:53-101 [Journal]
  139. John-Jules Ch. Meyer, Wiebe van der Hoek
    A Default Logic Based on Epistemic States. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:23, n:1, pp:33-65 [Journal]
  140. John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek
    On Programming KARO Agents. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  141. Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer
    Iterated Belief Change in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2003, v:11, n:2, pp:223-246 [Journal]
  142. Wiebe van der Hoek, John-Jules Ch. Meyer
    Making Some Issues of Implicit Knowledge Explicit. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1992, v:3, n:2, pp:193-223 [Journal]
  143. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    On dynamically generated ontology translators in agent communication. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2001, v:16, n:5, pp:587-607 [Journal]
  144. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
    Formal semantics of meta-level architectures: Temporal epistemic reflection. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2003, v:18, n:12, pp:1293-1317 [Journal]
  145. John-Jules Ch. Meyer
    Reasoning about emotional agents. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2006, v:21, n:6, pp:601-619 [Journal]
  146. Jan A. Bergstra, John-Jules Ch. Meyer
    A Simple Transfer Lemma for Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1982, v:14, n:2, pp:80-85 [Journal]
  147. Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer
    A verification framework for agent programming with declarative goals. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:277-302 [Journal]
  148. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog, Jeffery I. Zucker
    Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1988, v:36, n:2, pp:158-224 [Journal]
  149. Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur
    Temporalizing Epistemic Default Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1998, v:7, n:3, pp:341-367 [Journal]
  150. Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer
    Seeing Is Believing. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1997, v:6, n:1, pp:33-61 [Journal]
  151. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Modal Logic with Bounded Quantification over Worlds. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:5, pp:701-715 [Journal]
  152. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
    Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:1, pp:27-70 [Journal]
  153. Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
    Classificatory Aspects of Counts-as: An Analysis in Modal Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:5, pp:613-643 [Journal]
  154. M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
    Dynamic Logic for Plan Revision in Agent Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:3, pp:375-402 [Journal]
  155. Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa
    Free Choice and Contextually Permitted Actions. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:1, pp:193-220 [Journal]
  156. Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer
    On Agents That Have the Ability to Choose. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:66, n:1, pp:79-119 [Journal]
  157. J. W. de Bakker, Jan A. Bergstra, Jan Willem Klop, John-Jules Ch. Meyer
    Linear Time and Branching Time Semantics for Recursion with Merge. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:34, n:, pp:135-156 [Journal]
  158. J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog
    Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1987, v:49, n:, pp:87-112 [Journal]
  159. J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker
    On Infinite Computations in Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1983, v:26, n:, pp:53-82 [Journal]
  160. J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker
    On Infinite Computations in Denotational Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:29, n:, pp:229-230 [Journal]
  161. Jan A. Bergstra, John-Jules Ch. Meyer
    On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1982, v:21, n:, pp:269-279 [Journal]
  162. Frank S. de Boer, Rogier M. van Eijk, Wiebe van der Hoek, John-Jules Ch. Meyer
    A fully abstract model for the exchange of information in multi-agent systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:3, pp:1753-1773 [Journal]
  163. John-Jules Ch. Meyer
    Merging Regular Processes by Means of Fixed-Point Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:45, n:2, pp:193-260 [Journal]
  164. John-Jules Ch. Meyer, Erik P. de Vink
    Applications of Compactness in the Smyth Powerdomain of Streams. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:57, n:, pp:251-282 [Journal]
  165. M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer
    Semantics of plan revision in intelligent agents. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:2, pp:240-257 [Journal]
  166. Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer
    Regular database update logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:591-661 [Journal]
  167. Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer
    A Logic of Emotions for Intelligent Agents. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:142-147 [Conf]
  168. Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer
    A Logic of Agent Programs. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:795-800 [Conf]
  169. Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi
    Rational Agents That Blush. [Citation Graph (0, 0)][DBLP]
    ACII, 2007, pp:314-325 [Conf]
  170. Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer
    Verifying Norm Compliancy of Protocols. [Citation Graph (0, 0)][DBLP]
    AAMAS Workshops, 2005, pp:231-245 [Conf]
  171. Patrick Doherty, John-Jules Ch. Meyer
    Towards a Delegation Framework for Aerial Robotic Mission Scenarios. [Citation Graph (0, 0)][DBLP]
    CIA, 2007, pp:5-26 [Conf]
  172. Davide Grossi, John-Jules Ch. Meyer, Frank Dignum
    On the Logic of Constitutive Rules. [Citation Graph (0, 0)][DBLP]
    Normative Multi-agent Systems, 2007, pp:- [Conf]
  173. Koen V. Hindriks, John-Jules Ch. Meyer
    Agent Logics as Program Logics: Grounding KARO. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:404-418 [Conf]
  174. John-Jules Ch. Meyer
    Our Quest for the Holy Grail of Agent Verification. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:2-9 [Conf]
  175. Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer
    A New Model Checking Approach for Verifying Agent Communication Protocols. [Citation Graph (0, 0)][DBLP]
    CCECE, 2006, pp:1586-1590 [Conf]
  176. Jamal Bentahar, John-Jules Ch. Meyer
    A New Quantitative Trust Model for Negotiating Agents using Argumentation. [Citation Graph (0, 0)][DBLP]
    IJCSA, 2007, v:4, n:2, pp:1-21 [Journal]

  177. Combining Normal Communication with Ontology Alignment. [Citation Graph (, )][DBLP]


  178. Can I Please Drop It? Dialogues About Belief Contraction. [Citation Graph (, )][DBLP]


  179. Personality-Based Practical Reasoning. [Citation Graph (, )][DBLP]


  180. Practical Reasoning Using Values. [Citation Graph (, )][DBLP]


  181. Designing protocols for agent institutions. [Citation Graph (, )][DBLP]


  182. Practical extensions in agent programming languages. [Citation Graph (, )][DBLP]


  183. Achieving cooperation among selfish agents in the air traffic management domain using signed money. [Citation Graph (, )][DBLP]


  184. A grounded specification language for agent programs. [Citation Graph (, )][DBLP]


  185. A formal road from institutional norms to organizational structures. [Citation Graph (, )][DBLP]


  186. Achieving efficient and equitable collaboration among selfish agents using spender-signed currency. [Citation Graph (, )][DBLP]


  187. Reasoning about agent execution strategies. [Citation Graph (, )][DBLP]


  188. A Dynamic Coordination Mechanism Using Adjustable Autonomy. [Citation Graph (, )][DBLP]


  189. Roles and norms for programming agent organizations. [Citation Graph (, )][DBLP]


  190. A methodology for developing self-explaining agents for virtual training. [Citation Graph (, )][DBLP]


  191. Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms. [Citation Graph (, )][DBLP]


  192. Programming norm change. [Citation Graph (, )][DBLP]


  193. Emotions to control agent deliberation. [Citation Graph (, )][DBLP]


  194. 06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems. [Citation Graph (, )][DBLP]


  195. 06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems. [Citation Graph (, )][DBLP]


  196. Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. [Citation Graph (, )][DBLP]


  197. Strategic Agent Communication: An Argumentation-Driven Approach. [Citation Graph (, )][DBLP]


  198. Mental State Abduction of BDI-Based Agents. [Citation Graph (, )][DBLP]


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


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


  201. A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. [Citation Graph (, )][DBLP]


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


  203. Magic Agents: Using Information Relevance to Control Autonomy. [Citation Graph (, )][DBLP]


  204. Mental State Ascription Using Dynamic Logic. [Citation Graph (, )][DBLP]


  205. A Formal Model of Emotion-Based Action Tendency for Intelligent Agents. [Citation Graph (, )][DBLP]


  206. Going beyond BDI: Programming 'BDI+' Agents. [Citation Graph (, )][DBLP]


  207. Towards Programming Multimodal Dialogues. [Citation Graph (, )][DBLP]


  208. Modeling Agents with a Theory of Mind. [Citation Graph (, )][DBLP]


  209. Programming Normative Artifacts with Declarative Obligations and Prohibitions. [Citation Graph (, )][DBLP]


  210. Autonomy and Coordination: Controlling External Influences on Decision Making. [Citation Graph (, )][DBLP]


  211. Getting a Grip on Emotions in Negotiations: The Possibilities of ICT. [Citation Graph (, )][DBLP]


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


  213. A Generic Architecture for a Companion Robot. [Citation Graph (, )][DBLP]


  214. BDI-Based Development of Virtual Characters with a Theory of Mind. [Citation Graph (, )][DBLP]


  215. A Study into Preferred Explanations of Virtual Agent Behavior. [Citation Graph (, )][DBLP]


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


  217. Reasoning about Agent Deliberation. [Citation Graph (, )][DBLP]


  218. Do You Get It? User-Evaluated Explainable BDI Agents. [Citation Graph (, )][DBLP]


  219. Reo Connectors as Coordination Artifacts in 2APL Systems. [Citation Graph (, )][DBLP]


  220. A Verification Framework for Normative Multi-Agent Systems. [Citation Graph (, )][DBLP]


  221. A Practical Agent Programming Language. [Citation Graph (, )][DBLP]


  222. From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. [Citation Graph (, )][DBLP]


  223. Orwell's Nightmare for Agents? Programming Multi-agent Organisations. [Citation Graph (, )][DBLP]


  224. Goal Selection Strategies for Rational Agents. [Citation Graph (, )][DBLP]


  225. A Methodology for Developing Self-explaining Agents for Virtual Training. [Citation Graph (, )][DBLP]


  226. A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training Systems. [Citation Graph (, )][DBLP]


  227. Model Checking Communicative Agent-Based Systems. [Citation Graph (, )][DBLP]


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


  229. Intentions and Assignments. [Citation Graph (, )][DBLP]


  230. Normative Multi-agent Programs and Their Logics. [Citation Graph (, )][DBLP]


  231. A Methodology for Developing Self-Explaining Agents for Virtual Training. [Citation Graph (, )][DBLP]


  232. Coping with shame and sense of guilt: a Dynamic Logic Account. [Citation Graph (, )][DBLP]


  233. Toward a programming theory for rational agents. [Citation Graph (, )][DBLP]


  234. Goals in conflict: semantic foundations of goals in agent programming. [Citation Graph (, )][DBLP]


Search in 0.785secs, Finished in 0.792secs
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