Main publications on LUPS
J. J. Alferes, L. M. Pereira, H. Przymusinska and T. C.
Przymusinski, LUPS - a language for updating logic
programs. In M. Gelfond, N. Leone and G. Pfeifer
(eds.), Procs. of the 5th International Conference on
Logic Programming and Nonmonotonic Reasoning, El Paso,
Texas USA, pages 162-176, LNAI-1730, Springer,
December 2-4, 1999.© Springer-Verlag.
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. A. Leite. A Modified Sematic for LUPS, In P.
Brazdil and A. Jorge (eds.), Progress in Artificial
Intelligence, 10th Portuguese International Conference
on Artificial Intelligence (EPIA'01), Springer, LNAI
2258, pages 261-275, December 2001. © Springer-Verlag.
Other publications with applications of LUPS:
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. J. Alferes, L. M. Pereira, H. Przymusinska, T. C.
Przymusinski and P. Quaresma, An Exercise with Dynamic Logic
Programming, In L. Garcia and M. Chiara Meo
(eds.), Procs. of the APPIA-GULP-PRODE'00 Joint
Conference on Declarative Programming (AGP'00), La
Habana, Cuba, December 2000.
J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C.
Przymusinski and P. Quaresma, Dynamic Knowledge Representation and its
Applications. In S. Cerri and D. Dochev (eds.),
Procs. of the 9th International Conference on
Artificial Intelligence - Methodology, Systems,
Applications (AIMSA'00), Varna, Bulgaria, pages 1-10,
LNAI 1904, Springer, September 2000. ©
Springer-Verlag.
J. J. Alferes, L. M. Pereira, H. Przymusinska, T. C.
Przymusinski and P. Quaresma, Preliminary exploration on actions as
updates.In M. C. Meo and M. Vilares-Ferro (eds.),
Procs. of the 1999 Joint Conference on Declarative
Programming (AGP'99), L'Aquila, Italy, September 1999.