Publication

Proceedings of the Third International Symposium on Formal Methods for Components and Objects Proceedings

Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

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)

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)

Beliefs, Obligations, Intentions and Desires as components in an agent architecture Article

J. Broersen, M. Dastani and L.W.N. van der Torre (Leon)

Programming Cognitive Agents in Defeasible Logic In Proceedings

M. Dastani, G. Governatori, A. Rotolo and L.W.N. van der Torre (Leon)

Inferring trust In Proceedings

M. Dastani, A. Herzig, J. Hulstijn and L.W.N. van der Torre (Leon)