𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification of multiple agent knowledge-based systems

✍ Scribed by Daniel E. O'Leary

Publisher
John Wiley and Sons
Year
2001
Tongue
English
Weight
96 KB
Volume
16
Category
Article
ISSN
0884-8173

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A multiple approach to data analysis and
A multiple approach to data analysis and uncertainty management in knowledge-based systems
✍ Alfons Schuster; Mary Shapcott; Kenny Adamson; David A. Bell πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 194 KB πŸ‘ 2 views

This paper compares three different data analysis methods in a subfield of the coronary Ž . heart disease risk assessment CHDRA areaᎏthe identification of increased blood cholesterol levels. A data set containing the cholesterol data of 166 persons is employed as a test case, and analyzed in three e

Verification of DAG structures in cooper
Verification of DAG structures in cooperative belief network-based multiagent systems
✍ Y. Xiang πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 140 KB πŸ‘ 1 views

Multiply sectioned Bayesian networks (MSBNs) provide a framework for probabilistic reasoning in a complex single-user-oriented system as well as in a cooperative multiagent distributed interpretation system. During the construction or dynamic formation of an MSBN, automatic verification of the acycl

An architecture for tuple-based coordina
An architecture for tuple-based coordination of multi-agent systems
✍ Enrico Denti; Andrea Omicini πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 137 KB πŸ‘ 1 views

Multi-agent system development calls for powerful and expressive coordination models and languages, as well as for an effective coordination technology. A good deal of the current research effort focuses on tuplebased coordination, exploiting its well-known advantages, such as agent uncoupling and a