Agents as multi-threaded logical objects

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

Volumn 2407, Issue , 2002, Pages 33-65

  Clark, Keith ^a   Robinson, Peter J ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; OBJECT ORIENTED PROGRAMMING;

DISTRIBUTED OBJECTS; INFORMATION GATHERING; INFORMATION UPDATES; MULTI-AGENT APPLICATIONS; MULTIPLE INHERITANCE; MULTIPLE QUERIES; PROGRAMMING PARADIGMS; RESOURCE-BOUNDED;

MOBILE AGENTS;

EID: 84867653731     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45628-7_4     Document Type: Article

References (23)

1. Holger Becht, Anthony Bloesch, Ray Nickson and Mark Utting, Ergo 4.1 Reference Manual, Technical Report No. 96-31, Software Verification Research Centre, Department of Computer Science, University of Queensland, 1996.
2. C. Belleannée, P. Brisset, O. Ridoux, A pragmatic reconstruction of λProlog, Journal of Logic Programming, 41(1), 1999, pp 67-102
3. M. Bozzano, G. Delzanno, M. Mattelli, V. Mascardi, F. Zini, Logic Programming and Multi-Agent Systems: A synergic combination for applications and semantics, in The Logic Programming Paradigm, (eds K. Apt et al), Springer-Verlag, 1999.
4. M. Carro and M. Hermenegildo, Concurrency in Prolog Using Threads and a Shared Database. Proceedings of ICLP99, (ed. D. De Schreye), MIT Press, 1999, pp 320-334.
5. A. Pineda and M. Hermenegildo, O'Ciao: An Object Oriented Programming Model for (CIAO) Prolog, Research Report CLIP 5/99.0, (accessible from http://www.clip.dia.fi.upm.es/), Facultad de Informatica, UPM, Madrid, 1999.
6. K. L. Clark, S. Gregory, Parlog: Parallel Programming in Logic, ACM Toplas 8(1), 1-49 pp, 1986.
7. Keith Clark, Peter Robinson and Richard Hagen. Multi-threading and Message Communication in Qu-Prolog Theory and Practice of Logic Programming, 1(3), 2001, pp 283-301.
8. Keith Clark, Peter J. Robinson and Richard Hagen, Programming Internet Based DAI Applications in Qu-Prolog, Multi-agent systems, (eds. C. Zhang, D. Lukose), Springer-Verlag, LNAI 1544, 1998.
9. K.L. Clark, T.I. Wang, Distributed Object Oriented Logic Programming, Proceedings of FGCS94 Workshop on Co-operating Heterogeneous Information Systems, Tokyo, 1994.
10. D. Chu, K. L. Clark, IC-Prolog II: A multi-threaded Prolog system Proceedings of ICLP93 Post Conf. Workshop on Concurrent, Distributed and Parallel implementations of Logic Programming Systems, 1993
11. A. Eliens, DLP, A language for distributed logic programming Wiley, 1992
12. Richard Hagen and Peter J. Robinson. Qu-Prolog 4.3 User Guide. Technical Report No. 97-12, Software Verification Research Centre, University of Queensland, 1999.
13. R. A. Kowalski, Logic Based Open Systems, Representation and Reasoning, Jakob ph. Hoepelmann (Hg.) Max Niemeyer Verlag, Tubingen, 1985, pp125-134.
14. R. Kowalski and F. Sadri, Towards a unified agent architecture that combines rationality with reactivity, Proc. International Workshop on Logic in Databases, Springer-Verlag, LNCS 1154, 1996.
15. R. A. Kowalski and F. Sadri, From Logic Programming to Multi-Agent Systems, Annals of Mathematics and Artificial Intelligence 25, 1999, pp391-419.
16. F.G. McCabe, Logic and Objects Prentice-Hall, 1992.
17. F.G. McCabe, The Inter-Agent Communication Model (ICM), http://www.nar.fla.com/icm/, Fujitsu Laboratories of America Inc, 2000.
18. F. G. McCabe and K. L. Clark. April:Agent Process Interaction Language. Intelligent Agents, (ed. N. Jennings, M. Wooldridge), Springer-Verlag LNCS 890, 1995.
19. Mozart-Oz Homepage: www.mozart-oz.org
20. I. Noda, H. Nakashima, K. Handa, Programming language GAEA and its application for multi-agent systems, Proc. of Workshop on Multi-agent systems and Logic programming, In conjunction with ICLP'99, 1999.
21. A. Roa, AgentSpeak(L): BDI Agents speak out in a logical computable language, Agents Breaking Away, (eds. W. van de Velde and J. W. Perram), Springer-Verlag LNCS 1038, 1996.
22. Peter Van Roy and Seif Haridi, Mozart: A Programming System for Agent Applications, International Workshop on Distributed and Internet Programming with Logic and Constraint Languages, 1999. Accessible from http://www.mozart-oz. org/papers/
23. G. Wagner, Artificial Agents and Logic Programming, in Proc. of ICLP'97 Post Conference Workshop on Logic Programming and Multi-Agent Systems, 1997.