scientific article; zbMATH DE number 2088153

zbMath1050.68632MaRDI QIDQ4739289

Michael Wooldridge, Paul E. Dunne

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2333/23330115.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Artificial intelligence (68T99)

Related Items (6)

The computational complexity of scenario-based agent verification and design ⋮ Unnamed Item ⋮ On complexity of verification of interacting agents' behavior ⋮ Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration ⋮ Systems of agents controlled by logical programs: complexity of verification ⋮ The complexity of achievement and maintenance problems in agent-based systems

This page was built for publication: