Recursos útiles

• Bibliografías
  • The Collection of Computer Science Bibliographies. Una bibliografía de Ciencias de la Computación con más de 1.000.000 de referencias.
  • The DBLP Bibliography Server Otra bibliografía muy útil, más de 180.000 referencias, incluyendo bibliografías completas de muchas conferencias y revistas de IA.

• Búsqueda de artículos en línea
  • Personal home pages of computer scientists. Buscador de páginas personales de investigadores en computación, probablemente la mejor manera de encontrar artículos para bajarse por autor.
  • Research index. Una librería digital de computación con indexación automática de citas: permite buscar artículos siguiendo las referencias bibliográficas citadas en otros artículos, e identificar qué artículos citan un artículo dado.

• Bibliotecas digitales y revistas electrónicas
  • ACM Digital Library . Todas las revistas y proceedings de ACM. (Requiere registrarse, pero es gratis)
  • CoRR, Computing Research Repository , y un "mirror" español.
  • Artificial Intelligence (abstracts y contenidos; requiere login/password para obtener artículos completos).
  • Journal of the ACM (requiere registrarse, pero es gratis)
  • JAIR, Journal of Artificial Intelligence Research
  • Constraints (sólo desde hosts de la UAM)
  • Journal of Automated Reasoning (sólo desde hosts de la UAM)
  • Revistas con suscripción electrónica de la UAM (solo desde hosts de la UAM). Incluye entre otros: Autonomous Agents and Multi-Agent Systems , Artificial Intelligence Review , Journal of Logic, Language and Information , Journal of Symbolic Computation , Machine Learning , Computational Optimization and Applications , Journal of Optimization Theory and Applications , Journal of Algorithms ,

• Archivos temáticos:
• The SAT-Ex Site : Comparación empírica de SAT solvers.
• SAT Live! Up-to-date links for the SATisfiability problem
• SATLIB, The satisfiability library.
• SAT 2002, 5th Int. Symp. on the Theory and Applications of Satsisfiability Testing. http://www.satlive.org/SATCompetition/
• CSPLib: a problem library for constraints.
• Constraints Archive: Repositorio de material relacionado con Constraint Satisfaction Problems.
• On-line Guide to Constraint Programming by Roman Bartak
• Organizaciones y conferencias:
  • AAAI, American Association for Artificial Intelligence.
  • IJCAI, International Joint Conference on Artificial Intelligence.
  • KR, International Conferences on Knowledge Representation and Reasoning.
  • ECCAI, European Coordinating Committee on Artificial Intelligence.
  • CADE, Conference on Automated Deduction.
  • UAI Proceedings. Electronic proceedings of UAI (Uncertainty in AI) conferences