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. 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.
Articles in Refereed Conferences:
- 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.
- 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.
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
(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:
- 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)
(also available in ps).
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
(also available in ps).
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. 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. 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 Thu Nov 21 03:36:42 PM CET 2024