14 Search Results for "Bordini, Rafael"


Document
08361 Abstracts Collection – Programming Multi-Agent Systems

Authors: Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
From 31th August to 5th September, the Dagstuhl Seminar 08361 ``Programming Multi-Agent Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni. 08361 Abstracts Collection – Programming Multi-Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bordini_et_al:DagSemProc.08361.1,
  author =	{Bordini, Rafael and Dastani, Mehdi and Dix, J\"{u}rgen and El Fallah-Seghrouchni, Amal},
  title =	{{08361 Abstracts Collection – Programming Multi-Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--20},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.1},
  URN =		{urn:nbn:de:0030-drops-16470},
  doi =		{10.4230/DagSemProc.08361.1},
  annote =	{Keywords: Agency, agent-oriented programming, programming multi-agent systems}
}
Document
08361 Executive Summary – Programming Multi-Agent Systems

Authors: Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Intelligent agents and multi-agent systems (MAS) play an important role in today’s software development. In fact, they constitute a new and interesting paradigm to implement complex systems, by offering relevant abstractions for the engineering of such intricate type of software. Several application domains, some at industrial level, take benefit from MAS technology. For almost two decades, the MAS community has developed and offers a large and rich set of concepts, architectures, interaction techniques, and general approaches to the analysis and the specification of MAS.

Cite as

Rafael Bordini, Mehdi Dastani, Jürgen Dix, and Amal El Fallah-Seghrouchni. 08361 Executive Summary – Programming Multi-Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{bordini_et_al:DagSemProc.08361.2,
  author =	{Bordini, Rafael and Dastani, Mehdi and Dix, J\"{u}rgen and El Fallah-Seghrouchni, Amal},
  title =	{{08361 Executive Summary – Programming Multi-Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.2},
  URN =		{urn:nbn:de:0030-drops-16463},
  doi =		{10.4230/DagSemProc.08361.2},
  annote =	{Keywords: Multi-agent systems programming}
}
Document
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects

Authors: Bas R. Steunebrink, John-Jules Ch. Meyer, and Mehdi Dastani

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
When constructing a formal model of emotions for intelligent agents, two types of aspects have to be taken into account. First, qualitative aspects pertain to the conditions that elicit emotions. Second, quantitative aspects pertain to the actual experience and intensity of elicited emotions. In this presentation, we show how the qualitative aspects of a well-known psychological model of human emotions can be formalized in an agent specification language and how its quantitative aspects can be integrated into this model. Furthermore, we discuss several unspecified details and implicit assumptions in the psychological model that are explicated by this effort.

Cite as

Bas R. Steunebrink, John-Jules Ch. Meyer, and Mehdi Dastani. A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{steunebrink_et_al:DagSemProc.08361.3,
  author =	{Steunebrink, Bas R. and Meyer, John-Jules Ch. and Dastani, Mehdi},
  title =	{{A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.3},
  URN =		{urn:nbn:de:0030-drops-16447},
  doi =		{10.4230/DagSemProc.08361.3},
  annote =	{Keywords: Emotions, Intelligent Agents}
}
Document
Adding Organizations and Roles as Primitives to the JADE Framework

Authors: Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert van der Torre, Mauro Dorni, Andrea Mugnaini, and Valerio Genovese

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed to coordinate MAS with organizations, but they are not programmable with general purpose languages. In this paper we extend the JADE framework with primitives to program in Java organizations structured in roles and to enable agents to play roles in organizations. Roles facilitate the coordination of agents inside an organization and give new abilities in the context of organizations, called powers, to the agents which satisfy the requirements necessary to play the roles. As primitives to program organizations and roles we provide classes and protocols which enable an agent to enact a new role in an organization and to interact with the role by invoking the execution of powers, and to receive new goals to be fulfilled. Roles have state and behaviour, thus, they are instances of classes and are strictly connected with the organization offering them. Since roles and organizations can be on a different platform with respect to the role player, the communication with them happens via protocols. Moreover, since, besides using protocols, roles and organizations can have complex behaviours, they are implemented by extending the JADE agent class.

Cite as

Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert van der Torre, Mauro Dorni, Andrea Mugnaini, and Valerio Genovese. Adding Organizations and Roles as Primitives to the JADE Framework. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{grenna_et_al:DagSemProc.08361.4,
  author =	{Grenna, Roberto and Baldoni, Matteo and Boella, Guido and van der Torre, Leendert and Dorni, Mauro and Mugnaini, Andrea and Genovese, Valerio},
  title =	{{Adding Organizations and Roles as Primitives to the JADE Framework}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.4},
  URN =		{urn:nbn:de:0030-drops-16396},
  doi =		{10.4230/DagSemProc.08361.4},
  annote =	{Keywords: Roles, Organizations, JADE}
}
Document
Belief Update in AgentSpeak-DL

Authors: Álvaro F. Moreira and Renata Vieira

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
In previous work (Moreira et al, DALT 2005) we proposed an extension for the belief base of AgentSpeak agents based on Description Logic (DL), aiming at enabling agent oriented programming to cope with recently proposed technologies for the Semantic Web. In such an extension an agent belief base contains the definition of complex concepts, besides specific factual knowledge. The foreseen advantages are: (i) more expressive queries to the belief base; (ii) a refined notion of belief update, which considers consistency of a belief addition; (iii) flexibility in plan searching allowed by subsumption relation between concepts; and (iv) knowledge sharing in a semantic web context (based on OWL). Following this proposal an extension of the well know Agent Speak interpreter, Jason, was presented by K lapiscak and Bordini in DALT 2008. Among the interesting open issues is how to deal with the addition of beliefs which violates ontology consistency. In this work discuss this problem related to ABox updating in the context of AgentSpeak-DL.

Cite as

Álvaro F. Moreira and Renata Vieira. Belief Update in AgentSpeak-DL. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{moreira_et_al:DagSemProc.08361.5,
  author =	{Moreira, \'{A}lvaro F. and Vieira, Renata},
  title =	{{Belief Update in AgentSpeak-DL}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.5},
  URN =		{urn:nbn:de:0030-drops-16418},
  doi =		{10.4230/DagSemProc.08361.5},
  annote =	{Keywords: Belief Update, Ontology, Agent Oriented Programming Languages}
}
Document
From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS

Authors: Michele Piunti and Alessandro Ricci

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Recent approaches in Multi-Agent Systems are focusing on providing models and methodologies for the design of environments and special purpose tools supposed to scale up complexities. Among others, the Agents and Artifacts (A&A) approach introduced the notion af artifact as first class abstraction providing agents with external facilities, services and coordination medium explicitely conceived for easing their activities. In this paper we analyse A&A systems by focusing on the functional roles played by artifacts. In particular, we here investigate the function of artifacts once they are employed in the context of societies of cognitve agents, i.e. agents capable to reason about their epistemic and motivational states. In this context, a twofold kind of interactions is envisaged. On the one side, artifact rapresentational function allows agent to improve epistemic states, i.e., by representing and sharing strategic knowledge in the overall system (doxastic use ). On the other side, artifacts operational function allows agents to improve the repertoire of actions, i.e., by providing additional means which can be purposively triggered by agents to achieve goals (operational use ). Some of the outcomes of this approach are discussed along with test cases showing agents engaged in goal-oriented activities relying on the transmission of relevant knowledge and the operations provided by artifacts.

Cite as

Michele Piunti and Alessandro Ricci. From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{piunti_et_al:DagSemProc.08361.6,
  author =	{Piunti, Michele and Ricci, Alessandro},
  title =	{{From Agents to Artifacts Back and Forth: Purposive and Doxastic use of Artifacts in MAS}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.6},
  URN =		{urn:nbn:de:0030-drops-16423},
  doi =		{10.4230/DagSemProc.08361.6},
  annote =	{Keywords: MAS, Cognitive Agent, Agents and Artifacts, Interaction, Reasoning, Environments}
}
Document
GOAL Agents Instantiate Intention Logic

Authors: Koen Hindriks and Wiebe van der Hoek

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
It is commonly believed there is a big gap between agent logics and computational agent frameworks. In this paper, we show that this gap is not as big as believed by showing that GOAL agents instantiate Intention Logic of Cohen and Levesque. That is, we show that GOAL agent programs can be formally related to Intention Logic.We do so by proving that the GOAL Verification Logic can be embedded into Intention Logic. It follows that (a fragment of) Intention Logic can be used to prove properties of GOAL agents. The work reported is an important step towards the application of standard tools from modal logic for e.g. model checking agent programs. Our results also prove useful for extending the expressiveness of the GOAL agent language. This is illustrated by incorporating temporally extended goals into GOAL agents.

Cite as

Koen Hindriks and Wiebe van der Hoek. GOAL Agents Instantiate Intention Logic. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{hindriks_et_al:DagSemProc.08361.7,
  author =	{Hindriks, Koen and van der Hoek, Wiebe},
  title =	{{GOAL Agents Instantiate Intention Logic}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.7},
  URN =		{urn:nbn:de:0030-drops-16458},
  doi =		{10.4230/DagSemProc.08361.7},
  annote =	{Keywords: Agents, programs, constructs, logics, operational semantics, model-theoretic semantics}
}
Document
Non-Markovian Agent Evolution with EVOLP

Authors: José J. Alferes, Gabaldon Alfredo, and João A. Leite

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (facts) as well as intentional knowledge (rules) may change over time due to updates, with important application Multi-Agent Systems (MAS). Despite their generality, these languages do not provide means to directly access past states of the evolving knowledge. They only allow for so-called Markovian changes i.e. changes determined entirely by the current state. This is a drawback in several situation. In this paper, after motivating the need for non-Markovian changes, we extend EVOLP – The Logic Programming Update Language at the heart of an existing MAS – with LTL-like temporal operators that allow referring to the history of the evolving agent. We then show that with a suitable introduction of new propositional variables it is possible to embed the extended EVOLP into the original one, thus demonstrating that EVOLP itself can already be used for non-Markovian changes. While showing how to use EVOLP for encoding non-Markovian changes, this embedding sheds light into the relationship between Logic Programming Update Languages and Modal Temporal Logics, of particular importance in MAS.

Cite as

José J. Alferes, Gabaldon Alfredo, and João A. Leite. Non-Markovian Agent Evolution with EVOLP. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{alferes_et_al:DagSemProc.08361.8,
  author =	{Alferes, Jos\'{e} J. and Gabaldon Alfredo and Leite, Jo\~{a}o A.},
  title =	{{Non-Markovian Agent Evolution with EVOLP}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--13},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.8},
  URN =		{urn:nbn:de:0030-drops-16402},
  doi =		{10.4230/DagSemProc.08361.8},
  annote =	{Keywords: EVOLP, Evolution, Logic Programming}
}
Document
Normative Multi-Agent Programs and Their Logics

Authors: Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, and Nick Tinnemeier

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to implement norm-based artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language.

Cite as

Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, and Nick Tinnemeier. Normative Multi-Agent Programs and Their Logics. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.08361.9,
  author =	{Dastani, Mehdi and Grossi, Davide and Meyer, John-Jules Ch. and Tinnemeier, Nick},
  title =	{{Normative Multi-Agent Programs and Their Logics}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.9},
  URN =		{urn:nbn:de:0030-drops-16374},
  doi =		{10.4230/DagSemProc.08361.9},
  annote =	{Keywords: Multi-agent systems, norms, agent-oriented programming}
}
Document
Task Suspension in Agent Systems

Authors: Berndt Farwer

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
We discuss the similarity of a recent approach to task suspension in agent programming languages with an earlier approach to formalising preemption using a class of Petri nets, called M-nets. We argue that the theory of agent programming would benefit from adopting certain features of the Petri-net approach, and thus making further results for Petri nets applicable in the agent domain.

Cite as

Berndt Farwer. Task Suspension in Agent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{farwer:DagSemProc.08361.10,
  author =	{Farwer, Berndt},
  title =	{{Task Suspension in Agent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.10},
  URN =		{urn:nbn:de:0030-drops-16385},
  doi =		{10.4230/DagSemProc.08361.10},
  annote =	{Keywords: Agent programming, Petri nets, suspension, preemption}
}
Document
Ten Challenges for Normative Multiagent Systems

Authors: Guido Boella, Leendert van der Torre, and Harko Verhagen

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)


Abstract
In this paper we discuss the shift from a legal to an interactionist view on normative multiagent systems, examples, and ten new challenges in this more dynamic setting.

Cite as

Guido Boella, Leendert van der Torre, and Harko Verhagen. Ten Challenges for Normative Multiagent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.08361.11,
  author =	{Boella, Guido and van der Torre, Leendert and Verhagen, Harko},
  title =	{{Ten Challenges  for Normative Multiagent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.11},
  URN =		{urn:nbn:de:0030-drops-16367},
  doi =		{10.4230/DagSemProc.08361.11},
  annote =	{Keywords: Normative multiagent systems, normative systems, deontic logic, multiagent systems}
}
Document
Spatially Distributed Normative Objects

Authors: Fabio Okuyama, Rafael Bordini, and Antônio Carlos Rocha Costa

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)


Abstract
Organisational structures for multi-agent systems are usually defined independently of any spatial or temporal structure. Therefore, when the multiagent system is situated in a spatial environment, there is usually a conceptual gap between the definition of the system’s organisational structures and the definition of the environment. In this paper, we focus on a mechanism for the spatial distribution of an organization’s normative information. Spatially distributing the normative information over the environment is a natural way to simplify the definition of organisational structures and the development of large-scale multi-agent systems. By distributing the normative information in different spatial locations, we allow agents to directly access the relevant information needed in each environmental context. We extend our previous work on a language for modelling multi-agent environments in order to allow for the definition of spatially distributed norms in the form of normative objects.

Cite as

Fabio Okuyama, Rafael Bordini, and Antônio Carlos Rocha Costa. Spatially Distributed Normative Objects. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{okuyama_et_al:DagSemProc.07122.26,
  author =	{Okuyama, Fabio and Bordini, Rafael and Rocha Costa, Ant\^{o}nio Carlos},
  title =	{{Spatially Distributed Normative Objects}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--14},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.26},
  URN =		{urn:nbn:de:0030-drops-9030},
  doi =		{10.4230/DagSemProc.07122.26},
  annote =	{Keywords: Multi-Agent Systems, Environment Modelling, Normative Infrastructure}
}
Document
06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems

Authors: Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini

Published in: Dagstuhl Seminar Proceedings, Volume 6261, Foundations and Practice of Programming Multi-Agent Systems (2007)


Abstract
From 25.06.06 to 30.06.06, the Dagstuhl Seminar 06261 ``Foundations and Practice of Programming Multi-Agent Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini. 06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems. In Foundations and Practice of Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 6261, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.06261.1,
  author =	{Dastani, Mehdi and Meyer, John-Jules Ch. and Bordini, Rafael H.},
  title =	{{06261 Abstracts Collection – Foundations and Practice of Programming Multi-Agent Systems}},
  booktitle =	{Foundations and Practice of Programming Multi-Agent Systems},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6261},
  editor =	{Rafael H. Bordini and Mehdi Dastani and John-Jules Ch. Meyer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06261.1},
  URN =		{urn:nbn:de:0030-drops-8477},
  doi =		{10.4230/DagSemProc.06261.1},
  annote =	{Keywords: Agent-oriented programming, Agent-oriented software engineering, Multi-agent implementation languages, Agent development tools and platforms, Semantics of agent-oriented languages, Specification and verification of multi-agent systems, Theories of multi-agent programming}
}
Document
06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems

Authors: Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini

Published in: Dagstuhl Seminar Proceedings, Volume 6261, Foundations and Practice of Programming Multi-Agent Systems (2007)


Abstract
The "Foundations and Practice of Programming Multi-Agent Systems" Dagstuhl Seminar aimed at bringing together researchers interested in programming languages for multi-agent systems, agent-oriented software engineering, and various related aspects such as verification, and formal semantics. We were delighted with the result of this seminar, which gave participants a clear view of the most advanced techniques being currently investigated in research on those topics throughout the world, and also a clear understanding of all the most important open problems that need to be addressed by this research community. The seminar was particularly successful in elucidating the relationship between work being done by the "programming languages for multi-agent systems" (ProMAS) research community and the "agent-oriented software engineering" (AOSE) research community. Even though the initiative for this seminar arose from the ProMAS community, we were delighted to attract many prominent researches from the AOSE community, which allowed us to achieve the positive result on the connection of ProMAS and AOSE research.

Cite as

Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini. 06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems. In Foundations and Practice of Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 6261, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{dastani_et_al:DagSemProc.06261.2,
  author =	{Dastani, Mehdi and Meyer, John-Jules Ch. and Bordini, Rafael H.},
  title =	{{06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems}},
  booktitle =	{Foundations and Practice of Programming Multi-Agent Systems},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{6261},
  editor =	{Rafael H. Bordini and Mehdi Dastani and John-Jules Ch. Meyer},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06261.2},
  URN =		{urn:nbn:de:0030-drops-8461},
  doi =		{10.4230/DagSemProc.06261.2},
  annote =	{Keywords: Agent-oriented programming, Agent-oriented software engineering, Multi-agent implementation languages, Agent development tools and platforms, Semantics of agent-oriented languages, Specification and verification of multi-agent systems, Theories of multi-agent programming}
}
  • Refine by Author
  • 6 Dastani, Mehdi
  • 4 Meyer, John-Jules Ch.
  • 3 Bordini, Rafael
  • 2 Boella, Guido
  • 2 Bordini, Rafael H.
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 2 Agent development tools and platforms
  • 2 Agent-oriented programming
  • 2 Agent-oriented software engineering
  • 2 Multi-agent implementation languages
  • 2 Semantics of agent-oriented languages
  • Show More...

  • Refine by Type
  • 14 document

  • Refine by Publication Year
  • 11 2008
  • 3 2007

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail