CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
January 2005
-
Model-checking processes with data Article
Science of Computer Programming, 56(3), 251-273.January 2005
-
Semantic models of a timed distributed dataspace architecture Article
Theoretical Computer Science, 331(2-3), 291-323.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