Tópicos Especiais em Inteligência Artificial: Bibliografia

Bibliografia

Constraint Programming

Kim Marriot and Peter Stuckey

MIT Press

Multiprocessor Execution of Logic Programs

Gopal Gupta

Kluwer Academic

Parallelism in Logic Programming (slides powerpoint), postscript text

Inês C. Dutra, Patrícia K. Vargas and Claudio F. R. Geyer

CIMPA Intl. School on Advanced Techniques for Parallel Computation with Applications

The Warren Abstract Machine: A Tutorial Reconstruction

Hassan Kait-Aci

MIT Press

Constraint Satisfaction in Logic Programming

Pascal van Hentenryck

Sugestões para Leitura

Introductory Material

Papers from "Parallelism and Implementation of Logic and Constraint Logic Programming" (Nova Science Pub., 1999)

Papers from PADL'00 (Practical Aspects of Declarative Languages)

Papers from Practical Aspects of Constraint Programming (CP'99)

Papers from Intl Conference on Logic Programming (ICLP'99)

Papers from the Workshop on Parallelism and Implementation of (Constraint) Logic Programming (ParImp'99)