MM de Weerdt, A Bos, JFM Tonino, C Witteveen (2000), A plan fusion algorithm for multi-agent systems, K Satoh, F Sadri (Eds.), In First international conference on computational logic p.56-65, CL 2000.
RPJ van der Krogt, A Bos, MM de Weerdt, C Witteveen (2000), An algorithm for replanning, van den A Bosch, H Weigand (Eds.), In Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference p.21-28, BNAIC.
JM Valk, A Bos, J Rogier, JFM Tonino, C Witteveen (2000), An approximation algorithm for a logistic planning problem, van den A Bosch, H Weigand (Eds.), In Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference p.251-259, BNAIC.
W van der Hoek, C Witteveen (2000), Classical and general frameworks for recovery, In 14th European conference on artificial intelligence, including prestigious applications of intelligent systems: proceedings p.33-37, IOS Press.
A Bos, N Roos, C Witteveen (2000), Complexity reduction by using computational histories, van den A Bosch, H Weigand (Eds.), In Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference p.207-214, BNAIC.
BJ Moree, A Bos, JFM Tonino, C Witteveen (2000), Cooperation by iterated plan revision, In Proceedings fourth international conference on multiagent systems p.191-198, IEEE.
A Bos, AJC van Gemund, C Witteveen (2000), Design of a generic model-based diagnosis system with automatic abstraction generation, van LJ Vliet (Eds.), In Proceedings of the sixth annual conference of the Advanced School for Computing and Imaging p.29-36, Advanced School for Computing and Imaging.
A Bos, AJC van Gemund, C Witteveen (2000), Model-based diagnosis for satellite-based instruments, In 2000 IEEE autotestcon proceedings p.451-464, IEEE.
MM de Weerdt, A Bos, JFM Tonino, C Witteveen (2000), Muti-agent cooperation in a planning framework, van den A Bosch, H Weigand (Eds.), In Proceedings of the twelfth Belgium-Nethelands artificial intelligence conference p.53-60, BNAIC.
A Bos, C Witteveen (2000), Safe testing for dynamic systems, In Eleventh international workshop on principles of diagnosis p.9-16.