๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Formal Semantics for Program Paths

โœ Scribed by Karl Lermer; Colin Fidge; Ian Hayes

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
230 KB
Volume
78
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Formal semantics for mutual belief
Formal semantics for mutual belief
โœ Marco Colombetti ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 455 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