Interfacing INDIGOLOG and OAA: A toolkit for advanced multiagent applications

Applied Artificial Intelligence

Volumn 16, Issue 9-10, 2002, Pages 813-829

  Lapouchnian, A ^a   Lesperance Y ^a  

^a YORK UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; FORMAL LOGIC; OPEN SYSTEMS; PROLOG (PROGRAMMING LANGUAGE); ROBOTS; USER INTERFACES;

INTERFACE LIBRARY; OPEN AGENT ARCHITECTURE; SOFTWARE PACKAGE INDIGOLOG;

MULTI AGENT SYSTEMS;

EID: 0036819802     PISSN: 08839514     EISSN: None     Source Type: Journal    
DOI: 10.1080/08839510290030507     Document Type: Article

References (22)

1. Burgard, W., A. B. Cremers, D. Fox, D. Haehnel, G. Lakemeyer, D. Schulz, W. Steiner, and S. Thrun. 1998. The interactive museum tour-guide robot. In Proceedings of the 15th National Conference on Artificial Intelligence, AAAI-98, 11-18. Menlo Park, CA: AAAI Press.
2. Busetta, P., R. Ronnquist, A. Hodgson, and A. Lucas. 1999. JACK intelligent agents - components for intelligent agents in Java. In AgentLink News Letter January 1999. White paper available at http://www.agent-software.com.au.
3. De Giacomo, G., and H. Levesque, 1999. An incremental interpreter for high-level programs with sensing. In Logical Foundations for Cognitive Agents, eds., H. Levesque, and F. Pirri, 86-102. Berlin: Springer-Verlag.
4. De Giacomo, G., Y. Lespérance, and H. Levesque, 2000. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121:109-169.
5. FIPA. 2000. The Foundation for Intelligent Physical Agens. Available at http://www.fipa.org.
6. Gelernter. D. 1993. Mirror Worlds. New York: Oxford University Press.
7. Hindriks, K. V., F. S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer. 1998. A formal semantics for an abstract agent programming language. In Proceedings of ATAL'97, eds. M. P. Singh, A. Rao, and M. J. Wooldridge, 215-229. LNAI 1365, Berlin: Springer-Verlag.
8. Lespérance, Y., and H.-K. Ng. 2000 Integrating planning into reactive high-level robot programs. In Proceedings of the Second International Cognitive Robotics Workshop, Berlin, Germany, 49-54.
9. Levesque, H., R. Reiter, Y. Lespérance, F. Lin, and R. Scherl. 1997. Golog: A logic programming language for dynamic domains. Journal of Logic Programming 31:59-84.
10. Levesque, H., and M. Pagnucco. 2000. LeGolog: Inexpensive experiments in cognitive robotics. In Proceedings of the 2nd International Cognitive Robotics Workshop, Berlin, Germany, 104-109.
11. Martin, D. L., A. J. Cheyer, and D. B. Moran. 1999. The open agent architecture: A framework for building distributed software systems. Applied Artificial Intelligence 13:91-128.
12. McCarthy, J., and P. Hayes. 1979. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, eds. B. Meltzer and D. Michie, 4:463-502. Edinburgh: Edinburgh University Press.
13. McIlraith, S., and T. C. Son. 2001. Adapting GOLOG for programming the semantic web. In Proceedings of the Fifth Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense 2001), New York, NY.
14. McIlraith, S., T. C. Son, and H. Zeng. 2001. Semantic web services. IEEE Intelligent Systems: Special Issue on the Semantic Web 16(2):46-53.
15. Microsoft. 1998. Distributed Component Object Model Protocol - DCOM/1.0. Available at http://www.microsoft.com/com/resources/specs.asp.
16. Object Management Group (OMG). 2002. The Complete CORBA/IIOP Specification. Available at http://www.omg.org/technology/documents/formal/corba_iiop.htm.
17. Rao, A. S., and M. P. Georgeff, 1992. An abstract architecture for rational agents. In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), eds. B. Nebel, C. Rich, and W. Swartout. 439-449. Cambridge, MA: Morgan Kaufmann.
18. Rao, A. S. 1996. AgentSpeak (L): BDI agents speak out in a logical computable language. In Agents Breaking Away, eds. W. Van der Welde and J. W. Perram, 42-55. LNAI 1038. Berlin: Springer-Verlag.
19. Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. Cambridge, MA: MIT Press.
20. Reiter, R. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, ed. V. Lifschitz, 359-380, San Diego, CA: Academic Press.
21. Schwartz, D. G. 1995. Cooperating Heterogeneous Systems. Dordrecht: Kluwer Academic Publishers.
22. Smith, R. G., and R. Davis. 1981. Frameworks for cooperation in distributed problem solving. IEEE Transactions on Systems, Man and Cybernetics 11(1):61-70.