@inproceedings{dfbb6118b1b54ab59f587c2996ccce31,
title = "Modeling and verification of distributed autonomous agents using logic programming",
abstract = "Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that provide a framework for connecting agent components that perform specific tasks. The agent designer codes the tasks necessary to perform a service and uses the framework to connect the tasks into an integrated agent structure. This bottom up approach does not provide an easy mechanism for confirming global properties of constructed agent systems. In this paper we propose a declarative methodology based on logic programming for modeling such procedurally constructed agents and specifying their global properties as temporal logic formulas. This methodology allows us to bring to bear a body of work for using logic programming based model checking to verify certain global properties of procedurally constructed Multi-Agent Systems.",
author = "Pokorny, \{L. Robert\} and Ramakrishnan, \{C. R.\}",
year = "2005",
doi = "10.1007/11493402\_9",
language = "English",
isbn = "3540261729",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "148--165",
booktitle = "Declarative Agent Languages and Technologies II - Second International Workshop, DALT 2004, Revised Selected Papers",
note = "2nd International Workshop on Declarative Agent Languages and Technologies II, DALT 2004 ; Conference date: 19-07-2004 Through 19-07-2004",
}