Combining logical agents with rapid prototyping for engineering distributed applications

Proceedings - Software Technology and Engineering Practice, STEP 1999

Volumn , Issue , 1999, Pages 40-49

  Dart, Philip ^a   Kazmierczak, Ed ^a   Sterling, Leon ^a   Martelli, Maurizio ^b   Mascardi, Viviana ^b   Zini, Floriano ^b   Subrahmanian, V S ^c  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b UNIVERSITY OF GENOA   (Italy)

^c University of Maryland ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; AUTONOMOUS AGENTS; COMPUTER CIRCUITS; FORMAL METHODS; LOGIC PROGRAMMING; RAPID PROTOTYPING; SOFTWARE AGENTS; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING;

AGENT-BASED SOFTWARES; DISTRIBUTED APPLICATIONS; HETEROGENEOUS DATA; HETEROGENEOUS SOFTWARE APPLICATIONS; REASONING SYSTEM; RESEARCH EXPERIENCE; SOFTWARE PRODUCTS; UNIQUE OPEN FRAMEWORKS;

MULTI AGENT SYSTEMS;

EID: 49949096375     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/STEP.1999.798478     Document Type: Conference Paper

References (27)

1. S. Adali and V.S. Subrahmanian. Intelligent Caching in Hybrid Knowledge Bases. In N. Mars, editor, Proc. 1995 Intl. Conf. on Very Large Knowledge Bases, pages 247-256, Twente, The Netherlands, May 1995. IOS Press.
2. J. M. Andreoli. Logic Programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):297-347, 1992.
3. M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, and F. Zini. Multi-Agent Systems Development as a Software Engineering Enterprise. In G. Gupta, editor, Proc. of First InternationalWorkshop on Practical Aspects of De clarative Languages, San Antonio, Texas, January 1999. Springer Verlag. LNCS 1551.
4. A. Brink, S. Marcus, and V.S. Subrahmanian. Heterogeneous Multimedia Reasoning. IEEE Computer, 28(9):33-39, September 1995.
5. G. Delzanno. Logic& Object-Oriented Programming in Linear Logic. PhD thesis, Universita di Pisa, Dipartimento di Informatica, March 1997.
6. A. Abderrahamane et al. ECLiPSe 3.5 User Manual. European Computer Research Center, Munich, December 1995.
7. J. Y. Girard. Linear logic. Theoretical Computer Science, 50(1):1-102, 1987.
8. Programming Systems Group. SICStus Prolog User's Manual. Swedish Institute of Computer Science, Kista, Sweden, June 1995.
9. E. Kazmierczak, M. Winikoff, and P. Dart. Verifying model oriented specifications through animation. In Proceedings of the 1998 Asia Pacific Conference on Software Engineering, pages 254-261, December 1998.
10. R. Kowalski and F. Sadri. Towards a Unified Agent Architecture that Combines Rationality with Reactivity. In Proc. of International Workshop on Logic in Databases, San Miniato, Italy, 1996. Springer-Verlag.
11. J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.
12. J. Lu, A. Nerode, and V.S. Subrahmanian. Hybrid Knowledge Bases. IEEE Transactions on Knowledge and Data Engineering, 8(5):773-785, October 1996.
13. S. Marcus and V.S. Subrahmanian. Foundations of Multimedia Database Systems. Journal of the ACM, 43(3):474-523, 1996.
14. M. Martelli, V. Mascardi, and F. Zini. Towards Multi- Agent Software Prototyping. In H. S. Nwana and D. T. Ndumu, editors, Proc. of the 3rd International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM98), pages 331-354, London, UK, March 1998.
15. V. Mascardi and E. Merelli. Agent-Oriented and Constraint Technologies for Distributed Transaction Management. In IIA'99: Intelligent Industrial Automation Conference, Genova, Italy, June 1999.
16. J. Mayfield, Y. Labrou, and T. Finin. Evaluation of KQML as an Agent Communication Language. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II, pages 347-360. Springer-Verlag, 1995. LNAI 1037.
17. D. Miller. Forum: A Multiple-Conclusion Specification Logic. Theoretical Computer Science, 165(1):201-232, 1996.
18. G. Nadathur and D. Miller. Higher-Order Horn Clauses. Journal of the ACM, 37(4):777-814, 1990.
19. D. T. Ndumu and H. S. Nwana. Research and development challanges for agent-based systems. IEE Proceedings of Software Engineering, 144(1):2-10, February 1997.
20. Anand S. Rao and Michael P. Georgeff. An Abstract Architecture for Rational Agents. In W. Swartout C. Rich and B. Nebel, editors, Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92), San Mateo, CA, 1992. Morgan Kaufmann Publishers.
21. D. Schwartz. Cooperating Heterogeneous System. Kluwer International Series in Engineering and Computer Science, 1995.
22. Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury: an efficient purely declarative logic programming language. Journal of Logic Programming, 29(1-3):17-64, October- December 1996.
23. M. Spivey. The Z Notation (second edition). Practice Hall International, 1992.
24. L. Sterling, P. Ciancarini, and T. Turnidge. On the Animation of "not Executable" Specifications by Prolog. International Journal of Software Engineering and Knowledge Engineering, 6(1):63-87, 1996.
25. L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, 1994.
26. V.S. Subrahmanian. Principles of Multimedia Database Systems. Morgan Kaufman Press, January 1998.
27. M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115-152, 1995.