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

Formal specification and analysis of distributed systems

โœ Scribed by HENRIKAS PRANEVICIUS

Book ID
110269550
Publisher
Springer US
Year
1998
Tongue
English
Weight
177 KB
Volume
9
Category
Article
ISSN
0956-5515

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Formal specification of beliefs in multi
Formal specification of beliefs in multi-agent systems
โœ Massimo Benerecetti; Enrico Giunchiglia; Luciano Serafini; Adolfo Villafiorita ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 254 KB ๐Ÿ‘ 2 views

The goal of this paper is to present a logical framework for the formalization of agents' mutual beliefs in a Multi Agent system. The approach is based on a combination of ลฝ . extensional specifications of beliefs and context-based finite presentation of the specifications by employing a particular