CLIP Group's Publications in 2001
Articles in Refereed Journals:
- G. Gupta, E. Pontelli, K. Ali, M. Carlsson, M.V. Hermenegildo.
Parallel Execution of Prolog Programs: a Survey.
ACM Transactions on Programming Languages and Systems,
Vol. 23,
Num. 4,
pages 472-602,
ACM Press,
July
2001.
- D. Cabeza, M.V. Hermenegildo.
Distributed WWW Programming using (Ciao) Prolog
and the PiLLoW Library.
Theory and Practice of Logic Programming,
Vol. 1,
Num. 3,
pages 251-282,
Cambridge U. Press,
May
2001.
Articles in Refereed Conferences:
- S. Muñoz, J.J. Moreno-Navarro, M.V. Hermenegildo.
Efficient Negation Using Abstract
Interpretation.
Proc. of the Eigth International Conference on Logic
Programming and Automated Reasoning,
LNAI,
15 pages,
Springer-Verlag,
December
2001.
- F. Bueno, M. García de la Banda, M.V. Hermenegildo, K. Marriott, G. Puebla, P. Stuckey.
A Model for Inter-module Analysis and Optimizing
Compilation.
Logic-based Program Synthesis and Transformation,
LNCS,
Num. 2042,
pages 86-102,
Springer-Verlag,
March
2001.
Books and Monographs:
- M. Carro.
Some Contributions to the Study of Parallelism and
Concurrency in Logic Programming.
Ph.D. Thesis, Universidad Politécnica de Madrid (UPM),
Facultad Informatica UPM, 28660-Boadilla del Monte,
Madrid-Spain,
November
2001.
- L. Sterling, L. Naish, M.V. Hermenegildo.
Theory and Practice of Logic Programming -
Special Issue: Logic Programming and the
INTERNET.
Vol. 1,
Num. 3,
131 pages,
Cambridge U. Press,
May
2001.
Invited Papers and Tutorials:
- F. Bueno, D. Cabeza, M. Carro, J. Correas, J. Gómez, M.V. Hermenegildo, P. Lopez-Garcia, G. Puebla, C. Vaucheret.
Agent Programming in Ciao Prolog.
10 th. Portuguese Conference on Artificial
Intelligence (EPIA),
LNAI,
Num. 2258,
2 pages,
Springer-Verlag,
December
2001.
Articles in Books and Other Collections:
- M. Carro, M.V. Hermenegildo.
Visualization Designs for Constraint Logic Programming.
Vol. 2,
Num. 2,
pages 27-34,
Swiss Informatics Societies,
April
2001.
Also in UPGRADE. Available through
https://www.svifsi.ch/revue/.
- M. Carro, M.V. Hermenegildo.
Diseño de visualizaciones para programación
lógica con restricciones.
Num. 150,
pages 31-37,
Asociación de Técnicos en
Informática,
March
2001.
Publications in Refereed Workshops:
- C. Vaucheret, S. Guadarrama, S. Muñoz.
Fuzzy Prolog: A Simple Implementation using CLP(R).
Constraints and Uncertainty, A CP2001 workshop,
LNCS,
Springer-Verlag,
December
2001.
- J. Correas, F. Bueno.
A Configuration Framework to Develop and Deploy Distributed
Logic Applications.
ICLP01 Colloquium on Implementation of Constraint and
LOgic Programming Systems,
15 pages,
November
2001.
Technical Reports and Manuals:
- F. Bueno, J. Correas.
Active Module Service.
Num. CLIP4/2001.1,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
2001.
- M. Carro, M.V. Hermenegildo.
Remote Execution and Mobile Objects in Ciao Prolog.
Num. CLIP3/2001.1,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
2001.
- F. Bueno, M.V. Hermenegildo, G. Puebla, P. J. Stuckey.
Safety for Logic Programs.
Num. CLIP1/2001.1,
Facultad de Informática, UPM,
Technical University of Madrid (UPM),
2001.




Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in Last updated on Sat Jul 26 01:55:23 PM CEST 2025