Publications
(last update: 07.03.2005)
Table of Contents
Papers in International Conferences
Papers in Scientific Journals
Papers in Scientific Journals
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. To appear.
Papers in International Conferences
2004
.
2003
.
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.
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.
2003
F. Banti,
J. J. Alferes
, and
A. Brogi
,
A Principled Semantics for Logic Programs Updates
, in Brewka and Peppas (eds.), Nonmonotonic Reasoning, Action, and Change (NRAC'03), 2003.
Send your suggestions and comments to bantiAgmail.com (substitute the A with @ )