CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 2001


Articles in Refereed Journals:

  1. 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.

  2. 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:

  1. 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.

  2. 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:

  1. 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.

  2. 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:

  1. 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:

  1. 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/.

  2. 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:

  1. 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.

  2. 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:

  1. F. Bueno, J. Correas. Active Module Service. Num. CLIP4/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.

  2. 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.

  3. 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 up previous Clip_button.gif
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in
Last updated on Fri Jul 18 04:19:47 AM CEST 2025
Contents
Institutional links