Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
 |
 |
author = {Pokorny, L. Robert and Ramakrishnan, C. R.},
booktitle = {Declarative Agent Languages and Technologies {II}},
doi = {10.1007/11493402_9},
editor = {Leite, João Alexandre and Omicini, Andrea and Torroni, Paolo and Yolum, Pınar},
isbn = {978-3-540-26172-8},
isbn10 = {3-540-26172-9},
month = jun,
note = {2nd International Workshop (DALT 2004), New York City, NY, USA, 19~} # jul # {~2004. Revised Selected Papers},
pages = {313--319},
publisher = {Springer},
series = {LNAI},
subseries = {Lecture Notes in Artificial Intelligence},
title = {Modeling and Verification of Distributed Autonomous Agents Using Logic Programming},
url = {http://www.springerlink.com/content/h0lphw2fvm3bwrea/},
urlpdf = {http://www.springerlink.com/content/h0lphw2fvm3bwrea/fulltext.pdf},
volume = 3476,
year = 2006
}