Verifying time, memory and communication bounds in systems of reasoning agents

Submitted by admin on Tue, 11/17/2009 - 15:32
TitleVerifying time, memory and communication bounds in systems of reasoning agents
Publication TypeJournal Article
Year of Publication2009
AuthorsAlechina, Natasha, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib
JournalSynthese
Volume169
Pages385–403
Date PublishedApril
DOIhttp://dx.doi.org/10.1007/s11229-009-9557-1
Citation KeyAlechina//:09c