Mechanizing multi-agent reasoning with belief contexts (Q4632330)
From MaRDI portal
scientific article; zbMATH DE number 7048508
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mechanizing multi-agent reasoning with belief contexts |
scientific article; zbMATH DE number 7048508 |
Statements
Mechanizing multi-agent reasoning with belief contexts (English)
0 references
29 April 2019
0 references
belief revision
0 references
external observer
0 references
mutual belief
0 references
