In journals
M. Knorr, J. J. Alferes, and P. Hitzler. Local closed-world reasoning with description logics under the well-founded semantics. Artificial Intelligence, 175 (9-10):1528-1554, 2011.

J. J. Alferes, F. Banti, A. Brogi: Evolving reactive logic programs. Intelligenza Artificiale 5(1): 77-81, 2011.

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.

J. J. Alferes, L. M. Pereira, T. Swift, Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs, Theory and Practice of Logic Programming, 4(4):383-428, July 2004.

.J. A. Leite, J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski, A Language for Multi-dimensional Updates. In  Electronic Notes in Theoretical Computer Science 70(5), 2002.

J. J. Alferes, L. M. Pereira, H. Przymusinska and T. C. Przymusinski, LUPS - a language for updating logic programs. In Artificial Intelligence 138(1&2), June 2002.

J. J. Alferes, P. Dell'Acqua, E. Lamma, J. A. Leite, L. M. Pereira and F. Riguzzi, A Logic Based Approach to Multi-Agent Systems. Invited paper in The Association for Logic Programming Newsletter, 14(3): 13 pages, August 2001.

J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska and T. C. Przymusinski, Dynamic Updates of Non-Monotonic Knowledge Bases, The Journal of Logic Programming 45(1-3): 43-70, September/October 2000.

J. J. Alferes, L. M. Pereira and T. C. Przymusinski, 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming. Journal of Automated Reasoning, 20(1&2): 107-142, 1998.

J. J. Alferes, L. M. Pereira, and T. C. Przymusinski, Belief Revision in Non-Monotonic Reasoning and Logic Programming, Fundamenta Informaticae, 28(1&2): 1-22, November 1996.

J. J. Alferes and L. M. Pereira, Belief, Provability and Logic Programs (extended version), Journal of Applied Non-Classical Logics 5(1):31-50. 1995.

J. J. Alferes and C. V. Damásio and L. M. Pereira, A Logic Programming System for Non-monotonic Reasoning, Journal of Automated Reasoning (14):93-147, 1995.

L. M. Pereira, J. J. Alferes and J. N. Aparicio, Adding Closed World Assumptions to Well Founded Semantics (extended improved version), Theoretical Computer Science 122:49-68. 1994.

L. M. Pereira, J. N. Aparicio and J. J. Alferes, Non-monotonic Reasoning with Logic Programming, Journal of Logic Programming 17(2,3, & 4):227-263. 1993