Papers in Scientific Journals 

• J. J. Alferes, F. Banti, A. Brogi and J. A. Leite, The Refined Extension Principle for Semantics of Dynamic Logic Programming, Studia Logica 79(1): 7-32, 2005. To appear.

Papers in International Conferences

2004

• F. Banti, J. J. Alferes, and A. Brogi. Well Founded Semantics for Logic Program Updates. In C. Lemaître, C. A. Reyes, J. A. González (Eds.): Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, pages 397-407. Lecture Notes in Computer Science 3315 Springer 2004   © Springer-Verlag.
• J. J. Alferes, F. Banti, and A. Brogi. From logic programs updates to action description updates. In J. Leite and P. Torroni (eds.), Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA, pages 243, 260.  ISBN: 972-9119-37-6, September 2004.
• F. Banti, J. J. Alferes, and A. Brogi. From logic programs updates to action description update. In G. Rossi and E. Panegai (Eds.): Proceedings of CILC'04 - Italian Conference on Computational Logic. ISBN: 1-55860-262-3. November, 2004.
• J. J. Alferes, F. Banti, A. Brogi and J. A. Leite, Semantics for Dynamic Logic Programming: a principle-based approach, In V. Lifschitz and I. Niemelä, (eds.), Procs. of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7), Springer-Verlag, LNAI. © Springer-Verlag.

2003

• F. Banti, J. J. Alferes,  and  A. Brogi, A Principled Semantics  for Logic Programs Updates, in Brewka and Peppas (eds.), Nonmonotonic Reasoning, Action, and Change (NRAC'03), 2003.