Architecture for Agent Programming Languages

Part of book or chapter of book English OPEN
Hindriks, Koen ; d'Inverno, Mark ; Luck, Michael (2000)
  • Publisher: IOS Press
  • References (8)

    [1] M. d'Inverno, K. Hindriks, and M. Luck, 'A formal architecture for the 3APL programming language', in Proceedings of the first International Conference of B and Z Users. Springer, (to appear 2000).

    [2] M. d'Inverno, D. Kinny, M. Luck, and M. Wooldridge, 'A formal specification of dMARS', in Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, LNAI 1365, pp. 155-176. Springer, (1998).

    [3] M. d'Inverno and M. Luck, 'Engineering AgentSpeak(L): A formal computational model', Journal of Logic and Computation, 8(3), 233-260, (1998).

    [4] R. Goodwin, 'A formal specification of agent properties', Journal of Logic and Computation, 5(6), 763-781, (1995).

    [5] K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J-J. Ch. Meyer, 'Formal Semantics for an Abstract Agent Programming Language', in Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, LNAI 1365, pp. 215- 229. Springer, (1998).

    [6] K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J-J. Ch. Meyer, 'Control structures of rule-based agent languages', in Intelligent Agents V, LNAI 1555. Springer, (1999).

    [7] A. S. Rao, 'AgentSpeak(L): BDI agents speak out in a logical computable language', in Agents Breaking Away: Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, LNAI 1038, eds., W. Van de Velde and J. W. Perram, pp. 42-55. Springer, (1996).

    [8] J. M. Spivey, The Z Notation: A Reference Manual, Prentice Hall, Hemel Hempstead, 2nd edn., 1992.

  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    36
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    Goldsmiths Research Online - IRUS-UK 0 36
Share - Bookmark