LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
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