Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Verifying time, memory and communication bounds in systems of reasoning agents |
scientific article; zbMATH DE number 5625284
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying time, memory and communication bounds in systems of reasoning agents |
scientific article; zbMATH DE number 5625284 |
Statements
Verifying time, memory and communication bounds in systems of reasoning agents (English)
0 references
4 November 2009
0 references
distributed reasoning
0 references
resource bounds
0 references
epistemic logic
0 references
0 references
0.9085861
0 references
0.90597093
0 references
0.89196545
0 references
0.8899139
0 references
0.88769156
0 references
0 references
0.88264066
0 references
0.8813193
0 references
0 references
