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

CLIP Group's Publications in 2001


Articles in First-Level Refereed Conferences and 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.

    JCR: position (ave) top 22%, impact (ave) 1.27, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A*. Citeseer: position 41/1221 (top 3%), impact 1.92. Average position: top 10%.

  2. D. Cabeza, M. Hermenegildo. Distributed WWW Programming using (Ciao) Prolog and the PiLLoW Library (also available in ps). Theory and Practice of Logic Programming, Vol. 1, Num. 3, pages 251-282, Cambridge U. Press, May 2001.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.


Articles in Second-Level Refereed Conferences and Journals:

  1. S. Muñoz, J.J. Moreno-Navarro, M. V. Hermenegildo. Efficient Negation Using Abstract Interpretation (also available in ps). Proc. of the Eigth International Conference on Logic Programming and Automated Reasoning, LNAI, 15 pages, Springer-Verlag, December 2001.

    CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.

  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 (also available in ps). Logic-based Program Synthesis and Transformation, LNCS, Num. 2042, pages 86-102, Springer-Verlag, March 2001.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.


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. López, G. Puebla, C. Vaucheret. Agent Programming in Ciao Prolog (also available in ps). 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 http://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) (also available in ps). 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 (also available in ps). 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. 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. 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.

Last updated on Fri Dec 1 13:15:21 CET 2017