1. Alferes, J. J., P. Dell'Acqua and L. M. Pereira. A compilation of updates plus preferences, 8th European Conf. on Logics in Artificial Intelligence (Jelia02). To appear.
2. Dynamic updates of non-monotonic knowledge bases;Alferes;The J. of Logic Programming,2000
3. Alferes, J. J., L. M. Pereira, H. Przymusinska, T. C. Przymusinski and P. Quaresma, Preliminary exploration on actions as updates, Proc. of Joint Conf. on Declarative Programming (APPIA-GULP-PRODE'99).
4. Artikis, A. and G. Pitt, A formal model of open agent societies, Proc. of Autonomous Agents (2001).
5. InterProlog. Available at http://www.declarativa.com.