Skip to Content

Modeling and Verification of Distributed Autonomous Agents Using Logic Programming

Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
— status
published
— sort
paper in proceedings
who
— authors
L. Robert Pokorny  •  C. R. Ramakrishnan
— editors
João Alexandre Leite  •  Andrea Omicini  •  Paolo Torroni  •  Pınar Yolum
where & when
— publication date
June 2006
— volume
Declarative Agent Languages and Technologies II
— series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
— volume no.
3476
— pages
313–319
— number of pages
7
— publisher
Springer
URL
URL  •  PDF URL
— DOI
10.1007/11493402_9
ISBN & ISSN
— ISBN
978-3-540-26172-8
— ISBN-10
3-540-26172-9
APICe
— origin event
DALT 2004
notes
— note
2nd International Workshop (DALT 2004), New York City, NY, USA, 19 July 2004. Revised Selected Papers