Conference publications in 2004
J. J. Alferes, Francisco Azevedo, P. Barahona, C. V.
Damásio and T. Swift. Deductive Diagnosis of Digital
Circuits. In CFirst IFIP Conference on
Artificial Intelligence Applications and Innovations
(AIAI'2004), Kluwer Academic Press, pages 155-165, 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.
Wolfgang May, J. J. Alferes, François Bry: Towards Generic Query, Update, and Event
Languages for the Semantic Web. In Hans
Jürgen Ohlbach, Sebastian Schaffert (Eds.): Principles
and Practice of Semantic Web Reasoning PPSWR'04, pages
19-33. Lecture Notes in Computer Science 3208 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.