✦ LIBER ✦

Formal approaches to multi-agent sysems

✍ Scribed by Rineke Verbrugge; Barbara Dunin-Kȩplicz

Book ID: 106338584
Publisher: Springer US
Year: 2008
Tongue: English
Weight: 68 KB
Volume: 19
Category: Article
ISSN: 1387-2532
DOI: 10.1007/s10458-008-9072-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal approach to multi-phase systems

✍ G. Superti Furga 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 402 KB

A formal approach to negotiating agents

A formal approach to negotiating agents development

✍ Marlon Dumas; Guido Governatori; Arthur H.M. ter Hofstede; Phillipa Oaks 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 476 KB

Formal Specification and Verification of

Formal Specification and Verification of Multi-Agent Systems

✍ Mustapha Bourahla; Mohamed Benmohamed 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 265 KB

A Formal Model of Multi-Agent Belief-Int

A Formal Model of Multi-Agent Belief-Interaction

✍ John Cantwell 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 580 KB

A Formal Model of Multi-Agent Belief-Int

A Formal Model of Multi-Agent Belief-Interaction

✍ John Cantwell 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 460 KB

Proposition of formal semantics for mult

Proposition of formal semantics for multi-agent systems

✍ Walib Chainbi 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 260 KB

This paper has two purposes. First, it presents an approach to designing an agent that is different from most known in the DAI field. Starting from our study of cooperation in multi-agent systems, we identify the underlying concepts of an agent. These concepts consist of communication concepts and o