Conference publications in 2001
J. A. Leite, J. J. Alferes and L. M. Pereira, MINERVA - A Dynamic Logic Programming
Agent Architecture, In J. J. Meyer and M. Tambe
(eds.), Pre-Procs. of the Eighth International Workshop
on Agent Theories, Architectures, and Languages
(ATAL'01), pages 133-145, Seattle, USA, August 2001.
J. J. Alferes, A. Brogi, J. A. Leite and L. M. Pereira,
Environment-aware Computations via
Program Updates, In A. Pettorossi (ed),
Pre-Proceedings of the Eleventh International Workshop
on Logic-based Program Synthesis and Transformation
(LOPSTR'01), pages 112-123, Paphos, Cyprus, November
2001.
J. A. Leite, J. J. Alferes and L. M. Pereira, On the Use of Multi-dimensional Dynamic
Logic Programming to Represent Societal Agents'
Viewpoints. In P. Brazdil and A. Jorge (eds.),
Progress in Artificial Intelligence, 10th Portuguese
International Conference on Artificial Intelligence
(EPIA'01), Springer, LNAI 2258, pages 276-289, December
2001. © Springer-Verlag.
J. A. Leite, J. J. Alferes and L. M. Pereira, Combining Societal Agents'
Knowledge. In L. M. Pereira and P. Quaresma
(eds.), Procs. of the APPIA-GULP-PRODE'01 Joint
Conference on Declarative Programming (AGP'01), pages
313-327, Évora, Portugal, September 2001.
J. A. Leite, J. J. Alferes and L. M. Pereira, Multi-dimensional Dynamic Knowledge
Representation. In T. Eiter, W. Faber and M.
Truszczynski, Procs. of the Sixth International
Conference on Logic Programming and Nonmonotonic
Reasoning (LPNMR'01), pages 365-378, Springer, LNAI
2173, 2001. © Springer-Verlag.