Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying time, memory and communication bounds in systems of reasoning agents |
scientific article |
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
