OpenAIRE is about to release its new face with lots of new content and services.
During September, you may notice downtime in services, while some functionalities (e.g. user registration, login, validation, claiming) will be temporarily disabled.
We apologize for the inconvenience, please stay tuned!
For further information please contact helpdesk[at]openaire.eu

fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Hindriks, Koen; d'Inverno, Mark; Luck, Michael (2000)
Publisher: IOS Press
Languages: English
Types: Part of book or chapter of book
Subjects:
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [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.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article

Cookies make it easier for us to provide you with our services. With the usage of our services you permit us to use cookies.
More information Ok