CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Foundations - chapter III Book Chapter
F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello), L.W.N. van der Torre (Leon) and not CWI et al
January 2005 -
Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications, Coordination Models and Languages In Proceedings
F. Arbab (Farhad), C. Baier, F.S. de Boer (Frank), J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)
January 2005 -
Argumentation for access control In Proceedings
G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)
January 2005 -
Argument games for interactive access control In Proceedings
G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)
January 2005 -
A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages In Proceedings
G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)
January 2005 -
Admissible Agreements among Goal-directed Agents In Proceedings
G. Boella (Guido), J. Hulstijn and L.W.N. van der Torre (Leon)
January 2005 -
Role-based Rights in Artificial Social Systems In Proceedings
January 2005 -
January 2005