Publication

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)

Adaptation of Software Entities for Synchronous Exogenous Coordination - An Initial Approach In Proceedings

N.K. Diakov (Nikolay) and F. Arbab (Farhad)

A tutorial on coinductive stream calculus and signal flow graphs Article

J.J.M.M. Rutten (Jan)

A coinductive calculus of streams Article

J.J.M.M. Rutten (Jan)

Algebra, bitstreams, and circuits Book Chapter

J.J.M.M. Rutten (Jan)

Composition of Negotiation Protocols for E-Commerce Applications In Proceedings

N.K. Diakov (Nikolay), Z.V. Zlatev and S. Pokraev

Proceedings of First International Conference on Algebra and Coalgebra in Computer Science Proceedings