𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algebraic specification of agent computation

✍ Scribed by David Kinny

Publisher
Springer
Year
2005
Tongue
English
Weight
306 KB
Volume
16
Category
Article
ISSN
0938-1279

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Randomness, computability and algebraic
Randomness, computability and algebraic specifications
✍ Bakhadyr Khoussainov πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 999 KB

This paper shows how the notion of randomness defines, in a natural way, an algebra. It turns out that the algebra is computably enumerable and finitely generated. The paper investigates algebraic and effective properties of this algebra.

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