Verifying Space and Time Requirements for Resource-Bounded Agents

DOI10.1007/978-3-540-74128-2_2zbMath1196.68284OpenAlexW2175354784MaRDI QIDQ5423880

Brian Logan, Natasha Alechina, Luciano Serafini, Mark Jago, Chiara Ghidini, Piergiorgio Bertoli

Publication date: 1 November 2007

Published in: Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74128-2_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Related Items (3)

Logic and social cognition. The facts matter, and so do computational models ⋮ Verifying Time and Communication Costs of Rule-Based Reasoners ⋮ Verifying time, memory and communication bounds in systems of reasoning agents

This page was built for publication: Verifying Space and Time Requirements for Resource-Bounded Agents