Skip to main content

7 Result(s)

within Article Remove this filter John-Jules Ch. Meyer Remove this filter

and

  1. Article

    Open Access

    Conflicting intentions: rectifying the consistency requirements

    Many philosophers are convinced that rationality dictates that one’s overall set of intentions be consistent. The starting point and inspiration for our study is Bratman’s planning theory of intentions. Accord...

    Hein Duijf, Jan Broersen, John-Jules Ch. Meyer in Philosophical Studies (2019)

    Download PDF (560 KB) View Article

  2. Article

    Open Access

    A formal model of emotion triggers: an approach for BDI agents

    This paper formalizes part of a well-known psychological model of emotions. In particular, the logical structure underlying the conditions that trigger emotions are studied and then hierarchically organized. T...

    Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer in Synthese (2012)

    Download PDF (550 KB)

  3. Article

    Open Access

    Co** with shame and sense of guilt: a Dynamic Logic Account

    Aim of this work is to provide a formal characterization of those emotions that deal with normative reasoning, such as shame and sense of guilt, to understand their relation with rational action and to ground ...

    Paolo Turrini, John-Jules Ch. Meyer… in Autonomous Agents and Multi-Agent Systems (2010)

    Download PDF (324 KB)

  4. Article

    Open Access

    Goals in conflict: semantic foundations of goals in agent programming

    This paper addresses the notion of (declarative) goals as used in agent programming. Goals describe desirable states, and semantics of these goals in an agent programming context can be defined in various ways...

    M. Birna van Riemsdijk, Mehdi Dastani… in Autonomous Agents and Multi-Agent Systems (2009)

    Download PDF (332 KB)

  5. No Access

    Article

    Process algebra and constraint programming for modeling interactions in MAS

    We show how techniques from the realm of concurrent computation can be adapted for modeling the interactions of agents in multi-agent systems. In particular, we introduce a general process-algebraic approach t...

    Frank S. de Boer, Wieke de Vries… in Applicable Algebra in Engineering, Communi… (2005)

  6. No Access

    Article

    A Verification Framework for Agent Communication

    In this paper, we introduce a verification method for the correctness of multiagent systems as described in the framework of ACPL (Agent Communication Programming Language). The computational model of ACPL con...

    Rogier M. Van Eijk, Frank S. De Boer… in Autonomous Agents and Multi-Agent Systems (2003)

  7. No Access

    Article

    Agent Programming in 3APL

    An intriguing and relatively new metaphor in the programming community is that of an intelligent agent. The idea is to view programs as intelligent agents acting on our behalf. By using the metaphor of intelli...

    Koen V. Hindriks, Frank S. De Boer… in Autonomous Agents and Multi-Agent Systems (1999)