Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
 |  |  |
No PDF available for inspection
Publications / Views
Clouds
• tags • authors • editors • journals
Year
• 2023 • 2022 • 2021 • 2020 • 2019 • 2018 • 2017 • 2016 • 2015 • 2014–1927
Sort
• in journal • in proc • chapters • books • edited • spec issues • editorials • entries • manuals • tech reps • phd th • others
Status
• online • in press • proof • camera-ready • revised • accepted • revision • submitted • draft • note
Services
• ACM Digital Library • DBLP • IEEE Xplore • IRIS • PubMed • Google Scholar • Scopus • Semantic Scholar • Web of Science • DOI
Publication
— 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
identifiers
— DOI
— 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