2007
A verification framework for agent programming with declarative goals
Publication
Publication
Journal of Applied Logic , Volume 5 - Issue 2 p. 277- 302
Additional Metadata | |
---|---|
Software (theme 1) | |
Elsevier | |
Journal of Applied Logic | |
Organisation | Computer Security |
de Boer, F.S, Hindriks, K.V, van der Hoek, W, & Meyer, J.-J.C. (2007). A verification framework for agent programming with declarative goals. Journal of Applied Logic, 5(2), 277–302.
|