Alferes, {José Júlio Alves}. "
Logic programming updating - A guided approach."
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski. Eds. {Antonis C. } Kakas, and Fariba Sadri. Vol. 2408. Lecture Notes in Computer Science, 2408. Springer, 2002. 382-412.
Abstractn/a
Alferes, JJ, LM Pereira, H. Przymusinska, and TC Przymusinski. "
LUPS - A language for updating logic programs."
LOGIC PROGRAMMING AND NONMONOTONIC REASONING. Eds. M. Gelfond, N. Leone, and G. Pfeifer. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. SPRINGER-VERLAG BERLIN, 1999. 162-176.
Abstractn/a