M. Esteva, J. A. Rodrguez, C. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. In Agent-mediated Electronic Commerce (The European AgentLink Perspective), number 1991 in Lecture Notes in Artificial Intelligence, pages 126--147, 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Framework for the Specification of Communication Rules in .. - Di Stefano, Santoro (2002) (Correct)
....communication, ACL performatives [8] are able to express a full meaning of the message uttered in terms of sender intentions, information exchanged, symbols used, etc. But when a speech act is uttered within a multi agent application, its meaning is strongly affected by the application itself [4, 5, 6]: message exchanging is subjected to communication rules which derive from the overall goal of the application to perform. Like in a human society interactions are subjected to conventions and laws which depend on the context of the interactions themselves, we can imagine agent social contexts ....
M. Esteva, J. A. Rodriguez, C. Sierra, P. Garcia, and L. J. Arcos. On the formal specifications of electronic institutions. In Dignum, F. and Sierra, C., editor, Agent-mediated Electronic Commerce (The European AgentLink Perspective). LNAI 1191, 2001.
The Application of Agent Technology to Health Care - Nealon, Moreno (2002) (2 citations) (Correct)
....national and international regulations in their area. The use of deontic logic would be appropriate to formalise and reason about the permissions and obligations of each agent in a system. A very promising research direction in this area is the definition of electronic institutions (see e.g. 13] [38]) An electronic institution includes a performative structure (a graph of scenes, where agent agent interactions take place) a dialogical framework (which comprises an ontology, a set of illocutions and protocols to use them through conversation graphs) and a set of norms, which determine ....
Esteva, M ., Rodriguez , J. A., Sierra, C., Garcia, P., and Arcos, J. L. On the formal specifications of electronic institutions, in (F. Dignum and C. Sierra eds.) Agentmediated Electronic commerce (The European AgentLink Perspective, LNAI 1991 (2001), 126-147.
The Role of Institutions in Multiagent - Colombetti (2002) (Correct)
....authorizations and duties are enforced. As developed so far, however, the notion of an institution is an abstract concept; we now need to specify how institutions can be formally represented in computational systems. An interesting proposal in this direction is put forward by Esteva and colleagues [7]. We think, however, that the notion of an electronic institution proposed in [7] is too complex and detailed to serve the purpose of a general building block of agent societies. In the rest of this section we present an alternative treatment, which we regard as a suitable component of an agent ....
....of an institution is an abstract concept; we now need to specify how institutions can be formally represented in computational systems. An interesting proposal in this direction is put forward by Esteva and colleagues [7] We think, however, that the notion of an electronic institution proposed in [7] is too complex and detailed to serve the purpose of a general building block of agent societies. In the rest of this section we present an alternative treatment, which we regard as a suitable component of an agent interaction framework. 5.2 The Structure of Institutions We think of an ....
[Article contains additional citation context not shown here]
Esteva, M., J. A. Rodriguez, C. Sierra, P. Garcia, and J. L. Arcos, On the formal specifications of electronic institutions, in F. Dignum and C. Sierra, eds., Agent mediated electronic commerce (The European AgentLink Perspective), Springer, (2001) 126--147.
Supporting Virtual Organisations using BDI Agents and.. - Chalmers, Gray, Preece (2002) (Correct)
....agents [8] is well ahead of the mainstream distributed computing work that currently underpins Grid computing. Recent research in the agents area relevant to virtual organisations includes work on coalition formation [2] and formal specification of the rules constituting electronic institutions [6]. All of this work is complementary to ours. As stated earlier, our current work builds on the results of the KRAFT project [18] which in turn was heavily influenced by early multi agent projects such as SHADE [15] and ADEPT [14] The novelty in our approach lies in the use of constraints to ....
M. Esteva, J.A. Rodriguez, C. Sierra, P. Garcia, and J.L. Arcos. On the formal specification of electronic institutions. pages 126-147. Springer-Verlag, 2001.
Narrowing the Gap between Humans and Agents in.. - Bogdanovych.. (2005) Self-citation (Sierra) (Correct)
No context found.
Esteva, M., Rodriguez-Aguilar, J., Sierra, C., Garcia, P., Arcos, J.: On the formal specifications of electronic institutions. In: Agent Mediated Electronic Commerce, The European AgentLink Perspective, Springer-Verlag (2001) 126--147
An Approach to Rapid Prototyping of Large Multi-Agent.. - Vasconcelos, Sierra, Esteva (2002) (1 citation) Self-citation (Esteva Sierra) (Correct)
....the design of a global protocol, that is, a precise description of the kinds and order of messages that the components of the MAS can exchange. For this description we have used a richer form of nondeterministic finite state machines, the electronic institutions (or simply e institutions) [10]. We explain more about this in Section 2. 2. Synthesis and Customisation of Agents this step addresses the automatic synthesis of agents complying with the designed electronic institution. Although simple, these synthesised agents are in strict accordance with the e institution they originate ....
....MAS. If, for instance, we had instead a collection of partial protocols among the different components, the modification of one of the partial protocols could cause changes in other partial protocols. Our global protocols are represented using electronic institutions (e institutions, for short) [10]. E institutions are a richer variation of non deterministic finite state machines. An advantage in using a finite state machine formalism to represent protocols is that we can use automated techniques to check for properties (or their absence) For instance, protocols should not have sinks , ....
[Article contains additional citation context not shown here]
M. Esteva, J.-A. Rodrguez-Aguilar, C. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. volume 1991.
A Computational Trust Model for Multi-Agent Interactions based - On Confidence And Self-citation (Sierra) (Correct)
....general, extant trust models fail to capture the individuality of an agent in assessing the reliability of an interaction partner. Most models also neglect the fact that agents interact according to the norms and conventions determined by the society or environment within which they are situated [Esteva et al. 2001] . To this end, this paper develops a computational model of trust that rectifies these shortcomings. By taking into account its past experience (from direct interactions) and information gathered from other agents (indirect interactions) an agent can build up beliefs about how trustworthy a ....
....of real numbers R) We will note that issue x takes the value v D x as x = v. Thus, a contract is a set of issue value assignments noted as O = 1 = v 1 , x 2 = v 2 , x n = v n where x i and v i D x i . We consider that agents invariably interact within an electronic institution [Esteva et al. 2001] which specifies norms and conventions of interactions and dictates (some) issue value assignments of contracts (see section 2.1) From now on, we will refer to the agent devising the contract as the manager and the contracted agent as the contractor. 2.1 Rules Dictating Expected Issue ....
M. Esteva, J. A. Rodr guez, C. Sierra, P. Garcia, and J. L. Arcos. On the formal specifications of electronic institutions. Lecture Notes in Artificial Intelligence, (1991):126-- 147, 2001.
Model Checking Agent Dialogues - Christopher Walton Centre (Correct)
No context found.
M. Esteva, J. A. Rodrguez, C. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. In Agent-mediated Electronic Commerce (The European AgentLink Perspective), number 1991 in Lecture Notes in Artificial Intelligence, pages 126--147, 2001.
Verifiable Agent Dialogues - Walton (2005) (Correct)
No context found.
M. Esteva, J. A. Rodrguez, C. Sierra, P. Garcia, J. L. Arcos, On the Formal Specification of Electronic Institutions, in: Agent-mediated Electronic Commerce (The European AgentLink Perspective), no. 1991.
Typed Protocols for Peer-to-Peer Service Composition - Christopher Walton Centre (Correct)
No context found.
M. Esteva, J. A. Rodr guez, C. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. In Agent-mediated Electronic Commerce (The European AgentLink Perspective) , volume 1991.
Specifying Protocols for Knowledge Transfer and Action.. - Grando, Walton (2006) (Correct)
No context found.
M. Esteva, J. A. Rodrguez, C. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. In Agent-mediated Electronic Commerce (The European AgentLink Perspective), number 1991 in Lecture Notes in Artificial Intelligence, pages 126--147, 2001.
The MAP^a Language of Agent Dialogues - Grando, Walton (2006) (Correct)
No context found.
M. Esteva, J. A. Rodrguez, C. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. In Agent-mediated Electronic Commerce (The European AgentLink Perspective), number 1991.
Protocols for Web Service Invocation - Christopher Walton Centre (Correct)
No context found.
Esteva, M.; Rodr guez, J. A.; Sierra, C.; Garcia, P.; and Arcos, J. L. 2001. On the Formal Specification of Electronic Institutions. In Agent-mediated Electronic Commerce (The European AgentLink Perspective), number 1991 in Lecture Notes in Artificial Intelligence, 126--147.
MAP^a: a Language for Modelling Conversations in Agent.. - Grando, Walton (2006) (Correct)
No context found.
Esteva M., Rodryguez J. A., Sierra C., Garcia P., Arcos J. L (2001) On the Formal Specification of Electronic Institutions. Agent-mediated Electronic Commerce. Lecture Notes in Artificial Intelligence 1991, 126-147
Managing Social Influences through - Argumentation-Based Negotiation.. (Correct)
No context found.
M. Esteva, J. A. Rodrguez, C. Sierra, P. Garcia, and J. L. Arcos. On the formal specifications of electronic institutions. LNAI, 1991:126--147, 2001.
An Agent-based e-Science Experiment Builder - Christopher Walton And (Correct)
No context found.
M. Esteva, J. A. Rodrguez, C. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. In Agent-mediated Electronic Commerce (The European AgentLink Perspective), number 1991 in Lecture Notes in Artificial Intelligence, pages 126--147, 2001.
Agent Protocols for Peer-to-Peer Architectures - Walton (Correct)
No context found.
M. Esteva, J. A. Rodrguez, C. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. In Agent-mediated Electronic Commerce (The European AgentLink Perspective), volume 1991.
Agent Communication and Institutional Reality - Fornara, Vigaṇ, Colombetti (2005) (Correct)
No context found.
M. Esteva, J. A. Rodrguez-Aguilar, C. Sierra, P. Garcia, and J. L. Arcos. On the formal specification of electronic institutions. In F. Dignum and C. Sierra, editors, Agent Mediated Electronic Commerce, The European AgentLink Perspective (LNAI 1991), pages 126--147. Springer, 2001. 22
Agent Communication and Institutional Reality - Nicoletta Fornara Francesco (2004) (Correct)
No context found.
M. Esteva, J. A. Rodrguez-Aguilar, C. Sierra, P. Garcia, and J. L. Arcos. On the formal specification of electronic institutions. In F. Dignum and C. Sierra, editors, Agent Mediated Electronic Commerce, The European AgentLink Perspective (LNAI 1991), pages 126--147. Springer, 2001.
SimEd: Simulating Education as a Multi Agent System - Elizabeth Sklar Dept (2004) (2 citations) (Correct)
No context found.
M. Esteva, J. A. Rodriguez, C. Sierra, P. Garcia, and J. L. Arcos. On the formal specifications of electronic institutions. Agent-mediated Electronic commerce (The European AgentLink Perspective, LNAI 1991.
Modeling Interactions Using Social Integrity.. - Alberti.. (2004) (Correct)
No context found.
M. Esteva, J. A. Rodriguez-Aguilar, C. Sierra, P. Garcia, and J. L. Arcos. On the formal specification of electronic institutions. In F. Dignum and C. Sierra, editors, Agent-mediated Electronic Commerce (The European AgentLink Perspective), number 1991 in LNAI, pages 126--147. Springer Verlag, 2001.
Implementing Virtual Enterprises Using - Agora Multi-Agent System (Correct)
No context found.
M. Esteva, J. Rodriguez-Aguilar, C. Sierra, P. Garcia, and J. L. Arcos. On the formal specification of electronic institutions. In Agent Mediated Electronic Commerce, number 1991 in LNAI, pages 126--147. Springer-Verlag, 2001.
Logic-based Agent Communication Protocols - Endriss, Maudet, Sadri, Toni (2004) (Correct)
No context found.
M. Esteva, J.-A. Rodriguez-Aguilar, C. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. In F. Dignum and C. Sierra, editors, Agent Mediated Electronic Commerce: The European AgentLink Perspective. Springer-Verlag, 2001.
Multi-Agent Dialogue Protocols - Christopher Walton Cdw (Correct)
No context found.
M. Esteva, J. A. Rodrguez, C. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. In Agent-mediated Electronic Commerce (The European AgentLink Perspective), number 1991 in Lecture Notes in Artificial Intelligence, pages 126--147, 2001.
A Generic Software Framework for Automated Negotiation - Bartolini, Preist, Jennings (2002) (1 citation) (Correct)
No context found.
Esteva, M., Rodriguez, J. A., Sierra, C., Garcia, P., Arcos, J. L.,: On the formal specifications of electronic institutions, In (F. Dignum and C. Sierra eds.) Agent-mediated Electronic commerce (The European AgentLink Perspective), Springer LNAI, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC