Books

Written Books

• Francisco Azevedo, Constraint Solving over Multi-valued Logics - Application to Digital Circuits, Vol. 91 of Frontiers of Artificial Intelligence and Applications, IOS Press, 2003.
• João Alexandre Leite, Evolving Knowledge Bases, Vol. 81 of Frontiers of Artificial Intelligence and Applications, ISBN: 1 58603 278 X, IOS Press, 2003.

Book editions

• Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, in: M. Dojat, E. Keravnou and Pedro Barahona (eds), , LNAI, Springer, Vol. 2780, 2003.
• M. Dojat, E. Keravnou and Pedro Barahona (eds), Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME'2003 (Procs.), Vol. 2780 of Lecture Notes in Artificial Intelligence, Springer, 2003.
• Pre-Procs. of the 1st International Workshop on Declarative Agent Languages and Technologies (DALT'03), in: João Alexandre Leite, A. Omicini, L. Sterling and P. Torroni (eds), , Pag. iv + 178, 2003.
• Pre-Procs. of the 4th Workshop on Computational Logic in Multiagent Systems (CLIMA IV), in: João Alexandre Leite and Juergen Dix (eds), , ITZ Berichte, PapierFlieger, Clausthal-Zellerfeld, Vol. 1, ISBN 3-89720-688-9, Pag. x + 229, 2003.
• Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings, in: Fernando Moura Pires and Salvador Abreu (eds), EPIA, Lecture Notes in Computer Science, Springer, Vol. 2902, ISBN 3-540-20589-6 , (url), 2003.