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
