CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings
January 2005
-
January 2005
-
January 2005
-
Change Impact Analysis of Enterprise Architecture In Proceedings
F.S. de Boer (Frank), M.M. Bonsangue (Marcello), L.P.J. Groenewegen (Luuk), A. Stam, S. Stevens and L.W.N. van der Torre (Leon)
January 2005
-
Enterprise Architecture Analysis with XML In Proceedings
F.S. de Boer (Frank), M.M. Bonsangue (Marcello), J.F. Jacob (Joost), A. Stam and L.W.N. van der Torre (Leon)
January 2005
-
Beliefs, Obligations, Intentions and Desires as components in an agent architecture Article
International Journal of Intelligent Systems, 20(9), 893-919.January 2005 -
Programming Cognitive Agents in Defeasible Logic In Proceedings
M. Dastani, G. Governatori, A. Rotolo and L.W.N. van der Torre (Leon)
January 2005 -
Inferring trust In Proceedings
M. Dastani, A. Herzig, J. Hulstijn and L.W.N. van der Torre (Leon)
January 2005