Modeling and Verification of Distributed Autonomous Agents Using Logic Programming

@incollection{pokornyRamakrishnan-daltII,
   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
}

Tags:

Publications

Home
Search
All

Publications / Personal

Andrea Agiollo • Roberta Calegari • Giovanni Ciatto • Angelo Croatti • Enrico Denti • Matteo Magnini • Sara Montagna • Andrea Omicini • Giuseppe Pisano • Andrea Rafanelli • Federico Sabbatini

Publications / Views

Publication

Modeling and Verification of Distributed Autonomous Agents Using Logic Programming

— authors

L. Robert Pokorny, C. R. Ramakrishnan

— editors

João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pınar Yolum

— status

published

— sort

paper in proceedings

— publication date

June 2006

— volume

Declarative Agent Languages and Technologies {II}

— series

Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

— volume

3476

— pages

313-319

URLs

original page | original PDF

identifiers

— DOI

10.1007/11493402_9

— print ISBN

978-3-540-26172-8

— ISBN–10

3-540-26172-9

notes

— note

2nd International Workshop (DALT 2004), New York City, NY, USA, 19 July 2004. Revised Selected Papers