Conference publications in 2005
F. Banti, J. J. Alferes, and A. Brogi.
Operational Semantics for
DyLPs. In A. Cardoso, C. Bento and G.
Dias (Eds.): Progress in Artificial Intelligence, Procs.
12th Portuguese Int. Conf. on Artificial Intelligence
(EPIA'05), pages 43-54. Lecture Notes in Artificial
Intelligence 3808, Springer 2005, © Springer-Verlag.
Wolfgang May, J. J. Alferes, Ricardo Amador. Active Rules in the Semantic Web: Dealing
with Language Heterogeneity. In Asaf Adi,
Suzette Stoutenburg, Said Tabet (Eds.): Rules and Rule
Markup Languages for the Semantic Web, First
International Conference, RuleML 2005, pages 30-44.
Lecture Notes in Computer Science 3791 Springer
2005 © Springer-Verlag.
Wolfgang May, J. J. Alferes, Ricardo Amador. An Ontology- and Resources-Based Approach
to Evolution and Reactivity in the Semantic
Web. In R. Meersman, Z. Tari, M. Hacid, J.
Mylopoulos, B. Pernici, O. Babaoglu, H. Jacobsen, J.
Loyall, M. Kifer, S. Spaccapietra (Eds.): On the Move to
Meaningful Internet Systems 2005: CoopIS, DOA, and
ODBASE, OTM Confederated International Conferences,
CoopIS, DOA, and ODBASE 2005, pages 1553-1570. Lecture
Notes in Computer Science 3761 Springer 2005
© Springer-Verlag.
J. J. Alferes, Ricardo Amador, Wolfgang May. A General Language for Evolution and
Reactivity in the Semantic Web. In François
Fages, Sylvain Soliman (Eds.): Principles and Practice
of Semantic Web Reasoning PPSWR'04, pages 101-115.
Lecture Notes in Computer Science 3703 Springer
2005 © Springer-Verlag.
F. Banti, J. J. Alferes, A. Brogi, and P. Hitzler.
The Well Supported Semantics for
Multidimensional Dynamic Logic Programs. In
Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio
Terracina (Eds.): Logic Programming and Nonmonotonic
Reasoning, 8th International Conference, LPNMR 2005,
pages 356-368. Lecture Notes in Computer Science 3662
Springer 2005, © Springer-Verlag.
F. Banti, J. J. Alferes, and A. Brogi. Implementation of dynamic logic
programs. In M. Proietti(Eds.): Proceedings of
CILC'05 - Italian Conference on Computational Logic.
Research Report:Quaderno del Dipartimento di Matematica,
2005.
J. J. Alferes, F. Banti, and A. Brogi. From logic programs updates to action
description updates. In J. Leite and P. Torroni
(eds.), Computational Logic in Multi-Agent Systems, 5th
International Workshop, CLIMA V, Lisbon, Revised
Selected and Invited Papers, pages 52-77. Lecture
Notes in Computer Science 3387 Springer
2005 ©
Springer-Verlag.