Systems of agents controlled by logical programs: complexity of verification (Q1040334)
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: Systems of agents controlled by logical programs: complexity of verification |
scientific article; zbMATH DE number 5637579
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Systems of agents controlled by logical programs: complexity of verification |
scientific article; zbMATH DE number 5637579 |
Statements
Systems of agents controlled by logical programs: complexity of verification (English)
0 references
24 November 2009
0 references
0.9045117
0 references
0.89708585
0 references
0.89479476
0 references
0.88790447
0 references
0 references
0.8845148
0 references
0 references
