A logic based language for networked agents

Information and Software Technology

Volumn 40, Issue 8, 1998, Pages 435-442

  Xu, Dianxiang ^a   Zheng, Guoliang ^a   Fan, Xiaocong ^a  

^a NANJING UNIVERSITY   (China)

Author keywords

Inheritance; KQML; Logic programming; Object oriented programming; Software agents

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER NETWORKS; INTELLIGENT NETWORKS; KNOWLEDGE BASED SYSTEMS;

INHERITANCE; LOGIC BASED LANGUAGE; SAFIN;

OBJECT ORIENTED PROGRAMMING;

EID: 0032138880     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(98)00061-5     Document Type: Article

References (24)

1. Y. Shoham, Agent-oriented programming, Artificial Intelligence 60 (1) (1993) 51-92.
2. S.R. Thomas, The PLACA programming language. In M. Wooldrige and N.R. Jennings, eds, Intelligent Agents, LNAI Vol. 890, Springer-Verlag, Berlin, 1995, pp. 355-370.
3. M.A. Wooldrige, Knowledge-theoretic semantics for concurrent METATEM. In J.P. Muller, M. Wooldrige and N.R. Jennings, eds, Intelligent Agents, LNAI Vol. 1193, Springer-Verlag, Heidelberg, 1996, pp. 357-374.
4. R. Li and L.M. Pereira, Knowledge-based situated agents among us. In J.P. Muller, M. Wooldrige and N.R. Jennings, eds, Intelligent Agents, LNAI Vol. 1193, Springer-Verlag, Heidelberg, 1996, pp. 376-389.
5. E.G. McCabe and K.L. Clark, April-Agent Process Interaction Language. In Proc. ECAI-ATAL'94, Amsterdam, The Netherlands, 1994, pp. 280-296.
6. H. Haugeneder, D. Steiner and E.G. McCabe, IMAGINE: a Framework for Building Multi-Agent Systems. In S.M. Deen, ed., CKBS-SIG proc., Keele, UK, 1994, pp. 31-64.
7. A. Poggi, DAISY: an Object-Oriented System for Distributed Artificial Intelligence. In ATAL'94, LNAI, Vol. 890, pp. 341-354, Springer-Verlag, 1995.
8. M.R. Genesereth, S.P. Ketchpel, Software agents, C. ACM 37 (7) (1994) 48-53.
9. T. Finin, J. Weber, et al., Specification of the KQML Agent-Communication Language, The DARPA Knowledge Sharing Initiative External Interfaces Working Group, June, 1993.
10. Y. Labrou and T. Finin, A Proposal for a New KQML Specification, Techinical Report CS-97-03, University of Maryland Baltimore County, Feb. 1997.
11. H. Jeon, JATLite: Java Agent Template Lite(Release 0.4), CDR, Stanford University, URL: http://java.stanford.edu/javaagent/html, 1997.
12. J. Barbuceanu and J.S. Fox, The Design of a coordination language for multi-agent systems. In J.P. Muller, M.J. Wooldrige and N.R. Jennings, eds, Intelligents Agents, LNAI Vol. 1193, Springer-Verlag, Heidelberg, 1996, pp. 341-356.
13. D. Gauvin, H. Marchal and V.D. Donne, LALO: an AOP language, URL: http://www.crim.ca/sbc/english/lalo, March 1997.
14. H.E. Davies and P. Edwards, Agent-K: An Integration of AOP and KQML, Available from: ftp.csd.abdn.ac.uk:/pib/wdavies/agentk, 1994.
15. The Foundation for Intelligent Physical Agents (FIPA), Available from: http://drogo.cselt. stet.it/fipa/, or http://fipa. comtec. co.jp/fipa.
16. H.S. Nwana, Software agents: an overview, Knowledge Engineering Review 11 (3) (1996) 1-40.
17. J.E. White, Mobile agents. In J.M. Bradshaw, ed., Software Agents, AAAI Press/The MIT Press, 1997, pp. 437-472.
18. M. Coen, SodaBot: A Software Agent Environment and Construction System. Master's thesis, MIT, Cambridge MA, 1994.
19. R.S. Gray, Agent Tel: A Transportable Agent System, Proc. of CIKM'95, Baltimore, MD, 1995. Available from http://www.cs.umbc.edu/cikm/iia/submitted/viewing/gray.ps.
20. OMG MASIF Specification, Available from http://www.camb.opengroup.org/RI/MAF/ drafts/draft12/draft12.book.ps.gz.
21. Grasshopper: An Intelligent Mobile Agent Environment, Available from http://www.ikv.de/ products/grasshopper.html.
22. O. Etzioni, D. Weld, A Softbot-based interface to the internet, C. ACM 37 (7) (1994) 72-79.
23. T. Joachims, D. Freitag and T. Mitchell, WebWatcher: A Tour Guide for the World Wide Web, Technical Report, CMU-CS-96, Sept. 1996.
24. R.A. Kowalski and F. Sadri, Logic Programs with Exceptions. In D.H.D. Warren and P. Szeredi, eds, Proc. of the Seventh Int'l Conf. on Logic Programming, MIT Press, 1990, pp. 598-613.