Go! for multi-threaded deliberative agents

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

Volumn 2990, Issue , 2004, Pages 54-75

  Clark, Keith L ^a   McCabe, Frank G ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b FUJITSU LABORATORIES OF AMERICA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FUNCTIONAL PROGRAMMING; MULTI AGENT SYSTEMS;

AGENT ARCHITECTURES; AGENT IMPLEMENTATION; AGENT-BASED APPLICATIONS; BELIEF , DESIRE AND INTENTIONS; DELIBERATIVE AGENTS; ESSENTIAL FEATURES; MULTI-AGENT APPLICATIONS; MULTI-PARADIGM PROGRAMMING;

AUTONOMOUS AGENTS; FUNCTIONAL PROGRAMMING;

EID: 23144451867     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25932-9_4     Document Type: Conference Paper

References (32)

1. McCabe, F., Clark, K.: April - Agent PRocess Interaction Language. In Jennings, N., Wooldridge, M., eds.: Intelligent Agents, LNAI, 890. Springer-Verlag (1995) 324-340
2. Chu, D., Clark, K. L.: IC-Prolog II: a multi-threaded Prolog system. In Succi, G., Colla, G., eds.: Proceedings of the ICLP'93 Workshop on Concurrent & Parallel Implementations of Logic Programming Systems. (1993) 115-141
3. McCabe, F.: L&O: Logic and Objects. Prentice-Hall International (1992)
4. Haugeneder, H., Steiner, D.: Co-operative agents: Concepts and applications. In Jennings, N. R., Wooldridge, M. J., eds.: Agent Technology, Springer-Verlag (1998) 175-202
5. Willmott, S. N., Dale, J., Burg, B., Charlton, C., O'Brien, P.: Agentcities: A Worldwide Open Agent Network. Agentlink News (2001) 13-15
6. Milner, R.: A theory of type polymorphism in programming. Computer and System Sciences 17 (1978) 348-375
7. Minsky, M.: A framework for representing knowledge. In Winston, P., ed.: Psychology of Computer Vision. MIT Press (1975) 211-277
8. Clark, K., McCabe, F.: Go! - a multi-paradigm programming language for implementing multi-threaded agents. Annals of Mathematics and Artificial Intelligence (2004, to appear)
9. Bratman, M. E., Israel, D. J., Pollack, M. E.: Plans and resource bounded practical reasoning. Computational Intelligence 4 (1988) 349-355
10. Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM 32 (1989) 444-458
11. Omicini, A., Zambonelli, F.: Coordination for internet application development. Autonomous Agents and Multi-agent systems 2 (1999) 251-269
12. Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an agent communication language. In: Proceedings 3rd International Conference on Information and Knowledge Management. (1994)
13. Armstrong, J., Virding, R., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall International (1993)
14. Pereira, F., Warren, D. H.: Definite clause grammars compared with augmented transition network. Artificial Intelligence 13 (1980) 231-278
15. Clark, K., McCabe, F.: Ontology representation and inference in Go! Technical report, Dept. of Computing, Imperial College, London (2003)
16. Roa, A. S., Georgeff, M. P.: An abstract architecture for rational agents. In: Proceedings of Knowledge Representation and Reasoning (KR&R92). (1992) 349-349
17. Clark, K. L., Robinson, P. J., Hagen, R.: Multi-threading and message communication in Qu-Prolog. Theory and Practice of Logic Programming 1 (2001) 283-301
18. Tarau, P., Dahl, V.: Mobile Threads through First Order Continuations. In: Proceedings of APPAI-GULP-PRODE'98, Coruna, Spain (1998)
19. Carro, M., Hermenegildo, M.: Concurrency in Prolog using Threads and a Shared Database. In Schreye, D. D., ed.: Proceedings of ICLP99, MIT Press (1999) 320-334
20. Eskilson, J., Carlsson, M.: Sicstus MT - a multithreaded execution environment for SICStus Prolog. In Catuscia Palamidessi, Hugh Glaser, K. M., ed.: Principles of Declarative Programming. LNCS 1490. Springer-Verlag (1998) 36-53
21. Van Roy, P., Haridi, S.: Mozart: A programming system for agent applications. In: International Workshop on Distributed and Internet Programming with Logic and Constraint Languages, http://www.mozart-oz.org/papers/abstracts/diplcl99.html (1999) Part of International Conference on Logic Programming (ICLP 99).
22. Zoltan Somogyi, F. H., Conway, T.: Mercury: an efficient purely declarative logic programming language. In: Proceedings of the Australian Computer Science Conference. (1995) 499-512
23. LLoyd, J. W.: Programming in an integrated functional and logic programming language. Journal of Functional and Logic Programming (1999) 1-49
24. Hanus, M.: A unified computation model for functional and logic programming. In: Proc. 24st ACM Symposium on Principles of Programming Languages (POPL'97). (1997) 80-93
25. Lloyd, J.: Interaction and concurrency in a declarative programming language. Unpublished report, Dept. of Computer Science, Bristol University, London (1988)
26. Fisher, M.: A survey of concurrent MetateM - the language and its applications. In Gabbay, D., Ohlbach, H., eds.: Temporal Logic, Springer-Verlag, LNAI, Vol 827 (1994) 480-505
27. Constantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Proc. JELIA02-8th European Conf. on Logics in AI, Springer-Verlag, LNAI, Vol 2424 (2002) 1-13
28. Kinny, D.: VIP: A visual programming language for plan execution systems. In: 1st International Joint Conf. Autonomous Agents and Multi-agent Systems, ACM Press (2002) 721-728
29. Roa, A. S.: AgentSpeak (L): BDI agents speak out in a logical computable language. In: Agents Breaking Away. LNAI 1038, Springer-Verlag (1996) 42-55
30. Hindriks, K. V., de Boer, F. S., van der Hoek, W., Meyer, J. J. C.: Formal semantics for an abstract agent programming language. In Singh, Rao, Wooldridge, eds.: Intelligent Agents IV. LNAI. Springer-Verlag (1997) 215-230
31. Leite, J. A., Alferes, J. J., Pereira, L. M.: Minerva-A dynamic logic prorgamming agent architecture. In: Intelligent Agents VIII, LNAI 2333. (2001) 141-157
32. De Giacomo, G., Lesperance, Y., Levesque, H.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 1-2 (2000) 109-169