Modeling and verification of distributed autonomous agents using logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3476 LNAI, Issue , 2005, Pages 148-165

  Pokorny, L Robert ^a   Ramakrishnan, C R ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; LOGIC PROGRAMMING; MATHEMATICAL MODELS; WORLD WIDE WEB;

AGENT COMPONENTS; AGENT DESIGNER CODES; INTEGRATED AGENT STRUCTURE;

AUTONOMOUS AGENTS;

EID: 26844467380     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11493402_9     Document Type: Conference Paper

References (26)

1. Business process execution language for web sevices (BPEL4WS). http://www.ibm.com/developerworks/library/ws-bpel/.
2. Cougaar: Cognitive agent architecture, http://www.cougaar.org.
3. J. Alferes, A. Brogi, J. A. Leite, and L. M. Pereira. Logic programming for evolving agents. In Intl. Workshop on Cooperative Information Agents (CIA '03), number 2782 in LNAI, pages 281-297. Springer Verlag, 2003.
4. M. Baldoni et al. Reasoning about communicating agents inside DCaseLP. In Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT'04), LNCS 3476, Springer-Verlag (2005). In this volume.
5. S. Basu, K. N. Kumar, L. R. Pokorny, and C. R. Ramakrishnan. Resource-constrained model checking of recursive programs. In TACAS, volume 2280 of LNCS, pages 236-250, 2002.
6. G. Bhat, R. Cleaveland, and A. Groce. Efficient model checking via beuchi tabeau automata. In Computer Aided Verification (CAV), 2001.
7. G. Bhat, R. Cleaveland, and O. Grumberg. Efficient on-the-fly model checking for CTL*. In IEEE Symposium on Logic in Computer Science. IEEE Press, 1995.
8. A. Bonner and M. Kifer. An overview of transaction logic. Theoretical Computer Science, 133:205-265, 1994.
9. R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. In Second Internatonal Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), 2003.
10. A. K. Chopra, A. U. Mallya, N. V. Desai, and M. P. Singh. Modeling flexible business processes. In Preproceedings of the Workshop on Declarative Agent Languages and Technologies (DALT), 2004.
11. H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan. Logic based modeling and analysis of workflows. In ACM Symposium on Principles of Database Systems (PODS), pages 25-33. ACM, 1998.
12. X. Du, C. R. Ramakrishnan, and S. A. Smolka. Tabled resolution + constraints: A recipe for model checking real-time systems. In IEEE Real Time Systems Symposium (RTSS), Orlando, Florida, 2000.
13. R. Eshuis. Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, University of Twente, 2002.
14. X. Fan, J. Yen, M. Miller, and R. Volz. The semantics of MALLET - an agent teamwork encoding language. In Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT'04), LNCS 3476, Springer-Verlag, 2005. In this volume.
15. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(4):741-843, 1995.
16. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer Verlag, 1991.
17. R. Milner, Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
18. L. R. Pokorny and C. R. Ramakrishnan. Model checking linear temporal logic using tabled logic programming. In Workshop on Tabling in Parsing and Deduction (TAPD), 2000.
19. Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, S. A. Smolka, T. L. Swift, and D. S. Warren. Efficient model checking using tabled resolution. In CAV, 1997.
20. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW), number 1038 in LNAI, pages 42-55. Springer Verlag, 1996.
21. D. Robertson. A lightweight coordination calculus for agent social norms. In Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT'04), LNCS 3476, Springer-Verlag, 2005. In this volume.
22. B. Sarna-Starosta and C. R. Ramakrishnan. Constraint based model checking of data independent systems. In Intl. Conf. on Formal Engineering Methods (ICFEM), LNCS, 2003.
23. V. S. Subrahmanian, P. Bonatti, J. Dix, T. Eiter, S. Kraus, and F. Ozean. Heterogenous Agent Systems. MIT Press, 2000.
24. W. W. Vasconcelos. Norm verification and analysis of electronic institutions. In Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT'04), LNCS 3476, Springer-Verlag, 2005. In this volume.
25. C. Walton. Model checking agent dialogues. In Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT'04), LNCS 3476, Springer-Verlag, 2005. In this volume.
26. M. Wooldridge, M. Fisher, M.-P. Huget, and S. Parsons. Model checking multiagent systems with MABLE. In First Internatonal Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pages 952-959. ACM Press, 2002.