Centrum Wiskunde & Informatica

Goal-oriented modularity in agent programming In Proceedings

M.B. van Riemsdijk, M. Dastani, J.-J.C. Meyer (John-Jules) and F.S. de Boer (Frank)

January 2006
Semantics of plan revision in intelligent agents Article

Theoretical Computer Science, 240-257.

M.B. van Riemsdijk, J.-J.C. Meyer (John-Jules) and F.S. de Boer (Frank)

January 2006
Computing and Interaction Book Chapter

F. Arbab (Farhad)

January 2006
Algebraic specification and coalgebraic synthesis of Mealy automata In Proceedings

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

January 2006
A Hierarchy of SOS Rule Formats Article

Electronic Notes in Theoretical Computer Science, 3-25.

J.F. Groote (Jan Friso), M.R. Mousavi and M.A. Reniers (Michel)

January 2006
Strong types for relational databases In Proceedings

A.M. Silva (Alexandra) and J.M.W. Visser (Joost)

January 2006
Combining Gradient Techniques for Numerical Multi-Objective Evolutionary Optimization In Proceedings

P.A.N. Bosman (Peter) and J.F. Jacob (Joost)

January 2006
What is algebraic in process theory? Article

Electronic Notes in Theoretical Computer Science, 227-231.

S.P. Luttik (Bas)

January 2006

Previous

Next